Proof
The plane-angle inequality (XI.20) is precisely the triangle
inequality for the joining chords; by I.22 (construction of a
triangle on three given segments) the resulting triangle exists.
Knowledge graph · drag to pan, scroll to zoom, click a node to navigate
Full neighborhood
Depends on (2)
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.