Let $D, E, F$ be the points where the inscribed circle touches the sides of triangle $ABC$. Prove that the angles of triangle $DEF$ are $90^{\circ} - \frac{\alpha}{2}$, $90^{\circ} - \frac{\beta}{2}$, and $90^{\circ} - \frac{\gamma}{2}$, where $\alpha, \beta, \gamma$ are the angles of triangle $ABC$.

GeometryTriangle GeometryInscribed CircleAnglesProof
2025/3/29

1. Problem Description

Let D,E,FD, E, F be the points where the inscribed circle touches the sides of triangle ABCABC.
Prove that the angles of triangle DEFDEF are 90α290^{\circ} - \frac{\alpha}{2}, 90β290^{\circ} - \frac{\beta}{2}, and 90γ290^{\circ} - \frac{\gamma}{2}, where α,β,γ\alpha, \beta, \gamma are the angles of triangle ABCABC.

2. Solution Steps

Let II be the incenter of triangle ABCABC.
Since D,E,FD, E, F are points of tangency, IDBCID \perp BC, IEACIE \perp AC, and IFABIF \perp AB.
Consider quadrilateral AFIEAFIE. We have AFI=AEI=90\angle AFI = \angle AEI = 90^{\circ}.
The sum of angles in a quadrilateral is 360360^{\circ}, so
FIE=360AFIAEIFAE=3609090α=180α\angle FIE = 360^{\circ} - \angle AFI - \angle AEI - \angle FAE = 360^{\circ} - 90^{\circ} - 90^{\circ} - \alpha = 180^{\circ} - \alpha.
Since FIE\angle FIE is the central angle subtending the arc FEFE in the circumcircle of triangle DEFDEF, and FDE\angle FDE is an inscribed angle subtending the same arc, we have FDE=12FIE=12(180α)=90α2\angle FDE = \frac{1}{2} \angle FIE = \frac{1}{2} (180^{\circ} - \alpha) = 90^{\circ} - \frac{\alpha}{2}.
Similarly, consider quadrilateral BDIFBDIF. We have BDI=BFI=90\angle BDI = \angle BFI = 90^{\circ}.
So DIB=3609090β=180β\angle DIB = 360^{\circ} - 90^{\circ} - 90^{\circ} - \beta = 180^{\circ} - \beta.
Thus DEF=12DIB=12(180β)=90β2\angle DEF = \frac{1}{2} \angle DIB = \frac{1}{2}(180^{\circ} - \beta) = 90^{\circ} - \frac{\beta}{2}.
Finally, consider quadrilateral CEIDCEID. We have CEI=CDI=90\angle CEI = \angle CDI = 90^{\circ}.
So EID=3609090γ=180γ\angle EID = 360^{\circ} - 90^{\circ} - 90^{\circ} - \gamma = 180^{\circ} - \gamma.
Thus EFD=12EID=12(180γ)=90γ2\angle EFD = \frac{1}{2} \angle EID = \frac{1}{2}(180^{\circ} - \gamma) = 90^{\circ} - \frac{\gamma}{2}.
Therefore, the angles of triangle DEFDEF are 90α290^{\circ} - \frac{\alpha}{2}, 90β290^{\circ} - \frac{\beta}{2}, and 90γ290^{\circ} - \frac{\gamma}{2}.

3. Final Answer

The angles of triangle DEFDEF are 90α290^{\circ} - \frac{\alpha}{2}, 90β290^{\circ} - \frac{\beta}{2}, and 90γ290^{\circ} - \frac{\gamma}{2}.

Related problems in "Geometry"

The problem states that $ABCD$ is a cyclic quadrilateral with $AB = AD$ and $BC = DC$. $AC$ is the d...

Cyclic QuadrilateralKiteAngles in a CircleIsosceles Triangle
2025/4/8

The problem asks us to find the area of the composite shape, which is a rectangle and a triangle. W...

AreaComposite ShapesRectanglesTrianglesGeometric Formulas
2025/4/7

The problem is to find the area of the given polygon. The polygon consists of a rectangle and two tr...

AreaPolygonsRectanglesTrianglesGeometric Formulas
2025/4/7

The problem asks to find the total area of a composite shape consisting of a right triangle and a re...

AreaComposite ShapesRectangleTriangle
2025/4/7

The problem asks us to find the area of the composite shape. The shape consists of a rectangle and a...

AreaComposite ShapesRectangleTriangle
2025/4/7

The problem asks to find the area of the composite shape shown in Task Card 10. The shape is compose...

AreaRectanglesComposite Shapes
2025/4/7

The problem asks to find the area of the polygon. The polygon can be decomposed into three rectangle...

AreaPolygonsRectanglesDecomposition
2025/4/7

We are asked to find the area of a regular hexagon. We are given the apothem, which is the perpendic...

HexagonAreaApothemRegular PolygonTrigonometryApproximation
2025/4/7

The problem asks to find the area of a regular pentagon, given that the apothem (the distance from t...

PolygonsRegular PolygonsAreaTrigonometryApothemPentagon
2025/4/7

The problem asks to find the area of a right triangle on a flag. The flag has dimensions labeled, wi...

AreaTrianglesRight TrianglesGeometric ShapesMeasurements
2025/4/7