The key key-fact is that some other pentagons, e.g. D*B'CD'B* are cylic. This follows from another theorem of Miquel on four intersecting lines ( look at Miquel_Point.html ). This enables to show that A'B'D'E' is cyclic. Then by repeating the argument one shows that A'E'D'C' is cyclic too.

Produced with EucliDraw© |