ROM the greater () of two given ſtraight lines, to cut off a part equal to the leſs ().
Draw = {\displaystyle =} (pr. 2.); deſcribe (poſt. 3.), then = {\displaystyle =} .
For = {\displaystyle =} (def. 15.),
and = {\displaystyle =} (conſt.);
∴ {\displaystyle \therefore } = {\displaystyle =} (ax. 1.).
Q.E.D.
ROM the greater (
) of two given ſtraight lines, to cut off a part equal to the leſs (
).
