Der Satz von Jacobi (nach C. Jacobi ) ist eine Aussage aus der additiven Zahlentheorie über die Anzahl der Darstellungen einer natürlichen Zahl als Summe von vier Quadraten.
Der Satz von Jacobi findet unter anderem Anwendung in der geometrischen Zahlentheorie , z. B. bei der Bestimmung der Anzahl von Gitterpunkten in einer
n
{\displaystyle n}
[1]
Für jede natürliche Zahl
n
{\displaystyle n}
r
4
(
n
)
{\displaystyle r_{4}(n)}
r
4
(
n
)
=
#
{
(
n
1
,
n
2
,
n
3
,
n
4
)
:
n
1
,
n
2
,
n
3
,
n
4
∈
Z
,
n
1
2
+
n
2
2
+
n
3
2
+
n
4
2
=
n
}
{\displaystyle r_{4}(n)=\#\{(n_{1},n_{2},n_{3},n_{4})\colon n_{1},n_{2},n_{3},n_{4}\in \mathbb {Z} ,\ n_{1}^{2}+n_{2}^{2}+n_{3}^{2}+n_{4}^{2}=n\}}
definiert. Dann ist
r
4
(
n
)
=
{
8
σ
(
n
)
,
4
∤
n
8
σ
(
n
)
−
32
σ
(
n
4
)
,
4
∣
n
,
{\displaystyle r_{4}(n)={\begin{cases}8\sigma (n),&4\nmid n\\8\sigma (n)-32\sigma \left({\frac {n}{4}}\right),&4\mid n,\end{cases}}}
wobei
σ
(
n
)
{\displaystyle \sigma (n)}
Teilerfunktion ist (d. h. die Summe aller Teiler von n einschl. n selbst).[1] [2]
Das lässt sich auch so ausdrücken:
r
4
(
n
)
=
{
8
∑
m
|
n
m
für
n
ungerade
24
∑
m
|
n
m
ungerade
m
für
n
gerade
{\displaystyle r_{4}(n)={\begin{cases}8\sum \limits _{m|n}m&{\text{für }}n{\text{ ungerade}}\\[12pt]24\sum \limits _{\begin{smallmatrix}m|n\\m{\text{ ungerade}}\!\!\!\!\!\!\!\!\!\!\!\!\end{smallmatrix}}m&{\text{für }}n{\text{ gerade}}\end{cases}}}
oder:
r
4
(
n
)
=
8
∑
d
∣
n
,
4
∤
d
d
{\displaystyle r_{4}(n)=8\sum _{d\mid n,4\nmid d}d}
(Summe über die Teiler von n, die nicht durch 4 teilbar sind).
Jacobi fand diesen Satz mit Hilfe der von ihm in seiner Theorie der elliptischen Funktionen eingeführten Thetafunktionen über die Identität
(
∑
n
=
−
∞
∞
q
n
2
)
4
=
∑
a
,
b
,
c
,
d
∈
Z
q
a
2
+
b
2
+
c
2
+
d
2
=
1
+
8
∑
m
=
1
∞
(
∑
f
∣
m
,
4
∤
f
f
)
q
m
{\displaystyle {\left(\sum _{n=-\infty }^{\infty }q^{n^{2}}\right)}^{4}=\sum _{a,b,c,d\in \mathbb {Z} }q^{a^{2}+b^{2}+c^{2}+d^{2}}=1+8\sum _{m=1}^{\infty }\left(\sum _{f\mid m,4\nmid f}f\right)q^{m}}
mit
q
=
e
2
π
i
z
{\displaystyle q=e^{2\pi iz}}
z
∈
H
=
{
z
∈
C
∣
ℑ
(
z
)
>
0
}
{\displaystyle z\in \mathbb {H} =\{z\in \mathbb {C} \mid \Im (z)>0\}}
Eisensteinreihe rechts sind beides Modulformen (zur Kongruenzuntergruppe
Γ
1
(
4
)
{\displaystyle \Gamma _{1}(4)}
k
=
2
{\displaystyle k=2}
[3]
Für
n
=
2
{\displaystyle n=2}
r
4
(
2
)
=
8
σ
(
2
)
=
8
⋅
(
1
+
2
)
=
24.
{\displaystyle r_{4}(2)=8\sigma (2)=8\cdot (1+2)=24.}
Es ist
2
=
0
2
+
0
2
+
1
2
+
1
2
=
0
2
+
0
2
+
1
2
+
(
−
1
)
2
=
0
2
+
0
2
+
(
−
1
)
2
+
(
−
1
)
2
.
{\displaystyle 2=0^{2}+0^{2}+1^{2}+1^{2}=0^{2}+0^{2}+1^{2}+(-1)^{2}=0^{2}+0^{2}+(-1)^{2}+(-1)^{2}.}
Multinomialkoeffizienten berechnet man die Anzahl der Permutationen der Tupel
(
0
,
0
,
1
,
1
)
,
(
0
,
0
,
1
,
−
1
)
{\displaystyle (0,0,1,1),(0,0,1,-1)}
(
0
,
0
,
−
1
,
−
1
)
{\displaystyle (0,0,-1,-1)}
(
0
,
0
,
1
,
1
)
{\displaystyle (0,0,1,1)}
4
!
2
!
⋅
2
!
=
6
{\displaystyle {\tfrac {4!}{2!\cdot 2!}}=6}
(
0
,
0
,
1
,
−
1
)
{\displaystyle (0,0,1,-1)}
4
!
2
!
⋅
1
!
⋅
1
!
=
12
{\displaystyle {\tfrac {4!}{2!\cdot 1!\cdot 1!}}=12}
(
0
,
0
,
−
1
,
−
1
)
{\displaystyle (0,0,-1,-1)}
4
!
2
!
⋅
2
!
=
6
{\displaystyle {\tfrac {4!}{2!\cdot 2!}}=6}
6
+
12
+
6
=
24
{\displaystyle 6+12+6=24}
Einzelnachweise und Anmerkungen
Bearbeiten
↑ a b E. Krätzel: Zahlentheorie. VEB Deutscher Verlag der Wissenschaften, Berlin 1981, ISBN 978-3-8171-1287-6 , 6.2, 6.6.
↑ H. Siemon: Einführung in die Zahlentheorie. Verlag Dr. Kovac, Hamburg 2002, ISBN 978-3-8300-0674-9 , 5.5.
↑ Zum Beispiel Ila Varma: Sums of Squares, Modular Forms and Hecke Characters. Memento Internet Archive
![{\displaystyle r_{4}(n)={\begin{cases}8\sum \limits _{m|n}m&{\text{für }}n{\text{ ungerade}}\\[12pt]24\sum \limits _{\begin{smallmatrix}m|n\\m{\text{ ungerade}}\!\!\!\!\!\!\!\!\!\!\!\!\end{smallmatrix}}m&{\text{für }}n{\text{ gerade}}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6243d72bab7b65406a2c06c2366db1e8685fefc7)
