Maths Olympiad Prep

Library / /3 of 39

Geometry Difficulty 5.3 AIME, harder Prove it Romania

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

Cătălin Barbu

Figure 1

Solution

BC(ABB)BC \perp (ABB') and AB(ABB)AB' \subset (ABB') yields ABBCAB' \perp BC. Since ABABAB' \perp A'B (diagonals of the square ABBAABB'A'), we get AB(ABC)AB' \perp (A'BC). Because AM(ABC)A'M \subset (A'BC), it follows that AMABA'M \perp AB'. (1)

Let E(AD)E \in (AD) be such that AE=BMAE = BM. Then ABMEABME is a rectangle, so ABMEAB \parallel ME. Because AB(ADA)AB \perp (ADA') and AN(ADA)AN \subset (ADA'), it follows that ANMEAN \perp ME. (2)

From AAEADN\triangle A'AE \equiv \triangle ADN (L.L.) one gets DAN=AAE\angle DAN = \angle AA'E, whence AAE+AAN=DAN+AAN=90\angle AA'E + \angle A'AN = \angle DAN + \angle A'AN = 90^\circ. Thus, ANAEAN \perp A'E. Using now relation (2) we get AN(AEM)AN \perp (A'EM), so ANAMAN \perp A'M. Taking into account this last relation and (1), we conclude that AM(ABN)A'M \perp (AB'N).

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.