(sina)^2/(1+cota)+(cosa)^2/(1+tana)=(sina)^3/(sina+cosa)+(cosa)^3/(cosa+sina)=[(sina)^3+(cosa)^3]/(sina+cosa)=[(sina+cosa)((sina)^2+(cosa)^2-sinacosa)]/(sina+cosa)=(sina)^2+(cosa)^2-sinacosa=1-sinacosa