Neka su a<b<c stranice, a α<β<γ=90∘ kutovi pravokutnog trokuta. Pokažimo najprije da stranice bilo kojeg trokuta čine aritmetički niz kada sinusi unutarnjih kutova čine aritmetički niz.
Ako je sinβ=sinα+d, sinγ=sinα+2d, iz poučka o sinusima,
asinα=bsinβ=csinγ,
slijedi
absinα=sinα+d,acsinα=sinα+2d,
tj.
b=a+sinαad,c=a+sinα2ad,
što odgovara članovima aritmetičkog niza (a,sinαad).
Prema prethodnom, iz
2sinβ=sinα+sinγ
slijedi 2b=a+c, tj.
a=2b−c.(3)
Prema Pitagorinu poučku je a2+b2=c2 pa uvrštavajući a=2b−c dobivamo
(2b−c)2+b2=c2,
iz čega slijedi
5b2−4bc=0.
Dijeljenjem s b=0 je
b=54c.(4)
Iz (3) i (4) dobivamo a=53c pa je
a:b:c=53c:54c:c,
tj.
a:b:c=3:4:5.