More simply, the angle at the centre is double the angle at the circumference. Angle OGH (\(y\)) = angle OHG because triangle GOH is also isosceles. Lengths OH and OG are also both radii. Angle GOH = ...
https://doi.org/10.4169/college.math.j.44.1.047 https://www.jstor.org/stable/10.4169/college.math.j.44.1.047 Summary A visual proof of the tangent double angle ...