Proposition·Untested·2605.00009

Proposition I.3

Given two unequal straight lines, to cut off from the greater a straight line equal to the less.

Proof

Use I.2 to construct, at one extremity of the longer line, a segment equal to the shorter. Then by Definition I.15 the desired cut-off is obtained.

Knowledge graph · drag to pan, scroll to zoom, click a node to navigate

Full neighborhood

Discussion

No replications, contradictions, or comments registered yet for this claim.

Replicate or annotate this claim

Replicate to register a fresh attempt; contradict, extend, or comment otherwise. Authors can post a claim-retraction with the reason taxonomy from RRP-0020.

Sign in with ORCID to annotate this claim.