Worked solution: The Beukers–Calabi–Kolk double-integral proof (1993)
Step 3 of 6: The Beukers–Calabi–Kolk substitution
In plain words
The two auxiliary angles and act like knobs on an old radio: turning them sweeps out every point of a triangular region exactly once, and the sine/cosine combination is engineered so that the corners of the unit square — including the awkward corner where the integrand blows up — land precisely on the corners of that triangle.
This substitution sends to and to , while the far edge corresponds to or — so it maps the open unit square exactly onto the open triangle with two legs of length .
- Change of variables
- Replacing the integration variables by new variables related by a formula, so as to turn a hard integral into an easier one over a different region.