Proposition·Untested·2605.00009

Proposition I.12

To draw a perpendicular straight line to a given infinite straight line from a given point not on it.

Proof

With centre at the external point describe a circle (Postulate 3) cutting the given line; bisect the chord by I.10; the line from the external point to the midpoint is perpendicular by I.8.

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.