Cherchez le quadrilatère cyclique: What is this about?
A Mathematical Droodle
| |
|
Explanation
Copyright © 1996-2009 Alexander Bogomolny
The applet is supposed to illustrate the following problem:
| |
Let ABCD be a cyclic quadrilateral. At A and D construct equal angles BAE and CDF in directions opposite relative to BC. Let E and F lie on BC. Then quadrilateral AEFD is cyclic, ∠EAF = ∠EDF and, in particular, ∠CAF = ∠BDE.
|
In a slightly different form the problem appeared in [Andreescu & Gelca, p. 9, problem 1.2.7]:
| |
Points B and C are given on the side BC of a convex quadrilateral AEFD (with B closer to E than to F.) It is known that ∠BAC = ∠BDC and ∠BAE = ∠CDF. Prove that ∠CAF = ∠BDE.
|
The conclusion is valid even when points B and C coalesce whereas line BC is replaced by the tangent to the circle. With this in mind, the problem appears to generalize the one of an accidental angle bisector. Also, in this formulation, the requirement of convexity is quite spurious.
| |
|
Suffice it to show that ∠ADF + ∠AEF = 180o. This is so because
| |
| ∠ADF + ∠AEF | = (∠ADC + ∠CDF) + (∠ABF - ∠BAE) |
| | = (∠ADC + ∠ABC) + (∠CDF - ∠BAE) |
| | = ∠ADC + ∠ABC |
| | = 180o. |
|
References
- T. Andreescu, R. Gelca, Mathematical Olympiad Challenges, Birkhäuser, 2004.
Copyright © 1996-2009 Alexander Bogomolny
|