Let ABCD be a cyclic quadrilateral.Prove that the incenters of the triangles ABC,BCD,CDA,DAB are the vertices of the triangle

To prove that the incenters of triangles ABC, BCD, CDA, and DAB form the vertices of a triangle, we need to delve into some properties of cyclic quadrilaterals and the concept of incenters. A cyclic quadrilateral is one where all four vertices lie on a single circle. This property will be crucial in our proof.

Understanding the Incenter

The incenter of a triangle is the point where the angle bisectors of the triangle intersect. It is also the center of the circle that can be inscribed within the triangle, known as the incircle. The incenter is equidistant from all three sides of the triangle.

Properties of Cyclic Quadrilaterals

For a cyclic quadrilateral ABCD, the opposite angles are supplementary. This means that:

• ∠A + ∠C = 180°
• ∠B + ∠D = 180°

This property will help us understand the relationships between the angles of the triangles formed by the diagonals of the quadrilateral.

Identifying the Incenter Locations

Let’s denote the incenters of triangles ABC, BCD, CDA, and DAB as I_A, I_B, I_C, and I_D respectively. We need to show that these points form a triangle. To do this, we will analyze the angles at these incenters.

Angle Relationships

Consider the angles at the incenters:

• At I_A (the incenter of triangle ABC), the angles are bisected, so:
• ∠I_AAB = ½ ∠A
• ∠I_AAC = ½ ∠B
• At I_B (the incenter of triangle BCD), we have:
• ∠I_BBC = ½ ∠B
• ∠I_BBD = ½ ∠C
• At I_C (the incenter of triangle CDA), we find:
• ∠I_CCD = ½ ∠C
• ∠I_CCA = ½ ∠D
• At I_D (the incenter of triangle DAB), we see:
• ∠I_DDA = ½ ∠D
• ∠I_DDB = ½ ∠A

Establishing the Triangle

Now, we need to show that the points I_A, I_B, I_C, and I_D are not collinear. For this, we can use the fact that the angles formed at these incenters are related to the angles of the cyclic quadrilateral. Specifically, the sum of the angles around each incenter must be less than 180 degrees, ensuring that they form a triangle.

Using the Cyclic Property

Since ABCD is cyclic, the angles at the vertices are related. For instance:

• ∠I_A + ∠I_B + ∠I_C + ∠I_D = 180°
• Each incenter's angles will sum up to less than 180° when considering the triangle formed by the incenters.

Conclusion

By analyzing the angles at the incenters and utilizing the properties of cyclic quadrilaterals, we can conclude that the incenters I_A, I_B, I_C, and I_D indeed form the vertices of a triangle. This triangle is defined by the relationships of the angles formed by the cyclic nature of quadrilateral ABCD, confirming that these incenters are not collinear and thus create a valid triangle.