Maths Olympiad Prep

Library / /45 of 61

Geometry Difficulty 7.1 National Olympiad, round 2 Prove it Canada

Problem:
Let A,B,C,DA, B, C, D be four points on a circle (occurring in clockwise order), with AB<ADA B < A D and BC>CDB C > C D. Let the bisector of angle BADB A D meet the circle at XX and the bisector of angle BCDB C D meet the circle at YY. Consider the hexagon formed by these six points on the circle. If four of the six sides of the hexagon have equal length, prove that BDB D must be a diameter of the circle.
Figure 1

Solutions — 2

Solution 1

Solution:
We're given that AB<ADA B < A D. Since CYC Y bisects BCD\measuredangle B C D, BY=YDB Y = Y D, so YY lies between DD and AA on the circle, as in the diagram above, and DY>YAD Y > Y A, DY>ABD Y > A B. Similar reasoning confirms that XX lies between BB and CC and BX>XCB X > X C, BX>CDB X > C D. So if ABXCDYA B X C D Y has 4 equal sides, then it must be that YA=AB=XC=CDY A = A B = X C = C D.
Let BAX=DAX=α\measuredangle B A X = \measuredangle D A X = \alpha and let BCY=DCY=γ\measuredangle B C Y = \measuredangle D C Y = \gamma. Since ABCDA B C D is cyclic, A+C=180\measuredangle A + \measuredangle C = 180^{\circ}, which implies that α+γ=90\alpha + \gamma = 90^{\circ}. The fact that YA=AB=XC=CDY A = A B = X C = C D means that the arc from YY to BB (which is subtended by YCB\measuredangle Y C B) is equal to the arc from XX to DD (which is subtended by XAD\measuredangle X A D). Hence YCB=XAD\measuredangle Y C B = \measuredangle X A D, so α=γ=45\alpha = \gamma = 45^{\circ}. Finally, BDB D is subtended by BAD=2α=90\measuredangle B A D = 2 \alpha = 90^{\circ}. Therefore BDB D is a diameter of the circle.

Solution 2

Solution:
We're given that AB<ADA B < A D. Since CYC Y bisects BCD\measuredangle B C D, BY=YDB Y = Y D, so YY lies between DD and AA on the circle, as in the diagram above, and DY>YAD Y > Y A, DY>ABD Y > A B. Similar reasoning confirms that XX lies between BB and CC and BX>XCB X > X C, BX>CDB X > C D. So if ABXCDYA B X C D Y has 4 equal sides, then it must be that YA=AB=XC=CDY A = A B = X C = C D. This implies that the arc from YY to BB is equal to the arc from XX to DD and hence that YB=XDY B = X D. Since BAX=XAD\measuredangle B A X = \measuredangle X A D, BX=XDB X = X D and since DCY=YCB\measuredangle D C Y = \measuredangle Y C B, DY=YBD Y = Y B. Therefore BXDYB X D Y is a square and its diagonal, BDB D, must be a diameter of the circle.

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.