Book VII · Proposition 17

VII.17

If a number by multiplying two numbers make certain numbers, the numbers so produced will have the same ratio as the numbers multiplied.Heath, 1908

Every step, checked

• all three are numbersgiven
• the products have the same ratio as the numbers multipliedby VII.17

What it needs, and what needs it

Needs: nothing earlier.

Used by: VIII.5

Depth: 0 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(
    "VII.17",
    THEOREM,
    sample=three_numbers,
)
def prop_VII_17(a: int, b: int, c: int) -> Out:
    hypothesis("all three are numbers", a > 1 and b > 1 and c > 1, guard=True)
    claim("the products have the same ratio as the numbers multiplied", "VII.17",
          _taken(_taken(a, b), c) == _taken(_taken(a, c), b))
    return Out()