sina2 + cosa2 = 1 所以1-2sina cosa=0等价于sina2 + cosa2 - 2sinacosa = 0
即 (sina - cosa)2 = 0 故 sina=cosa 又 a 是锐角,所以a=45度