Dadas una circunferencia [b][color=#0000ff]Γ[/color][/b] con centro [b][color=#0000ff]O[/color][/b] y radio [color=#93c47d][b]r[/b][/color], un diámetro fijo [b][color=#0000ff]AB[/color][/b], y un punto fijo [b][color=#ff00ff]K[/color][/b] del diámetro [b][color=#0000ff]AB[/color][/b], sea [b][color=#0000ff]t[/color][/b] la recta tangente a [b][color=#0000ff]Γ[/color][/b] en [b][color=#0000ff]A[/color][/b]. Para cualquier cuerda [color=#ff00ff][b]CD[/b][/color] (distinta de [b][color=#0000ff]AB[/color][/b]) que pase por [b][color=#ff00ff]K[/color][/b], sean [b][color=#ff0000]P[/color][/b] y [color=#ff0000][b]Q[/b][/color] los puntos de interseccion de las rectas [b][color=#0000ff]BC[/color][/b] y [b][color=#0000ff]BD[/color][/b] con la tangente [b][color=#0000ff]t[/color][/b]. Probar que [b][color=#ff0000]AP·AQ[/color][/b] es constante.

Pueden modificarse el radio y la posición del punto [b][color=#ff00ff]K[/color][/b] con los deslizadores correspondientes del panel izquierdo. El punto [b][color=#0000ff]C[/color][/b] puede moverse directamente o animarlo con el control de marcha/paro situado en la esquina inferior izquierda.