In mathematics, Siegel's identity refers to one of two formulae that are used in the resolution of Diophantine equations.
The first formula is
x3-x1 | |
x2-x1 |
+
x2-x3 | |
x2-x1 |
=1.
The second is
x3-x1 | ⋅ | |
x2-x1 |
t-x2 | |
t-x3 |
+
x2-x3 | |
x2-x1 |
⋅
t-x1 | |
t-x3 |
=1.
The identities are used in translating Diophantine problems connected with integral points on hyperelliptic curves into S-unit equations.
. Alan Baker (mathematician) . Transcendental Number Theory . . 1975 . 0-521-20461-5 . 0297.10013 . 40 .
. Serge Lang . Elliptic Curves: Diophantine Analysis . 231 . Grundlehren der mathematischen Wissenschaften . . 1978 . 0-387-08489-4 .
. The Algorithmic Resolution of Diophantine Equations . 41 . London Mathematical Society Student Texts . Nigel Smart (cryptographer) . . 1998 . 0-521-64633-2 . 36–37 .