tan⁡(12⁢ψ)=(tan⁡θ)⁢Δ⁡(θ),