section_heading: Napomena o ekvivalenciji
paragraph_text: Da bismo dokazali da za svaku trojku koja je rješenje jednadžbe (1) postoji takav pravokutan trokut dovoljno je pokazati da za bilo koju takvu trojku <math>(x_0, y_0, z_0) </math> vrijedi nejednakost trokuta, tj. da mora biti <math>x_0 + y_0 > z_0, x_0 + z_0 > y_0, y_0 + z_0 > x_0 </math> jer će tada biti moguće konstruirati pravokutan trokut sa stranicama <math>x_0, y_0, z_0 </math>.