Die Jacobi Triple Product-Identität besagt dies
∑n ∈ ZzNXN2=∏n = 1∞( 1 −X2 k) ( 1 + zX2 n − 1) ( 1 +z− 1X2 n − 1)(1)
für alle komplexen Zahlen
x , z
so dass
z≠ 0 , | x | < 1
.
Puttenz= 1
wir bekommen
∑n ∈ ZXN2=∏n = 1∞( 1+ _X2 n − 1)2( 1 −X2 k)(2)
Putten
z= x
In
( 1 )
wir bekommen
∑n ∈ ZXN2+ n=∏n = 1∞( 1+ _X2 k) ( 1 +X2 n − 2) ( 1 −X2 k)
Beachten Sie, dass der Faktor
( 1+ _X2 n − 2)
gleich
2
Wenn
n = 1
und somit können wir obige Gleichung schreiben als
∑n ∈ ZXN2+ n= 2∏n = 1∞( 1+ _X2 k)2( 1 −X2 k)(3)
Das Papier von MD Hirschhorn verwendet die Identitäten
( 2 ) , ( 3 )
in ihrer Ableitung. Lassen Sie mich wissen, wenn Sie an diesem Beweis noch etwas beunruhigt.