Let ABCD be a quadrilateral; call E the intersection (distinct from A) between the circles of diameters AB and AC, and F the intersection (again distinct from A) between the circles of diameters AC and AD. Prove that:
a. if EAD=90∘ then BC is parallel to AD
b. if EAD=FAB=90∘ then ABCD is a parallelogram
c. if ABCD is a parallelogram then EAD=FAB=90∘.
Solution
Solution:
a. Let M,N be the midpoints of AB and AC respectively; being the common chord of the two circles of diameters AB and AC, AE is perpendicular to MN. If EAD=90∘, then AD and MN, being perpendicular to the same line (the one containing EA), are parallel; finally, by Thales' theorem, MN is parallel to BC and hence BC is parallel to AD.
b. Similarly to what was done in point (a), letting L be the midpoint of AD, we have that AF is perpendicular to NL and, if FAB=90∘, then AB is also perpendicular to AF and thus parallel to NL. Applying Thales' theorem as above, we obtain that AB is parallel to CD. Therefore, if EAD=FAB=90∘, we have that AB is parallel to CD and AD is parallel to BC, that is, ABCD is a parallelogram.
c. Conversely, if ABCD is a parallelogram, letting M,N,L be the midpoints of AB,AC,AD as above, we have that AD,BC,MN are parallel and hence all perpendicular to AE, the common chord of the circles of diameters AB and AC (and centers M and N); in the same way, AB,CD,NL are parallel and hence all perpendicular to AF, the common chord of the circles of diameters AC and AD (and centers N,L). Therefore EAD=FAB=90∘.
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.