设x=22度30分=22.5度=pi/8弧度
sinxcos(pi/2-x)=(sinx)^2
cospi/4=1-2(sinx)^2=根号2/2
所以(sinx)^2=(1-根号2/2)/2