On va d'abord montrer que pour 2 cercles Ca et Cb de même rayon R, de centres Oa et Ob, et sécants en 2 points M1 et M2, on a →OaM1 = →M2OB
Tout d'abord, Oa (tout comme Ob) est sur la médiatrice de [M1M2], puisque OaM1=OaM2=ObM1=ObM2=R
Donc le quadrilatère OaM1ObM2 a d'une part 4 côtés égaux, et d'autre part des diagonales qui se coupent en angles droits, c'est donc un losange et de ce fait →OaM1=→M2OB
On construit un premier cercle C1 de centre O1, et on place un point A sur ce cercle.
On construit ensuite un cercle C2 de centre O2 qui coupe C1 en A et en un autre point B, →O1A=→BO2
On construit ensuite un cercle C3 de centre O3 qui coupe C1 et C2 en B et C2 en un autre point D, →BO2=→O3D
On construit ensuite un cercle C4 de centre O4 qui coupe C2 et C3 en D, C3 en un autre point E, et enfin qui coupe C1 en F →O3D=→EO4
On construit enfin un cercle C5 de centre O5 qui passe par E et F. Il coupe C1 une seconde fois en G.
Il coupe donc C3 en E, C4 en E et F, et C1 en F et G. →EO4=→O5F d'une part et →O5F=→GO1 d'autre part.
Au final, →O1A=→GO1 donc [AG] est un diamètre de C1
