sinx-cos=sinxcosx,
平方得
1-2sinxcosx=(sinxcosx)²
4-4sin2x=sin²2x
sin²2x+4sin2x-4=0
所以
sin2x=(4±√32)/2
取
sin2x=2-2√2