(tga*cosa)^2+(ctga*sina)^2
(tg*cosa)^2+(ctga*sina)^2=(sina : cosa * cosa)^2+(cosa : sina * sina)^2=sin^2a + sin^2a=2sin^2a