The overall objective of our research programme can be summarised as follows: Develop geometry as a subject and as a powerful tool in theoretical mathematics focusing on the dichotomy of deformations ...

More simply, the angle at the centre is double the angle at the circumference. Angle OGK (\(x\)) = angle OKG because triangle GOK is also isosceles. Lengths OK and OG are also both radii.