试用三角函数定义证明,当a为锐角时,1≤sina≤√2