sin(45+a)=sin45cosa+cos45sina=sqrt(2)/2cosa+sqrt(2)/2sina
cos(45+a)=cos45cosa-sin45sina=sqrt(2)/2cosa-sqrt(2)/2sina
(sqrt(2)/2cosa+sqrt(2)/2sina-sqrt(2)/2cosa+sqrt(2)/2sina)/sqrt(2)/(2cosa+sqrt(2)/2sina+sqrt(2)/2cosa-sqrt(2)/2sina)=
=2sqrt(2)/2sina/2sqrt(2)/2cosa=tga;