Prvo rješenje: Ako vrijedi α+β=2π, tj. ako je trokut pravokutan, onda je, iz jednakosti površina, ab=cv, pa dobivamo
a21+b21=a2b2b2+a2=c2v2c2=v21.
Pretpostavimo sad da trokut nije pravokutan. Bez smanjenja općenitosti možemo pretpostaviti da je α>β, t.j. da vrijedi α=β+2π. Nacrtajmo sliku:

U pravokutnom trokutu ACD za kut δ vrijedi δ=π−α=2π−β pa je kut ∠ACD=β.
Iz pravokutnih trokuta ACD i BCD sada čitamo:
cosβ=bv,sinβ=av
pa je
a21+b21=v2sin2β+v2cos2β=v2sin2β+cos2β=v21.
Drugo rješenje. Vrijedi
a21+b21=a2b2a2+b2=a2b2sin2γa2sin2γ+b2sin2γ.
Sad koristimo poučak o sinusima i formule za površinu trokuta:
ca=sinγsinαcb=sinγsinβa2b2sin2γ⟹asinγ=csinα,⟹bsinγ=csinβ,=4P=c2v2.
Dobivamo:
a21+b21=c2v2c2sin2α+c2sin2β=v2sin2α+sin2β.
Ako je trokut pravokutan, onda je sinβ=sin(2π−α)=cosα. Ako u trokutu vrijedi α−β=2π, onda je sinβ=sin(α−2π)=−cosα. Ako vrijedi pak β−α=2π, onda je sinβ=sin(α+2π)=cosα. U svim je tim situacijama
sin2α+sin2β=sin2α+cos2α=1
i tvrdnja je dokazana.