Congratulations to Peter Conlon, age 15, from Worth School in Sussex.
This is Peter's solution.
Given five juxtaposing cyclic quadrilaterals (C.Q.), prove that the
resulting quadrilateral, EFGH in this case, is also a C.Q.
Taken for granted: In a C.Q., opposite angles add up to 180o
Let ∠DEF be xo, ∠FGB be yo and ∠HED be z0
Because CDEF is a C.Q, DCF = 180o−xo
Because CBFG is a C.Q, BCF = 180o−yo
Therefore ∠DCB = (x+y)o (360o in a circle)
Because ABCD is a C.Q, DAB = 180o− (x+y)o
Because AHED is a C.Q, DAH = 180o−zo
Therefore HAB = zo+(x+y)o=(z+x)o+yo (360o in a circle)
Because ABGH is a C.Q, BGH = 180o−(z+x)o−yo
Therefore HGF = 180o−(z+x)o−yo+yo=180o−(z+x)o
But HEF=(z+x)o, and HEF is the opposite angle to HGF, and HEF+HGF=180o
Therefore EFGH is a C.Q.