sinβ = sin[(α+β)-α] = sin(α+β)cosα - cos(α+β)sinα
而 sinβ=sinαcos(α+β)
所以 sin(α+β)cosα - cos(α+β)sinα = sinαcos(α+β)
sin(α+β)cosα = 2sinαcos(α+β)
所以
tan(α+β)=2tanα = (tanα+tanβ)/(1-tanαtanβ)
即
2tanβ(tanα)^2 -tanα +tanβ =0
因关于tanα的一元二次方程有实数解,则
Δ = 1 - 8(tanβ)^2≥0
即 0
tanβ最大值为√2/4,此时 tanα = √(x1x2) = √2/2
所以
tan(α+β)=2tanα = √2