# Holditch's theorem

- Author:
- Thijs

Holditch's theorem
See also the worksheet of Georg Wengler who used an ellipse.
I used an arbitrary polar function to define a convex closed curve:
R(φ)=0.9 + 0.1cos(2φ) + 0.02 (cos(3φ) - sin(5φ))
You can't intersect a parametric curve with a circle as Wengler did with his ellips.
The distance of two points on convex closed curve must be equal to the length of the chord
So: Qφ(x)=(cos(φ+x)*R(φ+x)-cos(φ)*R(φ))² + (sin(φ+x)*R(φ+x) - sin(φ)*R(φ))² - (r+s)² = 0
I used the CAS Root function to find the chord: δ:=x(Root[Qφ, 0,pi])
As far as I know you can't draw a locus of this solution in GeoGebra.
So I used a trace to draw the enclosed area.
Is there a better way to do this in GeoGebra? I really do not know.