ψ⁡(z)-ψ⁡(1-z)=-π/tan⁡(π⁢z),