Für n = 1 gilt die Behauptung, denn:
i=0∏n−1(1+z2i)=i=0∏0(1+z2i)=(1+z20)=(1+z)=(1−z)(1+z)(1−z)=1−z1−z2=1−z1−z21
Gelte nun für festes n > 1:
i=0∏n−1(1+z2i)=1−z1−z2n
Zu zeigen: Dann gilt für n + 1 :
i=0∏n(1+z2i)=1−z1−z2n+1
Beweis:
i=0∏n(1+z2i)=i=0∏n−1(1+z2i)∗(1+z2n)=1−z1−z2n∗(1+z2n)=1−z1+z2n−z2n−z2n+2n=1−z1−z2∗2n=1−z1−z2n+1
q.e.d.