Du musst also zeigen, wenn für ein n die Behauptung
" Produkt für i = 1 bis n über ( 1 + 1 / (n+i) ) = 2 - 1 / (n+1) "
stimmt, dann auch
" Produkt für i = 1 bis n+1 über ( 1 + 1 / (n+1+i) ) = 2 - 1 / (n+1+1) "
Also fange an mit
Produkt für i = 1 bis n+1 über ( 1 + 1 / (n+1+i) )
= Produkt für i = 2 bis n+2 über ( 1 + 1 / (n+i) ) [ Damit man sowas ähnliches wie die Ind.vor. hat]
Und dann erst mal die letzten 2 Faktoren extra schreiben.
= Produkt für i = 2 bis n über ( 1 + 1 / (n+i) ) * ( 1 + 1 / (n+n+1) ) *( 1 + 1 / (n+n+2) )
Und dem Produkt für i = 2 bis n über ( 1 + 1 / (n+i) ) fehlt der Faktor für n=1 damit man die
Ind.vor. anwenden kann, der ist 1 + 1/(n+1) )= (n+2)/(n+1). Den nehmen wir dazu und dividieren durch ihn,
dann ändert sich nix.
= Produkt für i = 1 bis n über ( 1 + 1 / (n+i) ) / ( (n+2)/(n+1) ) * ( 1 + 1 / (n+n+1) ) *( 1 + 1 / (n+n+2) )
Jetzt die Ind. vor. anwenden
= ( 2 - 1 / (n+1) ) / ( (n+2)/(n+1) ) * ( 1 + 1 / (n+n+1) ) *( 1 + 1 / (n+n+2) )
und dann mal was rechnen:
= ( 2 - 1 / (n+1) ) * ( (n+1)/(n+2) ) * ( 1 + 1 / (n+n+1) ) *( 1 + 1 / (n+n+2) )
= ( (2n+1) / (n+1) ) * ( (n+1)/(n+2) ) * ( 1 + 1 / (2n+1) ) *( 1 + 1 / (2n+2) )
= ( (2n+1) / (n+1) ) * ( (n+1)/(n+2) ) * ( (2n+2) / (2n+1) ) *( (2n+3) / (2n+2) )
alles auf einen Bruchstrich:
= ( (2n+1) * (n+1) * (2n+2) * (2n+3) / ((n+1) * (n+2) ) * (2n+1) * (2n+2) )
reichlich kürzen
= ( (2n+3) / (n+2) )
= 2 - 1 / (n+2) Und das ist das gewünschte Ergebnis von
" Produkt für i = 1 bis n+1 über ( 1 + 1 / (n+1+i) ) = 2 - 1 / (n+1+1) "
q.e.d.