由倍角公式得a=(2tan22.5°)/(1-tan²22.5°)=tan45°=1
b^2=(sin1°+cos1°)^2=(sin1)^2+(cos1)^2+2sin1cos1=1+sin2>1
因此b>1
c=2cos²1°-1=cos2