Für n = 1 gilt die Behauptung, denn:
$$\prod _{ i=0 }^{ n-1 }{ (1+{ { z }^{ { 2 }^{ i } } }) } =\prod _{ i=0 }^{ 0 }{ (1+{ { z }^{ { 2 }^{ i } } }) }$$$$=(1+{ { z }^{ { 2 }^{ 0 } } })=(1+z)=\frac { (1+z)(1-z) }{ (1-z) } =\frac { 1-{ z }^{ 2 } }{ 1-z } =\frac { 1-{ z }^{ { 2 }^{ 1 } } }{ 1-z }$$
Gelte nun für festes n > 1:
$$\prod _{ i=0 }^{ n-1 }{ (1+{ { z }^{ { 2 }^{ i } } }) } =\frac { 1-{ z }^{ { 2 }^{ n } } }{ 1-z }$$
Zu zeigen: Dann gilt für n + 1 :
$$\prod _{ i=0 }^{ n }{ (1+{ { z }^{ { 2 }^{ i } } }) } =\frac { 1-{ z }^{ { 2 }^{ n+1 } } }{ 1-z }$$
Beweis:
$$\prod _{ i=0 }^{ n }{ (1+{ { z }^{ { 2 }^{ i } } }) } =\prod _{ i=0 }^{ n-1 }{ (1+{ { z }^{ { 2 }^{ i } } }) } *(1+{ { z }^{ { 2 }^{ n } } })$$$$=\frac { 1-{ z }^{ { 2 }^{ n } } }{ 1-z } *(1+{ { z }^{ { 2 }^{ n } } })$$$$=\frac { 1+{ { z }^{ { 2 }^{ n } } }-{ z }^{ { 2 }^{ n } }-{ z }^{ { 2 }^{ n }+{ 2 }^{ n } } }{ 1-z }$$$$=\frac { 1-{ z }^{ 2*{ 2 }^{ n } } }{ 1-z }$$$$=\frac { 1-{ z }^{ { 2 }^{ n+1 } } }{ 1-z }$$
q.e.d.