Sin(π-a)=sina
cos2a=cos²a-sin²a=1-2sin²a=1-2/2=0
а можно было порассуждать sina=√2/2⇒ a=45⇒2a=90⇒ cos90=0
ctg²a+cos²a-1/sin²a=(cos²a-1)/sin²a+cos²a=-sin²a/sin²a+cos²a=-1+cos²a=-sin²a
..=(2sin2a*cos3a/2cos3a)*ctga-1=sin2a*ctga-1=2sina*cosa*cosa/sina-1=2cos²a-1=2cos²a-cos²a-sin²a=cos²a-sin²a=cos2a
левая часть:
сtg²a-1=(cos²a-sin²a)/sin²a=cos2a/sin²a
тождество верно