Maths Olympiad Prep

Library / /22 of 30

Geometry Difficulty 6.5 National Olympiad Prove it Italy

Problem:

Let ABCDABCD be a convex quadrilateral such that AB=AC=ADAB = AC = AD and BC<CDBC < CD. The bisector of angle BAD^\widehat{BAD} intersects CDCD internally at MM and the extension of BCBC at NN. Prove that

a. the quadrilateral ABCMABCM is inscribable in a circle;

b. the triangles ANBANB and ABMABM are similar.

Solution

Solution:

Let Γ\Gamma be the circle centered at AA and passing through B,C,DB, C, D. Let PP also be any point on the arc BDBD not containing CC. Since the inscribed angle BPD^\widehat{BPD} subtends the same arc as the central angle BAD^\widehat{BAD}, we have BAD^=2BPD^\widehat{BAD} = 2 \cdot \widehat{BPD}; on the other hand, BAD^=2BAM^\widehat{BAD} = 2 \cdot \widehat{BAM} by construction, so BPD^=BAM^\widehat{BPD} = \widehat{BAM}. Moreover, the angles BPD^\widehat{BPD} and BCD^\widehat{BCD} subtend the same arc, but from opposite sides: they are therefore supplementary. It follows that the angles BAM^\widehat{BAM} and BCM^\widehat{BCM} are supplementary, that is, that the quadrilateral AMBCAMBC can be inscribed in a circle, which we shall call γ\gamma.

The quadrilateral AMCBAMCB is inscribable in a circle if and only if BAM^+BCM^=180\widehat{BAM} + \widehat{BCM} = 180^\circ, that is, if and only if 2BAM^+2BCM^=3602 \cdot \widehat{BAM} + 2 \cdot \widehat{BCM} = 360^\circ. Now, 2BAM^=BAD^2 \cdot \widehat{BAM} = \widehat{BAD} by construction; on the other hand, BCD^=BCA^+ACD^=CBA^+CDA^\widehat{BCD} = \widehat{BCA} + \widehat{ACD} = \widehat{CBA} + \widehat{CDA}. The claim is therefore equivalent to BAD^+BCD^+CBA^+CDA^=360\widehat{BAD} + \widehat{BCD} + \widehat{CBA} + \widehat{CDA} = 360^\circ, which is true since the sum contains precisely the interior angles of the quadrilateral ABCDABCD.

b.
BMA^=BCA^\widehat{BMA} = \widehat{BCA} since they both subtend the arc ABAB of γ\gamma. Moreover BCA^=CBA^\widehat{BCA} = \widehat{CBA} since they are the base angles of triangle ABCABC, which is isosceles by hypothesis. The triangles ABMABM and ANBANB therefore have BMA^=NBA^\widehat{BMA} = \widehat{NBA} by what has just been proven, and the angle at A^\widehat{A} in common, so they are similar by the second similarity criterion.

Figure 1

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 translated into English from it; metadata (topic, difficulty) added by this project.