sina-cosa=√5/5,
平方得到sin²a -2sina*cosa +cos²a=1/5,
显然sin²a+cos²a=1,
所以2sina*cosa=4/5,即sin2a=4/5,
而sina >cosa,故a> π/4,所以2a>π/2
即cos2a