Maths Olympiad Prep

Library / /75 of 152

Geometry Difficulty 6.3 National Olympiad Prove it Russia

A plane α\alpha intersects the edges ABAB, BCBC, CDCD, and DADA of a triangular pyramid ABCDABCD at points KK, LL, MM, and NN, respectively. It appears that the dihedral angles (KLA,KLM)\angle(KLA, KLM), (LMB,LMN)\angle(LMB, LMN), (MNC,MNK)\angle(MNC, MNK), and (NKD,NKL)\angle(NKD, NKL) are equal. Prove that the projections of the vertices AA, BB, CC, and DD onto the plane α\alpha are concyclic. (By (PQR,PQS)\angle(PQR, PQS) we denote the dihedral angle of a tetrahedron PQRSPQRS at the edge PQPQ.)

Solution

Обозначим через A,B,C,DA', B', C', D' проекции вершин A,B,C,DA, B, C, D соответственно на плоскость α\alpha. Пусть XX — произвольная точка на продолжении отрезка KLKL за точку KK. Тогда имеем (KXA,KXN)=(KLA,KLM)\angle(KXA, KXN) = \angle(KLA, KLM) и (KNA,KNX)=(NKD,NKL)\angle(KNA, KNX) = \angle(NKD, NKL). По условию, эти углы равны; значит, в трехгранном угле KANXKANX (с вершиной KK) двугранные углы при ребрах KNKN и KXKX равны между собой. Это означает, что плоскость, проходящая через прямую KAKA и перпендикулярная плоскости α\alpha, — это плоскость симметрии трехгранного угла (KAN,KXN)\angle(KAN, KXN). Поэтому точка AA' лежит на прямой, содержащей биссектрису угла XKNXKN, то есть на внешней биссектрисе угла NKLNKL.

Figure 1

Аналогично показывается, что AA' лежит на внешней биссектрисе угла MNKMNK. Применяя такие же рассуждения для точек B,C,DB', C', D', получаем, что точки A,B,C,DA', B', C', D' — пересечения внешних биссектрис соседних углов четырехугольника KLMNKLMN.

Из треугольника AKNA'KN находим BAD=KAN=180AKNANK=(90AKN)+(90ANK)=12(NKL+MNK)\angle B'A'D' = \angle KA'N = 180^\circ - \angle A'KN - \angle A'NK = (90^\circ - \angle A'KN) + (90^\circ - \angle A'NK) = \frac{1}{2}(\angle NKL + \angle MNK). Аналогично получаем, что BCD=12(KLM+LMN)\angle B'C'D' = \frac{1}{2}(\angle KLM + \angle LMN). Таким образом, BAD+BCD=12(NKL+MNK+KLM+LMN)=180\angle B'A'D' + \angle B'C'D' = \frac{1}{2}(\angle NKL + \angle MNK + \angle KLM + \angle LMN) = 180^\circ, откуда и следует, что четырехугольник ABCDA'B'C'D' — вписанный.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.