Maths Olympiad Prep

Track / Stage 6 / 273 of 400 #1273 of 1964

Problem 1273

National Olympiad, first round
Geometry Difficulty 6.2 Prove it

As shown in Figure 15-8, in the spatial quadrilateral ABCDABCD, P,QP, Q are the midpoints of the diagonals AC,BDAC, BD respectively.
(1) If AB=CD,AD=BCAB=CD, AD=BC, then PQ⊥ACPQ \perp AC, PQ⊥BDPQ \perp BD;
(2) If PQ⊥AC,PQ⊥BDPQ \perp AC, PQ \perp BD, then AB=CDAB=CD, AD=BCAD=BC.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Prove (1) PQ→=PA→+AQ→=−12AC→+12(AB→+AD→)=12(AB→+AD→−\overrightarrow{P Q}=\overrightarrow{P A}+\overrightarrow{A Q}=-\frac{1}{2} \overrightarrow{A C}+\frac{1}{2}(\overrightarrow{A B}+\overrightarrow{A D})=\frac{1}{2}(\overrightarrow{A B}+\overrightarrow{A D}- AC→),AB=CD⇔AB2→=CD2→=(AD→−AC→)2=AD2→+AC2→−2AD→⋅AC→\overrightarrow{A C}), A B=C D \Leftrightarrow \overrightarrow{A B^{2}}=\overrightarrow{C D^{2}}=(\overrightarrow{A D}-\overrightarrow{A C})^{2}=\overrightarrow{A D^{2}}+\overrightarrow{A C^{2}}-2 \overrightarrow{A D} \cdot \overrightarrow{A C}, AD=BC⇔AD2→=BC2→=(AC→−AB→)2=AC2→+AB2→−2AC→⋅AB→A D=B C \Leftrightarrow \overrightarrow{A D^{2}}=\overrightarrow{B C^{2}}=(\overrightarrow{A C}-\overrightarrow{A B})^{2}=\overrightarrow{A C^{2}}+\overrightarrow{A B^{2}}-2 \overrightarrow{A C} \cdot \overrightarrow{A B}, so AB2→+AD2→=AD2→+AC2→−2AD→⋅AC→+AC2→+AB2→−2AC→⋅AB→\overrightarrow{A B^{2}}+\overrightarrow{A D^{2}}=\overrightarrow{A D^{2}}+\overrightarrow{A C^{2}}-2 \overrightarrow{A D} \cdot \overrightarrow{A C}+\overrightarrow{A C^{2}}+\overrightarrow{A B^{2}}-2 \overrightarrow{A C} \cdot \overrightarrow{A B}, i.e., AD→⋅AC→+AB→⋅AC→=AC2→\overrightarrow{A D} \cdot \overrightarrow{A C}+\overrightarrow{A B} \cdot \overrightarrow{A C}=\overrightarrow{A C^{2}}, so PQ→⋅AC→=12(AB→+AD→−AC→)⋅AC→=12(AB→⋅AC→+AD→⋅AC→−AC2→)=0⇒PQ→⊥AC→\overrightarrow{P Q} \cdot \overrightarrow{A C}=\frac{1}{2}(\overrightarrow{A B}+\overrightarrow{A D}-\overrightarrow{A C}) \cdot \overrightarrow{A C}=\frac{1}{2}(\overrightarrow{A B} \cdot \overrightarrow{A C}+\overrightarrow{A D} \cdot \overrightarrow{A C}-\overrightarrow{A C^{2}})=0 \Rightarrow \overrightarrow{P Q} \perp \overrightarrow{A C}. Similarly, we can prove PQ→⊥BD→\overrightarrow{P Q} \perp \overrightarrow{B D}.
(2) PQ⊥AC⇒PQ→⋅AC→=0⇒12(AB→+AD→−AC→)⋅AC→=0⇒AB→⋅AC→+AD→⋅AC→=AC2→,PQ⊥BD⇒PQ→⋅BD→=0⇒12(AB→+AD→−AC→)⋅(AD→−AB→)=0⇒AD2→=AB2→+AC→⋅AD→−AC→⋅AB→,CD2→=(AD→−AC→)2=P Q \perp A C \Rightarrow \overrightarrow{P Q} \cdot \overrightarrow{A C}=0 \Rightarrow \frac{1}{2}(\overrightarrow{A B}+\overrightarrow{A D}-\overrightarrow{A C}) \cdot \overrightarrow{A C}=0 \Rightarrow \overrightarrow{A B} \cdot \overrightarrow{A C}+\overrightarrow{A D} \cdot \overrightarrow{A C}=\overrightarrow{A C^{2}}, P Q \perp B D \Rightarrow \overrightarrow{P Q} \cdot \overrightarrow{B D}=0 \Rightarrow \frac{1}{2}(\overrightarrow{A B}+\overrightarrow{A D}-\overrightarrow{A C}) \cdot (\overrightarrow{A D}-\overrightarrow{A B})=0 \Rightarrow \overrightarrow{A D^{2}}=\overrightarrow{A B^{2}}+\overrightarrow{A C} \cdot \overrightarrow{A D}-\overrightarrow{A C} \cdot \overrightarrow{A B}, \overrightarrow{C D^{2}}=(\overrightarrow{A D}-\overrightarrow{A C})^{2}= AD2→+AC2→−2AD→⋅AC→=(AB→⋅AC→+AD→⋅AC→)+(AB2→+AC→⋅AD→−AC→⋅AB→)−2AD→⋅AC→=AB2→\overrightarrow{A D^{2}}+\overrightarrow{A C^{2}}-2 \overrightarrow{A D} \cdot \overrightarrow{A C}=(\overrightarrow{A B} \cdot \overrightarrow{A C}+\overrightarrow{A D} \cdot \overrightarrow{A C})+(\overrightarrow{A B^{2}}+\overrightarrow{A C} \cdot \overrightarrow{A D}-\overrightarrow{A C} \cdot \overrightarrow{A B})-2 \overrightarrow{A D} \cdot \overrightarrow{A C}=\overrightarrow{A B^{2}}, so CD=ABC D=A B. Similarly, we can prove AD=BCA D=B C.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.