因:
sin²a+cos²a=1
sinaxcosa=1/8
可得:
(cosa-sina)²=sin²a+cos²a-2sinacosa
=1-1/4
=3/4
又因:π/4 <α<π/2
可得:sina>cosa 即:cosa-sina