Comment démontrer les identités de cos a (tan a -1)= sin a (1- cotg a)
cos a (tan a -1)=cosa[(sina/cosa)-1]=cosa[(sina-cosa)/cosa)]=sina - cosa
sin a (1- cotg a)=sina[1-(cosa/sina)]=sina[(sina-cosa)/sina]=sina-cosa
==>
cos a (tan a -1)= sin a (1- cotg a)