**Theorem 1**: If the perpendicular bisectors of the alternate sides *AB*, *CD* & *EF* of a (convex) hexagon *ABCDEF* circumscribed around a circle are concurrent at the centre of the circle, then the lines *PY*, *XR* & *QZ* connecting opposite tangential points are concurrent.

**Theorem 2 (dual)**: If the angle bisectors of the alternate angles *B*, *D* & *F* of a (convex) hexagon *ABCDEF* inscribed in a circle are concurrent at the centre of the circle, then the lines *AD*, *BE* & *CF* connecting opposite vertices are concurrent.

**Corollary 1**: If the perpendicular bisectors of the alternate sides *AB*, *CD* & *EF* of a (convex) hexagon *ABCDEF* circumscribed around a circle are concurrent at the centre of the circle, then it has 3 pairs of equal adjacent angles (e.g. angle *A* = angle *B*, angle *C* = angle *D* , and angle *E* = angle *F*).

**Corollary 2**: If the angle bisectors of the alternate angles *B*, *D* & *F* of a (convex) hexagon *ABCDEF* inscribed in a circle are concurrent at the centre of the circle, then it has 3 pairs of equal adjacent sides (e.g. *EF* = *FA*, *AB* = *BC*, and *CD* = *DF*).

A 1999 British Mathematics Olympiad Problem and its dual

**Challenge**: Can you explain why (prove) the results are true? If stuck, have a look at my 2002 *Math Gazette* paper at *A dual to a BMO problem*.

**Further Result**: Clicking on the '*Show Diagonals*' button, reveals another interesting corollary of the 1st result, namely, that the main diagonals are concurrent at the same point of concurrency as the lines *PY*, *XR* & *QZ*. In general, according to Brianchon's theorem the diagonals of any hexagon circumscribed around a conic are concurrent. So in this case, we have that the lines *PY*, *XR* & *QZ* are concurrent at the Brianchon point.

**Further Result Challenge**: Can you explain why (prove) the BMO-Brianchon result above is also true? If stuck, have a look at the neat 2005 proof of my friend & colleague, Michael Fox, from the United Kingdom at *BMO-Brianchon Concurrency problem*. An accompanying dynamic sketch that
illustrates the proof is at *dynamic proof illustration*.

**Further Generalizations**

1) The first result can be generalized to a hexagon circumscribed around a conic with the midpoints of the alternate sides *AB*, *CD* & *EF* of a (convex) hexagon *ABCDEF* touching the conic. For a dynamic sketch illustrating this generalization go to *BMO Conic General problem.*

2) Corollary 2 of the second result can be generalized to a cyclic hexagon with concurrent diagonals, which then has its two products of alternate sides equal, as shown at *BMO 'Dual' General problem*.

Copyright © 2019 KCP Technologies, a McGraw-Hill Education Company. All rights reserved.

Release: 2020Q2, Semantic Version: 4.6.2, Build Number: 1047, Build Stamp: 139b185f240a/20200428221100

*Back
to "Dynamic Geometry Sketches"*

*Back
to "Student Explorations"*

Created by Michael de Villiers, 30 October 2010; updated to *WebSketchpad* 6 May 2021.