Siegel identity explained

In mathematics, Siegel's identity refers to one of two formulae that are used in the resolution of Diophantine equations.

Statement

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.

Application

The identities are used in translating Diophantine problems connected with integral points on hyperelliptic curves into S-unit equations.

See also

References

. 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 .