propriété de Matiyasevich de la fonction carré

Une propriété des sécantes à la courbe de la fonction carré

Déplacer A et B et observer