Izraz cos2α+cos2β+cos2γ−1 može se transformirati u umnožak kosinusa na neki od sljedećih načina: Prvi način:
0=cos2α+cos2β+cos2γ−1=cos2α+cos2β−sin2γ=cos2α+cos2β−sin2[π−(α+β)]=cos2α+cos2β−sin2(α+β)=cos2α+cos2β−(sinαcosβ+cosαsinβ)2=cos2α+cos2β−sin2αcos2β−cos2αsin2β−2sinαcosβcosαsinβ=cos2α(1−sin2β)+cos2β(1−sin2α)−2sinαcosαcosβsinβ=2cos2αcos2β−2sinαcosαcosβsinβ=2cosαcosβ(cosαcosβ−sinαsinβ)=2cosαcosβcos(α+β)=−2cosαcosβcosγ
Drugi način:
0=cos2α+cos2β+cos2γ−1=21+cos2α+21+cos2β+cos2γ−1=2cos2α+cos2β+cos2γ=cos(α+β)cos(α−β)+cos2γ=cos(π−γ)cos(α−β)+cos2γ=−cosγcos(α−β)+cos2γ=−cosγ(cos(α−β)−cosγ)=−cosγ(cos(α−β)+cos(α+β))=−2cosαcosβcosγ
Sad zaključujemo da neki od kosinusa cosα, cosβ, cosγ mora biti jednak nuli, pa je taj kut pravi.