Maths Olympiad Prep

Library / /26 of 26

Geometry Difficulty 7.7 National olympiad, round 2 Prove it Russia

Let ABCDABCD be a triangular pyramid. A sphere ωA\omega_A is tangent to the face BCDBCD, and to the planes of the other faces outside the faces. Similarly, a sphere ωB\omega_B is tangent to the face ACDACD, and to the planes of the other faces outside the faces. Let ωA\omega_A meet the plane ACDACD at KK, and let ωB\omega_B meet the plane BCDBCD at LL. The points XX and YY are chosen on the extensions of the segments AKAK and BLBL beyond KK and LL, respectively, so that CKD=CXD+CBD\angle CKD = \angle CXD + \angle CBD and CLD=CYD+CAD\angle CLD = \angle CYD + \angle CAD. Prove that the points XX and YY are equidistant from the midpoint of CDCD.

Solution

Отметим точки K1K_1 и L1L_1 касания вписанной сферы ω\omega тетраэдра с гранями ACDACD и BCDBCD соответственно, а также точки K2K_2 и L2L_2 касания сфер ωB\omega_B и ωA\omega_A с этими гранями. Сферы ω\omega и ωA\omega_A гомотетичны с центром в точке AA, поэтому точка K1K_1 лежит на отрезке AKAK. Аналогично, точка L1L_1 лежит на отрезке BLBL.

Покажем, что точки L1L_1 и L2L_2 изогонально сопряжены относительно треугольника BCDBCD, то есть BCL1=DCL2\angle BCL_1 = \angle DCL_2, DBL1=CBL2\angle DBL_1 = \angle CBL_2 и CDL1=BDL2\angle CDL_1 = \angle BDL_2. Докажем первое из этих равенств; остальные два доказываются аналогично. Обозначим через M1M_1 и MM точки касания плоскости ABCABC со сферами ω\omega и ωA\omega_A соответственно (см. рис. 20). Из равенства отрезков касательных, проведённых из одной точки к сфере, следует, что следующие пары треугольников равны по трём сторонам: ΔCK1D=ΔCL1D\Delta CK_1D = \Delta CL_1D, ΔAK1C=ΔAM1C\Delta AK_1C = \Delta AM_1C, ΔBL1C=ΔBM1C\Delta BL_1C = \Delta BM_1C, CL2D=CKD\angle CL_2D = \angle CKD, BL2C=BMC\angle BL_2C = \angle BMC, AKC=AMC\angle AKC = \angle AMC. Значит, BCL1+BCL2=BCM1+BCM=ACMACM1=ACKAKC1=DCK1+DCK=DCL1+DCL2\angle BCL_1 + \angle BCL_2 = \angle BCM_1 + \angle BCM = \angle ACM - \angle ACM_1 = \angle ACK - \angle AKC_1 = \angle DCK_1 + \angle DCK = \angle DCL_1 + \angle DCL_2, откуда следует требуемое равенство BCL1=DCL2\angle BCL_1 = \angle DCL_2.

Используя условие задачи и доказанную изогональную сопряжённость точек L1L_1 и L2L_2, получаем, что CXD=CKD\angle CXD = \angle CKD - CBD=CL2DCBD=BCL2+BDL2=DCL1+CDL1=180CL1D=180CK1D\angle CBD = \angle CL_2D - \angle CBD = \angle BCL_2 + \angle BDL_2 = \angle DCL_1 + \angle CDL_1 = 180^\circ - \angle CL_1D = 180^\circ - \angle CK_1D. Следовательно, четырёхугольник CK1DXCK_1DX вписанный. Аналогично устанавливается вписанность четырёхугольника CL1DYCL_1DY.

Обозначим через N1N_1 точку касания сферы ω\omega и грани ABDABD. Из равенства треугольников AK1C=AM1C\triangle AK_1C = \triangle AM_1C и равенства аналогичных пар треугольников, примыкающих к пяти остальным рёбрам тетраэдра ABCDABCD, получаем (см. рис. 21), что 2AK1C=AK1C+AM1C=(360AK1DCK1D)+(360AM1BBM1C)=360AN1DCL1D+360AN1BBL1C=BL1D+BN1D=2BL1D2\angle AK_1C = \angle AK_1C + \angle AM_1C = (360^\circ - \angle AK_1D - \angle CK_1D) + (360^\circ - \angle AM_1B - \angle BM_1C) = 360^\circ - \angle AN_1D - \angle CL_1D + 360^\circ - \angle AN_1B - \angle BL_1C = \angle BL_1D + \angle BN_1D = 2\angle BL_1D. Так как точки K1K_1 и L1L_1 лежат на отрезках AXAX и BYBY соответственно, отсюда следует, что CK1X=DL1Y\angle CK_1X = \angle DL_1Y.

Повернём плоскость BCDBCD вокруг прямой CDCD так, чтобы она совместилась с плоскостью ACDACD и при этом треугольник CL1DCL_1D совместился с равным ему треугольником CK1DCK_1D. При этом повороте окружность, описанная около четырёхугольника CL1DYCL_1DY, перейдёт в окружность γ\gamma, описанную около четырёхугольника CK1DXCK_1DX. В частности, точка YY перейдёт в некоторую точку YY' на окружности γ\gamma. Из равенства углов CK1X=DL1Y=DK1Y\angle CK_1X = \angle DL_1Y = \angle DK_1Y' следует, что точки XX и YY' симметричны относительно диаметра окружности γ\gamma, перпендикулярного хорде CDCD. Следовательно, точки XX и YY', а значит, и точки XX и YY равноудалены от середины отрезка CDCD.

Figure 1

Figure 2

Figure 3

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: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.