tan45=2tan22.5/(1-tan22.5*tan22.5)=
tan22.5*tan22.5+2tan22.5-1=0
令tan22.5=x,
x*x+2x-1=0,解此一元二次方程即可,因第一象限,舍去负根,保留正根.