a+b>90°
90°>b>90°-a>0
因为 y=sinx在[0,π/2]递增
所以 sinb>sin(90-a)=cosa
即 cosa