Kąt alfa jest ostry oraz sin alfa +cos alfa =1 . Iloczyn sin alfa razy cos alfa jest rowny :

sin x +cos x=1 |()^2 (sinx +cosx)^2=1 sin^2x +2sinxcosx+cos^2x=1 sin^2x+cos^2x+2sinxcosx=1 1+2sinxcosx=1 2sinxcosx=0 sinxcosx=0