rrxivrrxiv
Proposition·Untested·2605.00009

Proposition I.7

Given two straight lines constructed on a straight line and meeting in a point, there cannot be constructed on the same straight line and on the same side of it two other straight lines meeting in another point and equal to the former two respectively, namely each to that which has the same extremity with it.

Read in paperRead PDFOpen paper

Proof

A double application of I.5 yields contradictory angle equalities; by Common Notion 5 the second meeting point cannot exist.

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

Full neighborhood

Depends on (2)

Required by (dependents) (1)

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.