Maths Olympiad Prep

Library / /325 of 520

Geometry Difficulty 7.1 National olympiad, round 2 Prove it

Let ABCDABCD be an tangential trapezoid, EE is a point of its diagonals intersection, r1,r2,r3,r4r_1,r_2,r_3,r_4 -- the radiuses of the circles inscribed in the triangles ABE,BCE,CDE,DAEABE, BCE, CDE, DAE respectively. Prove that 1/(r1)+1/(r3)=1/(r2)+1/(r4)1/(r_1)+1/(r_3) = 1/(r_2)+1/(r_4).

Solution

1. Define the given elements and recall known formulas:
- Let S=S(ABCD) S = S(ABCD) be the area of the tangential trapezoid ABCDABCD.
- Let S1=S(ABE) S_1 = S(\triangle ABE) , S2=S(BCE) S_2 = S(\triangle BCE) , S3=S(CDE) S_3 = S(\triangle CDE) , and S4=S(DAE) S_4 = S(\triangle DAE) be the areas of the triangles formed by the diagonals and the vertices of the trapezoid.
- Let s1=Perimeter(ABE)2 s_1 = \frac{\text{Perimeter}(\triangle ABE)}{2} , s2=Perimeter(BCE)2 s_2 = \frac{\text{Perimeter}(\triangle BCE)}{2} , s3=Perimeter(CDE)2 s_3 = \frac{\text{Perimeter}(\triangle CDE)}{2} , and s4=Perimeter(DAE)2 s_4 = \frac{\text{Perimeter}(\triangle DAE)}{2} be the semiperimeters of these triangles.
- Given that ADBC AD \parallel BC .

2. Recall the well-known formulas:
- The area of a triangle with an inscribed circle is given by S=rs S = r \cdot s , where r r is the inradius and s s is the semiperimeter.
- For the tangential trapezoid, the sum of the lengths of the opposite sides is equal: AB+CD=AD+BC AB + CD = AD + BC .

3. Use the similarity of triangles:
- Since DAEBCE \triangle DAE \sim \triangle BCE , we have:
S(DAE)S(BCE)=(DABC)2=(AECE)2=(EDEB)2 \frac{S(\triangle DAE)}{S(\triangle BCE)} = \left( \frac{DA}{BC} \right)^2 = \left( \frac{AE}{CE} \right)^2 = \left( \frac{ED}{EB} \right)^2

4. Express the given problem in terms of the inradii:
- We need to prove that:
1r1+1r3=1r2+1r4 \frac{1}{r_1} + \frac{1}{r_3} = \frac{1}{r_2} + \frac{1}{r_4}
- Using the formula S=rs S = r \cdot s , we can write:
1r1=s1S1,1r2=s2S2,1r3=s3S3,1r4=s4S4 \frac{1}{r_1} = \frac{s_1}{S_1}, \quad \frac{1}{r_2} = \frac{s_2}{S_2}, \quad \frac{1}{r_3} = \frac{s_3}{S_3}, \quad \frac{1}{r_4} = \frac{s_4}{S_4}

5. Simplify the expressions:
- Given that S1=S3=S2S4 S_1 = S_3 = \sqrt{S_2 S_4} , we can write:
1r1+1r3=s1S1+s3S3=s1S2S4+s3S2S4=s1+s3S2S4 \frac{1}{r_1} + \frac{1}{r_3} = \frac{s_1}{S_1} + \frac{s_3}{S_3} = \frac{s_1}{\sqrt{S_2 S_4}} + \frac{s_3}{\sqrt{S_2 S_4}} = \frac{s_1 + s_3}{\sqrt{S_2 S_4}}
- Similarly, we have:
1r2+1r4=s2S2+s4S4=s2S2S4+s4S2S4=s2+s4S2S4 \frac{1}{r_2} + \frac{1}{r_4} = \frac{s_2}{S_2} + \frac{s_4}{S_4} = \frac{s_2}{\sqrt{S_2 S_4}} + \frac{s_4}{\sqrt{S_2 S_4}} = \frac{s_2 + s_4}{\sqrt{S_2 S_4}}

6. Use the property of the tangential trapezoid:
- Since AB+CD=AD+BC AB + CD = AD + BC , the semiperimeters satisfy:
s1+s3=s2+s4 s_1 + s_3 = s_2 + s_4

7. Conclude the proof:
- Therefore, we have:
1r1+1r3=s1+s3S2S4=s2+s4S2S4=1r2+1r4 \frac{1}{r_1} + \frac{1}{r_3} = \frac{s_1 + s_3}{\sqrt{S_2 S_4}} = \frac{s_2 + s_4}{\sqrt{S_2 S_4}} = \frac{1}{r_2} + \frac{1}{r_4}

\blacksquare

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.