Proof
Let be the given triangle. Bisect and
by and (I.9), meeting at . Drop perpendiculars ,
, from to , , (I.12). In the pairs of
triangles formed at , the two angles and a common side give
congruence (I.26), whence . The circle with centre
and radius touches each side (since the perpendiculars at the
feet make the sides tangents by III.16) and is inscribed in
.
Knowledge graph · drag to pan, scroll to zoom, click a node to navigate
Full neighborhood
Depends on (4)
- I.9Proposition I.9To bisect a given rectilineal angle.
- I.12Proposition I.12To draw a perpendicular straight line to a given infinite straight line from a given point not on it.
- I.26Proposition I.26If two triangles have the two angles equal to two angles respectively, and one side equal to one side, namely either…
- III.16Proposition III.16The straight line drawn at right angles to the diameter of a circle from its extremity will fall outside the circle,…
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.