Book V · Proposition 20

V.20

If there be three magnitudes, and others equal to them in multitude, which taken two and two are in the same ratio, and if ex aequali the first be greater than the third, the fourth will also be greater than the sixth; if equal, equal; and, if less, less.Heath, 1908

Every step, checked

• the magnitudes are positivegiven
• a : b = d : egiven
• b : c = e : fgiven
• as the first stands to the third, so the fourth stands to the sixthby V.8, V.13

What it needs, and what needs it

Needs: V.8 V.13

Rests on: Def.5, Def.7

Depth: 1 steps of argument above the first principles. Parallel postulate: not needed.

What it takes on trust

Nothing. It draws no intersections and reads nothing off the picture.

The proposition as code

@proposition(
    "V.20",
    THEOREM,
    sample=_two_triples_in_ratio,
)
def prop_V_20(a, b, c, d, e, f) -> Out:
    hypothesis("the magnitudes are positive",
               all(sign(x) > 0 for x in (a, b, c, d, e, f)), guard=True)
    hypothesis("a : b = d : e", a * e == b * d)
    hypothesis("b : c = e : f", b * f == c * e)
    # The ratios compared are a : b against c : b, which differ exactly when A
    # and C do. V.13 speaks of a ratio greater than another, and no figure
    # meeting these hypotheses has one, so it stays cited.
    if a != c:
        because(prop_V_8, a, b, c, b)

    because(prop_V_13, a, b, d, e, c, f) if a * e == b * d and ratio_cmp(d, e, c, f) > 0 else None

    claim("as the first stands to the third, so the fourth stands to the sixth",
          ["V.8", "V.13"], sign(a - c) == sign(d - f))
    return Out()