(2cos²a-1)/[2tan(π/4-a)*sin²(π/4+a)] =cos2a/[2tan(π/4-a)*cos²(π/4-a)] =cos2a/[2sin(π/4-a)*cos(π/4-a)] =cos2a/sin(π/2-2a) =cos2a/cos2a =1