matheraum.de
Raum für Mathematik
Offene Informations- und Nachhilfegemeinschaft

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Hochschulmathe
  Status Uni-Analysis
    Status Reelle Analysis
    Status UKomplx
    Status Uni-Kompl. Analysis
    Status Differentialgl.
    Status Maß/Integrat-Theorie
    Status Funktionalanalysis
    Status Transformationen
    Status UAnaSon
  Status Uni-Lin. Algebra
    Status Abbildungen
    Status ULinAGS
    Status Matrizen
    Status Determinanten
    Status Eigenwerte
    Status Skalarprodukte
    Status Moduln/Vektorraum
    Status Sonstiges
  Status Algebra+Zahlentheo.
    Status Algebra
    Status Zahlentheorie
  Status Diskrete Mathematik
    Status Diskrete Optimierung
    Status Graphentheorie
    Status Operations Research
    Status Relationen
  Status Fachdidaktik
  Status Finanz+Versicherung
    Status Uni-Finanzmathematik
    Status Uni-Versicherungsmat
  Status Logik+Mengenlehre
    Status Logik
    Status Mengenlehre
  Status Numerik
    Status Lin. Gleich.-systeme
    Status Nichtlineare Gleich.
    Status Interpol.+Approx.
    Status Integr.+Differenz.
    Status Eigenwertprobleme
    Status DGL
  Status Uni-Stochastik
    Status Kombinatorik
    Status math. Statistik
    Status Statistik (Anwend.)
    Status stoch. Analysis
    Status stoch. Prozesse
    Status Wahrscheinlichkeitstheorie
  Status Topologie+Geometrie
  Status Uni-Sonstiges

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
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenUni-Analysis-Induktionsum 1/k < wurzel(2n)
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Geschichte • Erdkunde • Sozialwissenschaften • Politik/Wirtschaft
Forum "Uni-Analysis-Induktion" - sum 1/k < wurzel(2n)
sum 1/k < wurzel(2n) < Induktion < eindimensional < reell < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Analysis-Induktion"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

sum 1/k < wurzel(2n): induktion
Status: (Frage) beantwortet Status 
Datum: 18:51 Sa 31.10.2009
Autor: ZodiacXP

Aufgabe
Zu zeigen ist das
[mm] \summe_{i=1}^{n} [/mm] 1/k < [mm] \wurzel{2n} [/mm]

Bisher haben wir nur die Induktion kennengelernt, allerdings bringt die mich nicht wirklich weiter.

Induktionsvoraussetzung:
[mm] \summe_{i=1}^{n} [/mm] 1/k < [mm] \wurzel{2n} [/mm]

Induktionsanfang: n = 1
[mm] \summe_{i=1}^{1} [/mm] 1/k = 1/1 = 1 < [mm] \wurzel{2} [/mm] = [mm] \wurzel{2n} [/mm]

Induktionsvoraussetzung gelte für alle n >= 1

Induktionsschritt:
[mm] \summe_{i=1}^{n+1} [/mm] 1/k = [mm] \summe_{i=1}^{n} [/mm] 1/k + 1/(n+1) < [mm] \wurzel{2n} [/mm] + 1/(n+1)

Und nun?

Ich muss dazu sagen, das wir die Konvergenz von Folgen zuletzt definiert haben. Leider nicht die von Reihen.

        
Bezug
sum 1/k < wurzel(2n): Antwort
Status: (Antwort) fertig Status 
Datum: 19:39 Sa 31.10.2009
Autor: Karl_Pech

Hallo ZodiacXP,


>  Bisher haben wir nur die Induktion kennengelernt,
> allerdings bringt die mich nicht wirklich weiter.


Dann könnte man es vielleicht mit der []Cauchy-Schwarzschen-Ungleichung und folgender []Identität für [mm]\pi[/mm] lösen:


[mm]\left(\sum_{k=1}^n{1\cdot{}\frac{1}{k}}\right)^2\le\left(\sum_{k=1}^n{1^2}\right)\left(\sum_{k=1}^n{\frac{1}{k^2}}\right)=n\sum_{k=1}^n{\frac{1}{k^2}}\stackrel{!}{<}2n\Rightarrow\sum_{k=1}^n{\frac{1}{k^2}}\stackrel{!}{<}2[/mm]


Also ich denke, wenn man zeigt, das die Folge [mm]\textstyle\left(\sum_{k=1}^n{\frac{1}{k^2}}\right)_{n\in\mathbb{N}}[/mm] streng monoton steigend ist, wäre die Aufgabe wegen Eulers Resultat [mm]\textstyle\lim_{n\to\infty}{\sum_{k=1}^n{\frac{1}{k^2}}}=\frac{\pi^2}{6}<1.7[/mm] gelöst.

[ Man könnte übrigens auch auf die Idee kommen, daß die Cauchy-Schwarzsche Ungleichung in Eulers Beweis vorkommt, womit wir einen Zirkelschluss bzw. Tautologie produziert hätten. Allerdings kann das nicht sein, da Euler laut Wikipedia seinen Beweis 1735 gefunden hat und die CSB-Ungleichung erstmals 1821 entdeckt wurde. Und soweit ich mich erinnern kann, basiert auch der Beweis für CSB definitiv nicht auf Eulers Resultat. :-)]


Also ... [mm]\textstyle\sum_{k=1}^n{\frac{1}{k^2}}<\sum_{k=1}^{n+1}{\frac{1}{k^2}}\Rightarrow 0 < \frac{1}{(n+1)^2}.[/mm]



Grüße
Karl




Bezug
                
Bezug
sum 1/k < wurzel(2n): Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 20:25 Sa 31.10.2009
Autor: ZodiacXP

Das ist leider nicht alles definiert bei uns. Aber Cauchy-Schwarz ist:

[mm] \vmat{ \summe_{i=1}^{n} 1/i } \le \wurzel{\summe_{i=1}^{n} (1)^2} \wurzel{ \summe_{i=1}^{n}(i^{-1})^2 } [/mm] = [mm] \wurzel{n} \wurzel{\summe_{i=1}^{n} (i^{-1})^2} \le \wurzel{2n} [/mm]
[mm] \gdw \wurzel{\summe_{i=1}^{n} (i^{-1})^2} \le \wurzel{2} \gdw \summe_{i=1}^{n} (i^{-1})^2 \le \wurzel{2} [/mm]

Was du bis hier auch gezeigt hast. Euler und Pi darf allerdings nicht verwendet werden.

Gibt es andere Wege?

Bezug
                        
Bezug
sum 1/k < wurzel(2n): Antwort
Status: (Antwort) fertig Status 
Datum: 21:03 Mo 02.11.2009
Autor: VornameName

Hallo Zusammen,

Seht euch diese Aufgabe an. Wenn die dortige Induktion wirklich stimmt, gilt zusammen mit Karls Aussage: [mm]\textstyle\sum_{k=1}^n{\frac{1}{k^2}}\mathrel{\textcolor{blue}{\le}}\textcolor{blue}{2-\frac{1}{n}}<2[/mm].

Gruß V.N.

Bezug
        
Bezug
sum 1/k < wurzel(2n): Antwort
Status: (Antwort) fertig Status 
Datum: 08:24 So 01.11.2009
Autor: pi-roland

Guten Morgen,

Den Induktionsschritt, den du gemacht hast begreife ich auch noch nicht so ganz. Ist es nicht eher so, dass man [mm] \(n+1\) [/mm] für [mm] \(n\) [/mm] einsetzt?
Somit kommt man auf die Ungleichung (die Summenvariable ist doch [mm] \(k\) [/mm] und nicht [mm] \(i\), [/mm] oder?):
[mm] \sum_{k=1}^{n+1}\frac{1}{k} =\frac{1}{n+1}+\sum_{k=1}^{n}\frac{1}{k} [/mm] < [mm] \sqrt{2(n+1)} [/mm]
Wenn du nun aus der Wurzel [mm] \(2n\) [/mm] ausklammerst, kannst du dieses Produkt als zwei Wurzeln schreiben und anschließend die gesamte Ungleichung durch diese Wurzel teilen. Mach es geschickt, damit die Summe quasi elliminiert wird. Die übrigbleibende Ungleichung brauchst du nur noch geschickt umzuformen, so dass zu sehen ist, dass sie stimmt.

Viel Erfolg noch,


pi-roland.

Bezug
                
Bezug
sum 1/k < wurzel(2n): Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 09:41 So 01.11.2009
Autor: ZodiacXP

Klar, habe ich. Auf [mm] \wurzel{2n} [/mm] wollte ich mit der Ungleichung noch schließen. Nun wurde ein schöner Weg über Cauchy-Schwarz-Ungleichung gezeigt, den ich gerne weiter verfolgen würde.

Bezug
        
Bezug
sum 1/k < wurzel(2n): Antwort
Status: (Antwort) fertig Status 
Datum: 10:07 So 01.11.2009
Autor: abakus

Hallo,
laut Induktionsvoraussetzung gelte
1+ 1/2+ ... +1/n < [mm] \wurzel{2n} [/mm]
Beidseitige Addition von 1/(n+1) liefert

1+ 1/2+ ... +1/n +1/(n+1)< [mm] \wurzel{2n}+1/(n+1) [/mm]

Die Induktionsbehauptung hingegen ist
1+ 1/2+ ... +1/n +1/(n+1)< [mm] \wurzel{2n+2}. [/mm]

Diese Behauptung ist gewiesen, wenn du die Gültigkeit der Kettenungleichung
1+ 1/2+ ... +1/n +1/(n+1)< [mm] \wurzel{2n}+1/(n+1) [/mm] < [mm] \wurzel{2n+2} [/mm] nachweisen kannst.
Der vordere Teil entspricht der Folgerung aus der Induktionsbehauptung, du kannst dich also voll auf den Nachweis von [mm] \wurzel{2n}+1/(n+1) [/mm] < [mm] \wurzel{2n+2} [/mm] konzentrieren.
Es gilt
[mm] \wurzel{2n}+1/(n+1) [/mm] < [mm] \wurzel{2n+2} [/mm]
[mm] \gdw [/mm] 1/(n+1) < [mm] \wurzel{2n+2}-\wurzel{2n} [/mm]
[mm] \gdw \bruch{\wurzel{2n+2}+\wurzel{2n}}{n+1}<(\wurzel{2n+2}-\wurzel{2n})((\wurzel{2n+2}+\wurzel{2n}) [/mm]
[mm] \gdw \bruch{\wurzel{2n+2}+\wurzel{2n}}{n+1}<2 [/mm]
Der Bruch lässt sich in zwei Summanden zerlegen, von denen der erste [mm] \bruch{\wurzel{2}}{\wurzel{n+1}} [/mm] ist (und der zweite ist geringfügig kleiner).
Wenn also  [mm] \bruch{\wurzel{2}}{\wurzel{n+1}} [/mm] <1 nachgewiesen werden könnte, ist auch der zweite Summand kleiner als 1 und damit die Summe kleiner als 2.
Gruß Abakus

Bezug
                
Bezug
sum 1/k < wurzel(2n): Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 10:30 So 01.11.2009
Autor: ZodiacXP

Sehr sehr coole Lösung. Da ist der eine Schritt drin den ich die ganze Zeit vergesse:

[mm] \wurzel{2n} [/mm] + 1/(n+1) < [mm] \wurzel{2n+2} [/mm]

Das geht ja gut zu zeigen.

Vielen Dank!

Bezug
        
Bezug
sum 1/k < wurzel(2n): Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 07:30 Di 03.11.2009
Autor: fred97


>  
> Induktionsvoraussetzung gelte für alle n >= 1


Wenn Du das voraussetzt, brauchst Du nichts mehr beweisen !!!

FRED


>  
>


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


^ Seitenanfang ^
www.unimatheforum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]