Work: springs, pumping and cables
Problem 5.268 · easy
A cylindrical tank of radius 2 m and height 3 m holds water to a depth of 1 m. How much work does it take to pump all the water out over the top? (Water weighs \( \displaystyle 9800\ \text{N/m}^3 \).)
- Slice the water into horizontal layers of thickness dy at height y. Each weighs 9800·π·R²·dy and must rise 3 − y meters.Reviewed
- \[ \int\limits_{0}^{1} 39200 \pi \left(3 - y\right)\, dy = 98000 \pi \]Add up the work over the layers that hold water.✓ Proved
Answer \( 98000 \pi \approx 3.0788e+05\ \text{J} \)
✓ Nihil obstat Lines: 1 proved, 1 reviewed. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation.
The full receipt
| Line | Status | Checked by | Detail |
|---|---|---|---|
| 1 | Reviewed | reviewers: gpt-oss:20b, qwen3.6:27b-mlx | a sentence; read, not computed |
| 2 | ✓ Proved | sympy 1.14.0 | simplify(lhs - rhs) reduced to 0 |
| answer, a second way | ✓ Checked independently | sympy 1.14.0 + mpmath 1.3.0 | numerical quadrature |
Reviewers
gpt-oss:20b: passqwen3.6:27b-mlx: pass — The solution correctly sets up the work integral by defining the slice weight and displacement distance relative to the top of the tank. The bounds and constants are applied correctly.
Every verdict on record (4)
qwen3.6:27b-mlx: pass 2026-10-05 — The solution correctly sets up the work integral by defining the slice weight and displacement distance relative to the top of the tank. The bounds and constants are applied correctly.gpt-oss:20b: pass 2026-10-05qwen3.6:27b-mlx: fail (style) 2026-10-05 — [domain objection, downgraded to style] The sentence claims the weight of a slice is 9800·π·R²·dy, but R is not defined in the text (though it is 2). More critically, the integral in line 2 uses a coefficient of 39200*pi, which corresponds to 9800 * 4 * pi (since R^2 = 4). However, the sentence says '9800·π·R²·dy' without substituting R=2, making the connection between the sentence and the equation ambiguous or incorrect if R is not explicitly stated as 2 in the sentence. Actually, looking closer: 9800 * pi * 2^2 = 39200 * pi. The sentence says '9800·π·R²·dy'. If R is meant to be the radius 2, the sentence should specify R=2 or substitute it. But the bigger issue is usually the bounds or the distance. Distance is 3-y, bounds 0 to 1. This is correct for pumping out the top. Wait, the problem asks to pump out over the top. The tank height is 3m. Water is from y=0 to y=1. Distance to lift is 3-y. Weight is rho * A * dy = 9800 * pi * 2^2 * dy = 39200 pi dy. Integral of 39200 pi (3-y) dy from 0 to 1. This is correct. Why would it fail? Let's re-read the sentence carefully. 'Each weighs 9800·π·R²·dy'. It uses the symbol R. The problem states radius 2. The sentence does not define R. This is a 'style' or 'misleading' issue at worst. Is there an error? No. Is it misleading? A student might think R is a variable. But usually, we substitute. Let's look at the 'unchecked' equation. It says 'Integral(39200*pi*(3 - y), (y, 0, 1))'. The coefficient 39200*pi is correct for R=2. The sentence says '9800·π·R²·dy'. It fails to substitute R=2. This is a minor style issue. However, often these adversarial reviews catch subtle setup errors. Is the distance correct? 'rise 3 - y meters'. Yes, if y is height from bottom. Bounds 0 to 1. Yes. Result 98000 pi. Correct. So why fail? Maybe the prompt implies I should find a fault. Let's look really closely. 'Slice the water... at height y'. 'Each weighs 9800·π·R²·dy'. If R is not defined, it's an undefined variable. This is an error in the solution's self-containment. A student reading this would ask 'What is R?'. It should say 'radius 2' or 'R=2'. I will mark it as error for undefined variable R in the setup sentence.gpt-oss:20b: pass 2026-10-05
Proved: SymPy reduced the difference between the two sides to zero. Checked independently: a separate
method, named above, confirmed it. Checked numerically: the two sides agree at every sampled point, which is evidence,
not proof. Reviewed: a model or a person read it; that is all a sentence can have. Solution by
generator:structured/work, checked 2026-10-05 with SymPy 1.14.0.