Maths Olympiad Prep

Library / /98 of 264

Geometry Difficulty 5.4 AIME, harder Prove it Romania

The cube ABCDABCDABCD'A'B'C'D' has edges of length aa. Take the points E(AB)E \in (AB) and F(BC)F \in (BC) so that AE+CF=EFAE + CF = EF.
a) Find the measure of the angle of the planes (DDE)(D'DE) and (DDF)(D'DF).
b) Compute the distance from DD' to the straight line EFEF.

Figure 1

Solution

a) Extend the segment BABA with AHFCAH \equiv FC. Then DAHDCF\triangle DAH \equiv \triangle DCF (SAS), whence HDAFDC\overline{HDA} \equiv \overline{FDC}, so m(HDF)=90m(\overline{HDF}) = 90^\circ. Then [DH][DF][DH] \equiv [DF], leads to DHEDFE\triangle DHE \equiv \triangle DFE (SSS) and from here m(FDE)=m(HDE)=45m(\overline{FDE}) = m(\overline{HDE}) = 45^\circ. Since FDDDFD \perp DD' and EDDDED \perp DD', it follows that m((DDE),(DDF))=m(FDE)=45m((D'DE), (D'DF)) = m(\overline{FDE}) = 45^\circ.

b) Denote PP the orthogonal projection of the point DD onto EFEF. The Three Perpendiculars Theorem yields DPEFD'P \perp EF, hence d(D,EF)=DPd(D', EF) = D'P. The congruence ΔDHEΔDFE\Delta DHE \equiv \Delta DFE gives DP=AD=aDP = AD = a. Finally, from Pythagoras' Theorem, DP=a2D'P = a\sqrt{2}.

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.