Maths Olympiad Prep

Library / /46 of 61

Geometry Difficulty 6.2 National olympiad Prove it Ukraine

A point MM lies inside a cube ABCDA1B1C1D1ABCD-A_1B_1C_1D_1. Points A,B,C,D,A1,B1,C1A', B', C', D', A'_1, B'_1, C'_1 and D1D'_1 belong to the half-lines MA,MB,MC,MD,MA1,MB1,MC1MA, MB, MC, MD, MA_1, MB_1, MC_1 and MD1MD_1 respectively. Prove that if the polyhedron ABCDA1B1C1D1A'B'C'D'A'_1B'_1C'_1D'_1 is a parallelepiped (i.e., all its faces are parallelograms), then in fact it is a cube.

Solution

Доведемо спочатку, що якщо основою чотирикутної піраміди SABCDSABCD є квадрат ABCDABCD, і точки A0,B0,C0,D0A_0, B_0, C_0, D_0 належать променям SA,SB,SC,SDSA, SB, SC, SD відповідно, причому A0B0C0D0A_0B_0C_0D_0 є паралелограмом, то A0B0C0D0A_0B_0C_0D_0 — квадрат. Нехай l=(SCD)(SAB)l = (SCD) \cap (SAB) і m=(SAD)(SBC)m = (SAD) \cap (SBC). За відомою лемою про три паралельні, CDBAlCD \parallel BA \parallel l, BCADmBC \parallel AD \parallel m, C0D0B0A0lC_0D_0 \parallel B_0A_0 \parallel l, B0C0,A0D0mB_0C_0, A_0D_0 \parallel m. Отже, (ABCD)(A0B0C0D0)(ABCD) \parallel (A_0B_0C_0D_0), а тому, як легко зрозуміти (наприклад, з міркувань перетворення гомотетії), A0B0C0D0A_0B_0C_0D_0 — квадрат. З цього допоміжного твердження випливає, що всі грані нашого паралелепіпеда — квадрати. Таким чином, цей паралелепіпед ABCDA1B1C1D1A'B'C'D'A'_1B'_1C'_1D'_1 насправді є кубом.

Наведемо й один з можливих векторних способів розв'язування цієї задачі. Нехай MABCDMABCD — чотиригранний кут з вершиною MM і неколінеарними ребрами MA,MB,MCMA, MB, MC і MDMD. Досить показати, що якщо два його перерізи A1B1C1D1A_1B_1C_1D_1 і A2B2C2D2A_2B_2C_2D_2 (A1,A2MAA_1, A_2 \in MA, B1,B2MBB_1, B_2 \in MB, C1,C2MCC_1, C_2 \in MC, D1,D2MDD_1, D_2 \in MD) є паралелограмами, то ці паралелограми подібні. Розглянемо в просторі гомотетію з центром у точці MM і коефіцієнтом k=MA1/MA2k = MA_1/MA_2. Нехай образом паралелограма A2B2C2D2A_2B_2C_2D_2 при такій гомотетії буде паралелограм A1B3C3D3A_1B_3C_3D_3. Доведемо, що B1=B3B_1 = B_3, C1=C3C_1 = C_3, D1=D3D_1 = D_3. Оскільки A1B3=D3C3A_1B_3 = D_3C_3, то MA1=MB3MC3+MD3MA_1 = MB_3 - MC_3 + MD_3. Нехай u,v,wu, v, w — напрямні орти променів MB,MC,MDMB, MC, MD відповідно. Тоді для деяких дійсних чисел x,yx, y і zz MB3=xuMB_3 = x \cdot u, MC3=yvMC_3 = y \cdot v, MD3=zwMD_3 = z \cdot w, звідки MA1=xuyv+zwMA_1 = x \cdot u - y \cdot v + z \cdot w. Оскільки A1B1=D1C1A_1B_1 = D_1C_1, то MA1=MB1MC1+MD1MA_1 = MB_1 - MC_1 + MD_1, а тому існують такі x0,y0x_0, y_0 і z0z_0, що MB1=x0uMB_1 = x_0 \cdot u, MC1=y0vMC_1 = y_0 \cdot v, MD1=z0wMD_1 = z_0 \cdot w, MA1=x0uy0v+z0wMA_1 = x_0 \cdot u - y_0 \cdot v + z_0 \cdot w. Враховуючи, що трійка векторів u,v,wu, v, w утворює базис у просторі, дістаємо, що x=x0x = x_0, y=y0y = y_0, z=z0z = z_0.

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.