sina－cosa=√2>1,则a是钝角,
两边平方,得2sinacosa=-1
即 2sinacosa/(sin^2a+cos^2a)=-1
左边分子分母同除以cos^2a,
得 2tana/(1+tan^2a)=-1
解得 tana=-1