www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Uni-Analysis-Induktion" - Vollst. Induktion
Vollst. Induktion < Induktion < eindimensional < reell < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Analysis-Induktion"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Vollst. Induktion: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 14:45 Di 06.11.2007
Autor: Wimme

Aufgabe
Beweisen Sie mit vollständiger Induktion, dass für alle n [mm] \in \mathbb [/mm] N gilt:
[mm] \summe_{j=1}^{n}{(j+1) \cdot \vektor{n \\ j}} [/mm] = [mm] 2^{n-1}(n+2)-1 [/mm]

Hallo schon wieder!

:)
Dass ich auch kaum eine Aufgabe hier ganz alleine gelöst bekomme.
Also I.A. habe ich für n=1 bewiesen. Beim Induktionsschritt klappts wieder nicht ganz.
Also:
[mm] \summe_{j=1}^{n+1}{(j+1) \cdot \vektor{n+1 \\ j}} [/mm] = [mm] \summe_{j=1}^{n}{(j+1) \cdot \vektor{n+1 \\ j}}+n+2 [/mm] =
[mm] [\summe_{j=1}^{n}{(j+1) \cdot \vektor{n \\ j}}] \cdot \frac{n+1}{n+1-j}+n+2 [/mm]

Stimmt das bis hierin?
Kriege das dann aber nicht vernünftig umgeformt. Schließlich bleibt dieses blöde j ja auch drin :(

        
Bezug
Vollst. Induktion: Antwort
Status: (Antwort) fertig Status 
Datum: 15:14 Di 06.11.2007
Autor: korbinian

Hallo


>  [mm]\summe_{j=1}^{n+1}{(j+1) \cdot \vektor{n+1 \\ j}}[/mm] =
> [mm]\summe_{j=1}^{n}{(j+1) \cdot \vektor{n+1 \\ j}}+n+2[/mm] =
>  [mm][\summe_{j=1}^{n}{(j+1) \cdot \vektor{n \\ j}}] \cdot \frac{n+1}{n+1-j}+n+2[/mm]
>  
> Stimmt das bis hierin?
> Kriege das dann aber nicht vernünftig umgeformt.
> Schließlich bleibt dieses blöde j ja auch drin :(

richtig ist das schon, aber gut sieht´s  nicht aus.
Versuchs doch mal mit
[mm] \vektor{n+1 \\ j}=\vektor{n \\ j}+\vektor{n \\ j-1} [/mm]
(ohne Erfolgsgarantie, hab´s nicht durchgerechnet)
Gruß korbinian


Bezug
                
Bezug
Vollst. Induktion: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 17:38 Di 06.11.2007
Autor: Wimme

Hmm..ich sehe da irgendwie auch keine Möglichkeit.
Na Anwendung der Induktionsvoraussetzung erhalte ich:
[mm] 2^{n-1}(n+2)-1 [/mm] + [mm] \summe_{j=1}^{n+1}{(j+1)\vektor{n \\ j-1}} [/mm]


Tjoar wie ich jetzt die Summe vernünftig wegkriegen soll, weiß ich nicht :(
Andere Idee/wie gehts hier weiter?

Bezug
                        
Bezug
Vollst. Induktion: Antwort
Status: (Antwort) fertig Status 
Datum: 18:00 Di 06.11.2007
Autor: angela.h.b.


> Hmm..ich sehe da irgendwie auch keine Möglichkeit.
>  Na Anwendung der Induktionsvoraussetzung erhalte ich:
>  [mm]2^{n-1}(n+2)-1[/mm] + [mm]\summe_{j=1}^{n+1}{(j+1)\vektor{n \\ j-1}}[/mm]


Hallo,

Du hattest


>  $ [mm] \summe_{j=1}^{n+1}{(j+1) \cdot \vektor{n+1 \\ j}} [/mm] $ =
> $ [mm] \summe_{j=1}^{n}{(j+1) \cdot \vektor{n+1 \\ j}}+n+2 [/mm] $ = ...

Mit korbinians Tip (Additionstheorem):

...= [mm] \summe_{j=1}^{n}{(j+1) \cdot (\vektor{n \\ j}+\vektor{n \\ j-1})}+(n+2) [/mm]

(Induktionsvoraussetzung)

[mm] =2^{n-1}(n+2)-1 +\summe_{j=1}^{n}(j+1)\vektor{n \\ j-1}+(n+2)=... [/mm]

Wie ich es sehe, hattest Du das (n+2)vergessen.
Nun kommt ein kl. Trick, eine Indexverschiebung bei der Summe:

[mm] ...=2^{n-1}(n+2)-1 +\summe_{j=0}^{n-1}(j+1+1)\vektor{n \\ j}+(n+2) [/mm]

[mm] =2^{n-1}(n+2)-1+\summe_{j=0}^{n}((j+1)+1)\vektor{n \\ j}- (n+1+1)\vektor{n \\ n}+(n+2) [/mm]

=...

Jetzt solltest Du weiterkommen.

Gruß v. Angela




Bezug
                                
Bezug
Vollst. Induktion: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 19:56 Di 06.11.2007
Autor: Wimme

hi, danke Angela!

..= [mm] \summe_{j=0}^{n}{(j+1+1)\vektor{n \\ j}}+2^{n-1}(n+2)-1 [/mm]

Das konnte ich bis dahin alles gut nachvollziehen.
Ich habs nun auch rausbekommen, doch ist es so trivial, dass
[mm] \summe_{j=0}^{n}{\vektor{n \\ j} } [/mm] = [mm] 2^n [/mm] ??

Oder gehts doch auch noch schon wieder anders?

Bezug
                                        
Bezug
Vollst. Induktion: Antwort
Status: (Antwort) fertig Status 
Datum: 20:13 Di 06.11.2007
Autor: angela.h.b.


> hi, danke Angela!
>  
> ..= [mm]\summe_{j=0}^{n}{(j+1+1)\vektor{n \\ j}}+2^{n-1}(n+2)-1[/mm]
>  
> Das konnte ich bis dahin alles gut nachvollziehen.
>  Ich habs nun auch rausbekommen, doch ist es so trivial,
> dass
> [mm]\summe_{j=0}^{n}{\vektor{n \\ j} }[/mm] = [mm]2^n[/mm] ??
>  
> Oder gehts doch auch noch schon wieder anders?

Nein, trivial ist das nicht.

Es gehört jedoch zu den Dingen, die im Zusammenhang mit dem Binomischen Satz gern bewiesen werden.

Schau mal nach, ob Ihr das womöglich hattet.

Ansonsten kannst Du's sehr leicht zeigen: [mm] 2^n=(1+1)^n [/mm] und nun den binomischen Satz.

Gruß v. Angela

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Analysis-Induktion"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]