另一直边长度=0.5/tan67.5º = (√2+1)/2.
提示：tan67.5º = (1-cos135º)/sin135º =√2-1.