Do there exist any Pythagorean bis triangles? The answer in the negative is
obtained from Theorem 3. However in the process of proving this we obtain a
general parametrization of Pythagorean triangles with one integer angle bisector,
which turns out to be a solution to Diophantus' Problem 16 Book VI.