A refinery blends naphtha, reformate and butane into a 100-litre batch. At least 30% of the batch must be naphtha and at most 25% of it may be butane; naphtha costs 5 a litre, reformate 3 and butane 2. Minimise the cost of the batch.
Definition · Share constraintFor decisions x₁, …, xₙ measured in the same unit, the requirement “component i is at least a fraction t of the total” is xᵢ ≥ t(x₁ + … + xₙ). Collecting terms gives the linear row (1 − t)xᵢ − t(the rest) ≥ 0, and “at most t” gives the same row with the inequality reversed.
The right-hand side of the cleared row is 0, always. A share requirement carries no constant: it compares one decision with a multiple of the sum of all of them, and scaling the whole batch up or down does not change whether it holds.
minimise 5N + 3R + 2B pounds a batch
subject to N + R + B = 100 litres in the batch
at least 30% naphtha N ≥ 3/10 (N + R + B)
cleared (7/10)N − (3/10)R − (3/10)B ≥ 0
at most 25% butane B ≤ 1/4 (N + R + B)
cleared −(1/4)N − (1/4)R + (3/4)B ≤ 0
N, R, B ≥ 0
The cheapest batch is 30 litres of naphtha, 45 of reformate and 25 of butane, costing 335. Both share requirements are met exactly: the achieved shares are 30%, 45% and 25%, printed as the exact fractions 3/10, 9/20 and 1/4 rather than as rounded percentages. The blend takes as much of the cheap butane as the ceiling allows and as little of the expensive naphtha as the floor allows, which is what the two bounds were written to control.
The quantity where a proportion was meant
Write the naphtha requirement as N ≥ 3/10 instead and something worse than an error happens: the model stays feasible and solvable, and it answers a different question. The cheapest batch becomes N = 3/10 litres, R = 747/10 litres and B = 25 litres at a cost of 1378/5 — and the naphtha share is 0.3%, not 30%. The variable is measured in litres and the requirement, being a proportion, is measured in nothing; the two sides of that row do not carry the same unit and no arithmetic will complain.
A subtler version takes the share of the wrong total: N ≥ 3/10 (R + B) asks for 30% of the others rather than 30% of the batch. It is a legal linear row and a weaker requirement — it is satisfied at N = 300/13 litres, which is a naphtha share of 3/13, about 23.08% of the batch. Clearing is only as good as the total you cleared.
The ratio this lesson declines
The same move applied to N ÷ B ≥ 2 gives N − 2B ≥ 0, and that is not a rearrangement. Multiplying an inequality by B preserves it only when B is strictly positive, and the question of whether it can vanish is itself a linear programme: add B ≤ 0 to the constraints and ask whether anything is left.
Example · Why N ÷ B ≥ 2 may not be cleared hereThe batch (30, 70, 0) fills 100 litres, is 30% naphtha and is within the butane ceiling, so it is feasible with B = 0. At that point N ÷ B is not a number at all, while N − 2B ≥ 0 reads 30 ≥ 0 and holds comfortably. The cleared row admits points the original requirement says nothing about, so the lab declines the move and says which feasible blend refutes it.
The honest form of the rule is therefore conditional. A ratio requirement may be cleared when the denominator is a quantity the constraints keep strictly positive — and when it is the total of the batch, that is usually evident. When it is one component, it is a claim, and claims on this course get checked.