Everything on the parent page rests on a small pile of symbols. If any one of them is fuzzy, the Lagrange proof collapses into meaningless squiggles. So we define each one from zero, in the order they depend on each other, and glue each to a picture.
Before anything else: mass is just "how much stuff there is." We measure it in kilograms (kg). A full fuel tank has more mass than an empty one; a rocket with its payload has more mass than the payload alone.
We will constantly split a rocket's mass into three kinds of stuff:
Look at the figure: one tall bar, sliced into these three pieces.
Why do we need all three names? Because the whole optimisation is about a tension between them: fuel gives you speed, but fuel needs tanks (structure) to hold it, and those tanks are dead weight. Payload is the prize you are protecting. You cannot even state the problem without separating these three.
A rocket moves by throwing gas backward. The faster it throws that gas, the more speed each kilogram of fuel buys you.
You will also meet specific impulse Isp. It is just ve rewritten in seconds:
ve=Ispg0,g0=9.81m/s2.
The parent needs "same Isp" as a hypothesis: if the engines differed, balancing the stages would be a different (harder) problem — see Variable specific impulse staging.
This is the symbol most readers fear, so we build it fully.
Start with a question: if throwing out the first kg of fuel gives some speed boost, does the hundredth kg give the same boost? No — and here is why. Each kg of fuel has to push not just the rocket, but all the fuel still on board. Early fuel pushes a heavy rocket (small boost); late fuel pushes a light one (big boost). The total gain is not a straight line — it curves and flattens.
The function that captures exactly this "flattening" is the natural logarithm, written ln.
Look at the curve: it shoots up early, then bends flat.
Why this tool and not, say, a square root or a straight line? Because the rocket equation (next section) literally produces a logarithm from the physics of throwing mass backward. We are not choosing ln for convenience — the physics hands it to us.
R=1 means "no fuel burnt, no change." R=4 means the rocket started four times as heavy as it ended. Look at the two stacked bars — same rocket, before and after a burn.
Here Δv (read "delta-vee") means change in speed. The Greek Δ ("delta") is standard shorthand for "the change in." Δv is what we are trying to maximise.
More on this in Structural fraction. From this definition you can rearrange to get structure from fuel:
ms=1−ϵϵmf,
which is the exact expression the parent's proof uses to convert "fuel I chose to burn" into "structure I am forced to carry."
Now the parent's central rule. Let n be the number of stages (a plain counting number: n=2 for a two-stage rocket, n=3 for three, and so on). Label the stages i=1,2,…,n from bottom to top, and let Ri be the mass ratio of stage i.
Why this exact product? Let us build one factor, then chain them — this is the sketch the parent skips.
Follow the mass as it flows down the rocket, one stage at a time. Write Mi−1 for the mass entering stage i (so M0 is what the whole rocket starts with, and after the last stage burns and is dropped we are left with just Mn=mp).
Stage i burns fuel mfi=Mi−1(1−Ri1) — straight from §5, with M=Mi−1.
That fuel forces along structure msi=1−ϵϵmfi — straight from §6.
After the burn and dropping the empty structure, the mass handed to the next stage is
Mi=Mi−1−mfi−msi=Mi−1(1−ϵ)Ri1−ϵRi.
So each stage multiplies the mass by the factor (1−ϵ)Ri1−ϵRi. Do this n times, from M0 down to mp, and every factor multiplies onto the last — which is exactly the product (⋆). That is why it is a product and not a sum: each stage acts on whatever the stage below it left behind.
The parent asks: maximise total Δvwhile obeying the fixed payload fraction (⋆). That is a constrained optimisation — you can't just chase the biggest number, you must stay on the constraint surface.
Two ingredients get names in the method:
The symbol ∇ ("nabla" or "gradient") is shorthand for "the list of slopes of a quantity in every direction you could nudge the Ri." Think of it as an arrow pointing in the direction that increases the quantity fastest.
You do not need to master the machinery to trust the parent's punchline: because every stage sees the sameϵ, each stage's optimality equation is identical, so all the Ri must come out equal. That is the whole theorem, and now you know what every symbol in its statement means.