MathLabs

Problem 5

Given three distinct points A,B,CA,B,C on a circle KK, construct a point DD on KK such that a circle can be inscribed in the convex quadrilateral ABCDABCD.
Step 3 of 5: Locate the incenter
I=Γ∩bisector⁡int(∠ABC)I=\Gamma\cap\operatorname{bisector}_{\mathrm{int}}(\angle ABC)
Detailed analysis

Choose the intersection II of Γ\Gamma with the internal angle bisector of ∠ABC\angle ABC that lies in the intended convex configuration. The locus condition gives the required angle at II, while the angle-bisector condition makes the distances from II to lines ABAB and BCBC equal.