O pravokotnih trikotnikih in o približkih za koren iz dva