函数根号下（sina-cosa)的定义域
应该满足 sina-cosa≥0
由于 sina-cosa=√2sin（a-π/4）
所以 sina-cosa≥0 即为
√2sin（a-π/4）≥0
也即 2kπ ≤a-π/4≤2kπ+π
整理得 2kπ+π/4≤a≤2kπ+5π/4
所以 定义域为……