Podría llegar a demostrarlo, mediante el método que hice anteriormente y suponiendo una semicircunferencia de radio R \( Y = \sqrt[ ]{R^2-x^2} \)(unos puntos \( K(R,0) ; K'(-R,0) \) y unos puntos \( A(\frac{R}{2},\frac{R\sqrt[ ]{3}}{2}) A'(-\frac{R}{2},\frac{R\sqrt[ ]{3}}{2}) \) de donde se puede observar el triángulo rectángulo \( \hat{O,A,X_a} \) de hipotenusa R \( d(O,A) \) y de cateto menor \( \frac{R}{2} \) \( d(O,X_a) \)
Este triángulo rectángulo \( \hat{O,A,X_a} \) sería la mitad de triángulo equilátero \( \hat{O,A,K} \) por lo que el ángulo A (60º) ahora es A/2 (30º) y por trigonometría:
\( \cos(A/2) = \frac{\sqrt[ ]{3}}{2} = \frac{\frac{R\sqrt[ ]{3}}{2}}{R} \)
lo que pasa es que estaría limitada por mi primera suposición (un lado paralelo al eje OX, pero teniendo en cuenta que si trazamos un diámetro del hexágono inscrito, siempre habrá un lado paralelo a él) entonces yo creo que mi demostración está bien, aunque no sé si las operaciones que he hecho tendrían validez de demostración.