www.matheraum.de
Das Matheforum.
Das Matheforum des MatheRaum.

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Mathe
  Status Schulmathe
    Status Primarstufe
    Status Mathe Klassen 5-7
    Status Mathe Klassen 8-10
    Status Oberstufenmathe
    Status Mathe-Wettbewerbe
    Status Sonstiges
  Status Hochschulmathe
    Status Uni-Analysis
    Status Uni-Lin. Algebra
    Status Algebra+Zahlentheo.
    Status Diskrete Mathematik
    Status Fachdidaktik
    Status Finanz+Versicherung
    Status Logik+Mengenlehre
    Status Numerik
    Status Uni-Stochastik
    Status Topologie+Geometrie
    Status Uni-Sonstiges
  Status Mathe-Vorkurse
    Status Organisatorisches
    Status Schule
    Status Universität
  Status Mathe-Software
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Taschenrechner

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 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
Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenUni-Analysis-InduktionAussagenbeweise
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Informatik • Physik • Technik • Biologie • Chemie
Forum "Uni-Analysis-Induktion" - Aussagenbeweise
Aussagenbeweise < Induktion < eindimensional < reell < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Analysis-Induktion"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Aussagenbeweise: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 20:15 Sa 31.10.2009
Autor: deaddyer30

Aufgabe 1
[mm] \summe_{k=1}^{n}(k³)=\bruch{n²(n+1)²}{4} [/mm]  für alle n [mm] \in \IN [/mm]

Aufgabe 2
[mm] \summe_{k=1}^{n}(k²)=\bruch{n(n+1)(2n+1)}{6} [/mm]  für alle n [mm] \in \IN [/mm]

Zur ersten Aufgabe:
Für den eigentlichen Beweis muss ich ja demnach "nur" noch beweisen,
dass diese Summe

[mm] \summe_{k=1}^{n+1}(k³)=\bruch{(n+1)²((n+1)+1)²}{4} [/mm]

gilt. Dafür müsste ich ja

[mm] \bruch{(n+1)²((n+1)+1)²}{4} [/mm] = [mm] \bruch{n²(n+1)²}{4}+(n+1)³ [/mm]

beweisen, oder?

Für die zweite Aufgabe würde demnach ja eigentlich das selbe Prinzip angewandt werden... Also:

[mm] \bruch{(n+1)((n+1)+1)(2(n+1)+1)}{6}=\bruch{n(n+1)(2n+1)}{6}+(n+1)² [/mm]

Habe ich bis dahin den Induktionsbeweis richtig verstanden?

Danke schon mal im Voraus für Antworten ;)
Schönen Abend noch
deaddyer30

Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.

        
Bezug
Aussagenbeweise: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 20:21 Sa 31.10.2009
Autor: deaddyer30

Ich sah gerade, dass die jeweiligen Potenzen nicht angegeben werden...

Es heißt also für die erste Aufgabe:

[mm] \summe_{k=1}^{n}(k^{3})=\bruch{n^{2}(n+1)^{2}}{4} [/mm]

Für die zweite Aufgabe wäre es also:

[mm] \summe_{k=1}^{n}(k^{2})=\bruch{n(n+1)(2n+1)}{6} [/mm]

Bezug
        
Bezug
Aussagenbeweise: Antwort
Status: (Antwort) fertig Status 
Datum: 20:32 Sa 31.10.2009
Autor: ChopSuey

Hi deaddyer30,

[willkommenmr]

> [mm]\summe_{k=1}^{n}(k^3)=\bruch{n^2(n+1)^2}{4}[/mm]  für alle n
> [mm]\in \IN[/mm]
>  [mm]\summe_{k=1}^{n}(k^3)=\bruch{n(n+1)(2n+1)}{6}[/mm]  
> für alle n [mm]\in \IN[/mm]
>  Zur ersten Aufgabe:
>  Für den eigentlichen Beweis muss ich ja demnach "nur"
> noch beweisen,
> dass diese Summe
>  
> [mm]\summe_{k=1}^{n+1}(k^3)=\bruch{(n+1)^3((n+1)+1)^3}{4}[/mm]
>  
> gilt. Dafür müsste ich ja
>
> [mm]\bruch{(n+1)^2((n+1)+1)^2}{4}[/mm] =
> [mm]\bruch{n^2(n+1)^2}{4}+(n+1)^3[/mm]
>  
> beweisen, oder?

Es gilt beide Aussagen mit Hilfe der vollst. Induktion zu beweisen.

Ich sehe allerdings keinen Induktionsbeginn, keine Induktionsvoraussetzung?

Die vollst. Induktion beruht darauf, zu zeigen, dass die Aussage für einen "Startwert" $\ n [mm] \in \IN [/mm] $ gilt. In Aufgabe 1 beginnen wir mit $\ n = 1 $, weil die Summe von $\ k = 1 $ bis $\ k=n $ läuft.

Zeige nun, dass die Aussage für $\ n = 1 $ gilt. Wenn das getan ist, darfst du vermuten, dass die Aussage für ein beliebiges $\ n [mm] \in \IN [/mm] $ gilt und hier folgt der Induktionsschritt $\ n [mm] \to [/mm] n+1 $

JETZT erst muss gezeigt werden, dass die Aussage $\ A(n) $ auch für $\ A(n+1) $ Gültigkeit behält.

Ich glaube, dass du oben schon das richtige meinst, aber das sollte anders aufgeschrieben werden.

Wir haben:

$\ A(n) = [mm] \summe_{k=1}^{n}(k^3)=\bruch{n^2(n+1)^2}{4} [/mm] $

Und sollen zeigen, dass $\ A(n+1) =  [mm] \summe_{k=1}^{n+1}(k^3)=\bruch{(n+1)^2(n+2)^2}{4} [/mm] $ gilt.

Es ist $\  [mm] \summe_{k=1}^{\red{n+1}}(k^3) [/mm] = [mm] \summe_{k=1}^{n}(k^3) \red{+ (n+1)^3} [/mm] $

Und wegen $\ [mm] \summe_{k=1}^{n}(k^3)=\bruch{n^2(n+1)^2}{4} [/mm] $ ist

$\ [mm] \summe_{k=1}^{n+1}(k^3) [/mm] = [mm] \bruch{n^2(n+1)^2}{4} \red{+ (n+1)^3} [/mm] $

Schreibe deine vollständige Induktion also vollständig auf und zeige, dass

$\ [mm] \summe_{k=1}^{n+1}(k^3) [/mm] = [mm] \bruch{n^2(n+1)^2}{4} \red{+ (n+1)^3} [/mm] $ äquivalent ist zu $\ A(n+1) =  [mm] \summe_{k=1}^{n+1}(k^3)=\bruch{(n+1)^2(n+2)^2}{4} [/mm] $

Aufgabe 2 funktioniert analog.

>  
> Für die zweite Aufgabe würde demnach ja eigentlich das
> selbe Prinzip angewandt werden... Also:
>  
> [mm]\bruch{(n+1)((n+1)+1)(2(n+1)+1)}{6}=\bruch{n(n+1)(2n+1)}{6}+(n+1)²[/mm]
>  
> Habe ich bis dahin den Induktionsbeweis richtig
> verstanden?
>  
> Danke schon mal im Voraus für Antworten ;)
>  Schönen Abend noch
>  deaddyer30
>  
> Ich habe diese Frage in keinem Forum auf anderen
> Internetseiten gestellt.

Viele Grüße
ChopSuey

P.S. schreibe Exponenten bitte immer mit ^2 und ^3, andernfalls werden sie nicht angezeigt.



Bezug
                
Bezug
Aussagenbeweise: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 20:57 Sa 31.10.2009
Autor: deaddyer30

Aufgabe
(a)
[mm] \bruch{n^{2}(n+1)^{2}}{4}+(n+1)^{3} [/mm] = [mm] \bruch{(n+1)^{2}(n+2)^{2}}{4} [/mm]

(b)
[mm] \bruch{n(n+1)(2n+1)}{6}+(n+1)^{2} [/mm] = [mm] \bruch{(n+1)((n+1)+1)(2(n+1)+1)}{6} [/mm]

Hey =)
Danke schon mal für deine Antwort und für deinen Willkommensgruß.
Den I.anfang, die I.voraussetzung sowie die I.behauptung hatte ich schon aufgestellt. Trotzdem danke ich dir, dass du mich darauf noch einmal aufmerksam gemacht hast.

Sind die beiden Ansätze oben denn soweit richtig?
Wenn ja, dann löse ich diese ja nur weiter auf. Oder?

Nochmals danke,
deaddyer30

Bezug
                        
Bezug
Aussagenbeweise: Antwort
Status: (Antwort) fertig Status 
Datum: 22:03 Sa 31.10.2009
Autor: steppenhahn

Hallo!

> (a)
>  [mm]\bruch{n^{2}(n+1)^{2}}{4}+(n+1)^{3}[/mm] =
> [mm]\bruch{(n+1)^{2}(n+2)^{2}}{4}[/mm]
>  
> (b)
>  [mm]\bruch{n(n+1)(2n+1)}{6}+(n+1)^{2}[/mm] =
> [mm]\bruch{(n+1)((n+1)+1)(2(n+1)+1)}{6}[/mm]
>  Hey =)
>  Danke schon mal für deine Antwort und für deinen
> Willkommensgruß.
>  Den I.anfang, die I.voraussetzung sowie die I.behauptung
> hatte ich schon aufgestellt. Trotzdem danke ich dir, dass
> du mich darauf noch einmal aufmerksam gemacht hast.
>  
> Sind die beiden Ansätze oben denn soweit richtig?
>  Wenn ja, dann löse ich diese ja nur weiter auf. Oder?

Die Ansätze oben sind richtig. Trotzdem wird dein Beweis nicht "elegant", wenn du nun nur zeigst, dass die beiden Ausdrücke gleich sind. "Nicht elegant" ist nämlich in meinen Augen (und ich behaupte auch in den Augen vieler Korrektoren) ein Beweis, der mit der Behauptung anfängt und diese dann mit Umformungen auf eine wahre Aussage führt (Das würdest du nämlich machen, wenn du jetzt oben noch alles einfach ausmultiplizierst und man dann natürlich sieht, dass beide Seiten gleich sind). Du solltest genau umgekehrt anfangen - mit einer wahren Aussage und dann beweisen, dass die Behauptung stimmt.

Im obigen Fall macht man es aber normalerweise so:

Wir wissen dass [mm] $\summe_{k=1}^{n}k^{3} [/mm] = [mm] \frac{n^{2}*(n+1)^{2}}{4}$, [/mm] zu zeigen ist [mm] $\summe_{k=1}^{n+1}k^{3} [/mm] = [mm] \frac{(n+1)^{2}*(n+2)^{2}}{4}$ [/mm] (Wir sind jetzt schon im Induktionsbeweis!)

Dann ist

[mm] $\summe_{k=1}^{n+1}k^{3} [/mm] = [mm] \summe_{k=1}^{n}k^{3} [/mm] + [mm] (n+1)^{3} \overset{IA}{=} \frac{n^{2}*(n+1)^{2}}{4} [/mm] + [mm] (n+1)^{3} [/mm] = [mm] \frac{n^{2}*(n+1)^{2} + 4*(n+1)^{3}}{4}$ [/mm]

$= [mm] \frac{(n+1)^{2} *\Big(n^{2} + 4*(n+1)\Big)}{4} [/mm] = [mm] \frac{(n+1)^{2} *\Big(n^{2} + 4*n+4\Big)}{4} [/mm] = [mm] \frac{(n+1)^{2} *(n+2)^{2}}{4}$ [/mm]

Damit hast du in einer "wunderschönen" Kette von Gleichheitszeichen gezeigt, dass die Aussage stimmt.

Grüße,
Stefan

Bezug
                                
Bezug
Aussagenbeweise: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 08:05 Do 05.11.2009
Autor: deaddyer30

Wow =D Danke dir!
Das sieht eindeutig besser aus, als ein "einfacher" Beweis ;)



Bezug
        
Bezug
Aussagenbeweise: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 21:10 Sa 31.10.2009
Autor: Al-Chwarizmi


> [mm]\summe_{k=1}^{n}(k³)=\bruch{n²(n+1)²}{4}[/mm]  für alle n
> [mm]\in \IN[/mm]
>  [mm]\summe_{k=1}^{n}(k²)=\bruch{n(n+1)(2n+1)}{6}[/mm]  
> für alle n [mm]\in \IN[/mm]


Das sind wieder solche (sorry...) Scheiss-Formeln,
in welchen man die Exponenten erst sehen kann,
wenn man sich den Quelltext anzeigen lässt.

Verzichtet doch auf diese doofen Tastatur-Exponenten
2 und 3, welche von TeX nicht erkannt und schlicht
weggelassen werden !


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


^ Seitenanfang ^
www.matheforum.net
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]