sinB=sinacos(a+B)
=sin[(a+B)-a]=sin(a+B)cosa-cos(a+B)sina
sin(a+B)cosa=2cos(a+B)sina
tan(a+B)=2tana
tanB=[tan(a+B)-tana]/[1+tan(a+B)tana]
=tana/[1+2(tana)^2]
[1+2(tana)^2]>=2*√[1*(2tana)^2]=2√2tana
1=√2tana時(shí),tana=1/√2,tanB最大
tanB=1/(2√2)
tan(a+B)=(tana+tanB)/(1-tanatanB)
=(1/√2+1/(2√2))/(1-(1/√2)(1/(2√2)))
=3/(2√2)/(3/4)
=4/(2√2)=√2