Maths Olympiad Prep

Library / Romanian Mathematical Olympiad /178 of 275

Romanian Mathematical Olympiad

Geometry Difficulty 6.1 National Olympiad Prove it Romania

Triangle ABCABC has ∠A=90∘\angle A = 90^\circ, ∠B=30∘\angle B = 30^\circ, and DD is the foot of the altitude from AA. Let E∈(AD)E \in (AD) be such that DE=3AEDE = 3AE and let FF be the foot of perpendicular from DD on BEBE.

a) Prove that AF⊥FCAF \perp FC.

b) Find the measure of the angle AFBAFB.

Solution

a) The hypothesis gives AC=12BCAC = \frac{1}{2}BC and CD=12ACCD = \frac{1}{2}AC, hence CD=14BCCD = \frac{1}{4}BC.
From △BDE∼△DFE\triangle BDE \sim \triangle DFE follows BDDF=DEFE\frac{BD}{DF} = \frac{DE}{FE}, that is DEBD=EFFD\frac{DE}{BD} = \frac{EF}{FD}. Now DCDB=13=AEDE\frac{DC}{DB} = \frac{1}{3} = \frac{AE}{DE} yields DEBD=AEDC\frac{DE}{BD} = \frac{AE}{DC}, so AECD=EFDF\frac{AE}{CD} = \frac{EF}{DF}.
Now AEF^=180∘−DEF^=180∘−(90∘−ADF^)=90∘+ADF^=FDC^\widehat{AEF} = 180^\circ - \widehat{DEF} = 180^\circ - (90^\circ - \widehat{ADF}) = 90^\circ + \widehat{ADF} = \widehat{FDC}.
Therefore △AEF∼△CDF\triangle AEF \sim \triangle CDF (SAS), whence AFE^≡CFD^\widehat{AFE} \equiv \widehat{CFD}. This leads to AFC^=\widehat{AFC} =
AFE^+EFC^=CFD^+EFC^=EFD^=90∘\widehat{AFE} + \widehat{EFC} = \widehat{CFD} + \widehat{EFC} = \widehat{EFD} = 90^\circ, hence AF⊥FCAF \perp FC.

Figure 1

b) Since AFC^=90∘=ADC^\widehat{AFC} = 90^\circ = \widehat{ADC}, the quadrilateral AFDCAFDC is cyclic, therefore DFC^=DAC^=30∘\widehat{DFC} = \widehat{DAC} = 30^\circ. Then AFB^=360∘−BFD^−DFC^−CFA^=150∘\widehat{AFB} = 360^\circ - \widehat{BFD} - \widehat{DFC} - \widehat{CFA} = 150^\circ.

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.