Maths Olympiad Prep

Library / Romanian Mathematical Olympiad /75 of 275

Romanian Mathematical Olympiad

Geometry Difficulty 5.3 AIME, harder Prove it Romania

Let ABCDA′B′C′D′ABCD A'B'C'D' be a cube. On the segments BCBC and DD′DD' we take the points MM and NN respectively, such that BM=DNBM = DN. Prove that line A′MA'M is perpendicular to plane (AB′N)(AB'N).

Cătălin Barbu

Figure 1

Solution

BC⊥(ABB′)BC \perp (ABB') and AB′⊂(ABB′)AB' \subset (ABB') yields AB′⊥BCAB' \perp BC. Since AB′⊥A′BAB' \perp A'B (diagonals of the square ABB′A′ABB'A'), we get AB′⊥(A′BC)AB' \perp (A'BC). Because A′M⊂(A′BC)A'M \subset (A'BC), it follows that A′M⊥AB′A'M \perp AB'. (1)

Let E∈(AD)E \in (AD) be such that AE=BMAE = BM. Then ABMEABME is a rectangle, so AB∥MEAB \parallel ME. Because AB⊥(ADA′)AB \perp (ADA') and AN⊂(ADA′)AN \subset (ADA'), it follows that AN⊥MEAN \perp ME. (2)

From △A′AE≡△ADN\triangle A'AE \equiv \triangle ADN (L.L.) one gets ∠DAN=∠AA′E\angle DAN = \angle AA'E, whence ∠AA′E+∠A′AN=∠DAN+∠A′AN=90∘\angle AA'E + \angle A'AN = \angle DAN + \angle A'AN = 90^\circ. Thus, AN⊥A′EAN \perp A'E. Using now relation (2) we get AN⊥(A′EM)AN \perp (A'EM), so AN⊥A′MAN \perp A'M. Taking into account this last relation and (1), we conclude that A′M⊥(AB′N)A'M \perp (AB'N).

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

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.