证明：设x=2arctan(2/3) 得：tan(x/2)=2/3
故tanx=2tan(x/2)/(1-(tan(x/2))^2)=12/5
arcsin(5/13)=arctan(5/12)
两者相加为90°