`(1+cosa)/(1-cosa)*tan^2 (a/2)-cos^2a=sin^2a`
`<=>(1+cosa)/(1-cosa)*tan^2 (a/2)=1`
`=>` Cần chứng minh `(1+cosa)/(1-cosa)=cot^2( a/2)`
`(1+cosa)/(1-cosa)`
`=(1+cos^2( a/2) -sin^2( a/2))/(1- cos^2 (a/2)+sin^2( a/2))`
`=(2cos^2( a/2))/(2sin^2( a/2))`
`=cot^2 (a/2)`
`=>dpcm`