PROOF 76
Prove.
Adding rounded values accumulates error
On the real numbers ℝ.
Definition D1
For real numbers x₁, …, xₙ, set S = x₁ + ⋯ + xₙ, T = round(x₁) + ⋯ + round(xₙ), eᵢ = round(xᵢ) − xᵢ.
Proof.
Related labs
PROOF 76
Adding rounded values accumulates error
On the real numbers ℝ.
Definition D1
For real numbers x₁, …, xₙ, set S = x₁ + ⋯ + xₙ, T = round(x₁) + ⋯ + round(xₙ), eᵢ = round(xᵢ) − xᵢ.
Proof.
Related labs