For u ∉ Q̄ and non-zero algebraic a, b, α, β, γ, δ with a² ≠ b², the span of 1, u, u⁻¹, α/(u − a) + β/(u + a), γ/(u − b) + δ/(u + b) is five-dimensional and excludes u², u⁻², 1/(u − c)

Initializing...

For u ∉ Q̄ and non-zero algebraic a, b, α, β, γ, δ with a² ≠ b², the span of 1, u, u⁻¹, α/(u − a) + β/(u + a), γ/(u − b) + δ/(u + b) is five-dimensional and excludes u², u⁻², 1/(u − c) · Prove2Me