Es sei ein homogenes Polynom vom Grad in den Variablen , das eine elliptische Kurve definiere.
Die Differentialform
-
und die entsprechend gebildeten Formen. Im Nenner steht die partielle Ableitung nach der Variablen, die im Differential rechts nicht vorkommt, und im Zähler steht das Quadrat der Variablen im Differential rechts im Nenner. Das Vorzeichen ist bei hinten und positiv und bei negativ und dreht sich um, wenn man Zähler und Nenner vertauscht.
Wir behaupten, dass es sich stets um die gleiche Differentialform handelt. Wegen
-
kann man die Zähler und Nenner im Bruch vertauschen. In gilt
(unter Verwendung von
und
Aufgabe)
woraus sich
-
ergibt. Entsprechend gilt
-
und somit auch
-