因为这里书写不便,故将我的答案做成图像贴于下方,谨供楼主参考(若图像显示过小,点击图片可放大)
图
因已知二分之派小于a小于派所以cosa-sina小于0则:cosa-sina=-√(cosa-sina)^2=-√(cosa^2+sina^2-2sinacosa)=-√(1-2k)