Olympiad Maths Prep

Track / Stage 7 / 79 of 300 #1479 of 2000

Problem 1479

National olympiad second round; IMO P1/P4
Geometry Difficulty 7.1 Find the answer

(a)\textbf{(a)} On the sides of triangle ABCABC we consider the points MBCM\in \overline{BC}, NACN\in \overline{AC} and PABP\in \overline{AB} such that the quadrilateral MNAPMNAP with right angles MNA\angle MNA and MPA\angle MPA has an inscribed circle. Prove that MNAPMNAP has to be a kite.
(b)\textbf{(b)} Is it possible for an isosceles trapezoid to be orthodiagonal and circumscribed too?

[i] (Călin Udrea) [/i]

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

### Part (a)

1. Define the segments:
Let AN=y AN = y , MN=x MN = x , PM=t PM = t , and AP=z AP = z .

2. Use the Pythagorean theorem:
Since ΔANM\Delta ANM and ΔAPM\Delta APM are right triangles sharing a hypotenuse AMAM, we have:
x2+y2=z2+t2 x^2 + y^2 = z^2 + t^2
This can be rewritten as:
(xz)(x+z)=(ty)(t+y) (x - z)(x + z) = (t - y)(t + y)

3. Apply Pitot's theorem:
Since MNAPMNAP is circumscribed, by Pitot's theorem, the sum of the lengths of opposite sides is equal:
x+z=y+t x + z = y + t

4. Combine the equations:
Using the two equalities:
(xz)(x+z)=(ty)(t+y) (x - z)(x + z) = (t - y)(t + y)
and
x+z=y+t x + z = y + t
we can substitute x+zx + z with y+ty + t in the first equation:
(xz)(y+t)=(ty)(y+t) (x - z)(y + t) = (t - y)(y + t)

5. Simplify the equation:
Since y+t0y + t \neq 0, we can divide both sides by y+ty + t:
xz=ty x - z = t - y

6. **Solve for xx and tt:**
Adding the two equations:
x+z=y+t x + z = y + t
and
xz=ty x - z = t - y
we get:
2x=2t    x=t 2x = 2t \implies x = t
Similarly, subtracting the two equations:
x+z=y+t x + z = y + t
and
xz=ty x - z = t - y
we get:
2z=2y    z=y 2z = 2y \implies z = y

7. Conclusion:
Since x=tx = t and y=zy = z, MNAPMNAP is a kite.

\blacksquare

### Part (b)

1. Assume the trapezoid:
Suppose there is such a trapezoid and label it ABCDABCD (with ABCDAB \parallel CD and CD>ABCD > AB). Let AD=BC=xAD = BC = x, AB=yAB = y, and CD=zCD = z.

2. Apply Pitot's theorem:
Since ABCDABCD is circumscribed, by Pitot's theorem, we must have:
y+z=2x y + z = 2x
Squaring both sides:
(y+z)2=4x2 (y + z)^2 = 4x^2

3. Use the orthodiagonal property:
Since ABCDABCD is orthodiagonal, a well-known lemma gives that:
y2+z2=2x2 y^2 + z^2 = 2x^2
Doubling both sides:
2(y2+z2)=4x2 2(y^2 + z^2) = 4x^2

4. Combine the equations:
Equating the two expressions for 4x24x^2:
(y+z)2=2(y2+z2) (y + z)^2 = 2(y^2 + z^2)
Expanding and simplifying:
y2+2yz+z2=2y2+2z2    y2+z2+2yz=2y2+2z2    2yz=y2+z2 y^2 + 2yz + z^2 = 2y^2 + 2z^2 \implies y^2 + z^2 + 2yz = 2y^2 + 2z^2 \implies 2yz = y^2 + z^2
Rearranging:
(yz)2=0    y=z (y - z)^2 = 0 \implies y = z

5. Conclusion:
This implies that AB=CDAB = CD, which contradicts the assumption that ABCDABCD is a trapezoid (since ABCDAB \parallel CD and CD>ABCD > AB). Therefore, it is not possible for an isosceles trapezoid to be both orthodiagonal and circumscribed.

\blacksquare

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