怎样求22.5°角的三角函数