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-Komplexe ZahlenBeweis Teilbarkeit
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Philosophie • Religion • Kunst • Musik • Sport • Pädagogik
Forum "Uni-Analysis-Komplexe Zahlen" - Beweis Teilbarkeit
Beweis Teilbarkeit < Komplexe Zahlen < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Analysis-Komplexe Zahlen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Beweis Teilbarkeit: Tipp
Status: (Frage) beantwortet Status 
Datum: 16:39 Fr 09.12.2011
Autor: Catman

Aufgabe
Beweisen Sie, dass für jede Primzahl p gilt: [mm] p|2^p [/mm] - 2

Hinweis: Verwenden Sie die Binominalformel in [mm] 2^p [/mm] -2 = [mm] (1+1)^p [/mm] -2 und die Bemerkung in Aufgabe 27. (Die bemerkung ist [mm] p|\vektor{p \\ k} [/mm] für alle 1 [mm] \le [/mm] k [mm] \le [/mm] p-1 )

Habe überhaupt keine Idee bei dieser Aufgabe. Wäre sehr dankbar für Hilfe.

        
Bezug
Beweis Teilbarkeit: Antwort
Status: (Antwort) fertig Status 
Datum: 16:45 Fr 09.12.2011
Autor: schachuzipus

Hallo Catman,

schön, dass du uns so nett begrüßt und nicht einfach nur die Frage hinklatscht nach dem Motto: Löst mir die Kacke, aber flott!

Sehr motivierend!


> Beweisen Sie, dass für jede Primzahl p gilt: [mm]p|2^p[/mm] - 2
>  
> Hinweis: Verwenden Sie die Binominalformel in [mm]2^p[/mm] -2 =
> [mm](1+1)^p[/mm] -2 und die Bemerkung in Aufgabe 27. (Die bemerkung
> ist [mm]p|\vektor{p \\ k}[/mm] für alle 1 [mm]\le[/mm] k [mm]\le[/mm] p-1 )
>  Habe überhaupt keine Idee bei dieser Aufgabe.

Wie kann das sein?

Mit den Tipps steht (fast) die ganze Lösung da. So versteckt sind die doch nicht, stehen doch laut und deutlich da rum, die Tipps ...

[kopfschuettel]

Schreibe dir [mm]2^p=(1+1)^p[/mm] mal nach dem binomischen Lehrsatz hin und schaue, wie der erste und letzte Summand aussehen ...

Mehr sage ich nicht, schreib's dir hin, dann siehst du es und wirst "bedauern", überhaupt gepostet zu haben und dass du aus Faulheit nicht versucht hast, den Hinweisen nachzugehen ...

> Wäre sehr
> dankbar für Hilfe.

Auch dir einen schönen Abend!

schachuzipus


Bezug
                
Bezug
Beweis Teilbarkeit: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:02 Fr 09.12.2011
Autor: Catman

Sorry... das sollte jetzt echt nicht so rüberkommen.
Vielen Dank..und dir auch einen schönen Abend.


Bezug
                
Bezug
Beweis Teilbarkeit: Tipp
Status: (Frage) beantwortet Status 
Datum: 17:51 Fr 09.12.2011
Autor: Catman

Aufgabe
Beweisen Sie mittels Vollständiger Induktion nach n, dass für jede Primzahl p und jede natürliche Zahl n [mm] \ge [/mm] 2 gilt: [mm] p|n^p [/mm] - n

Nochmal sorry, dass das so rübergekommen ist. War wirklich ziemlich leicht der erste Teil der Aufgabe. (Aber ich bin einfach nicht drauf gekommen, dass so aufzuschreiben)
Nunja, bei der 2. Teilaufgabe hänge ich wieder. Also vielleicht brauch ich ja auch hier nur so einen kleinen Denkanstoß.

Bisher habe ich folgendes:

Induktionsanfang: n=2 (Ist in Teilaufgabe a bewiesen)

Induktionsvoraussetzung: für ein beliebiges, festes n [mm] \ge [/mm] 2 gelte [mm] p|n^p [/mm] - n

Indktionsbehauptung: Dann ist zu zeigen, dass auch [mm] p|(n+1)^p [/mm] - (n+1) gilt.

Induktionsschluss:

Also ich habe jetzt erstmal die Behauptung und die Voraussetzung umgeschrieben um evt. einen Zusammenhang zu finden.

Behauptung:

[mm] \vektor{p \\ 0} [/mm] + [mm] \vektor{p \\ 1} [/mm] * n + [mm] \vektor{p \\ 2} [/mm] * [mm] n^2 [/mm] + ... + [mm] \vektor{p \\ p} [/mm] * [mm] n^p [/mm] - (n+1)

Voraussetzung:

[mm] n^p [/mm] = (n-1 + [mm] 1)^p [/mm]

-->

[mm] \vektor{p \\ 0} [/mm] + [mm] \vektor{p \\ 1}*(n-1)^1 [/mm] + [mm] \vektor{p \\ 2}*(n-1)^2 [/mm] + ... + [mm] \vektor{p \\ p}*(n-1)^p [/mm] -n

Jetzt weiß ich nur nicht wie ich die Behauptung auf die Voraussetzung zurückführen soll, da ist ja dann noch eine Minus 1 in der klammer und die Potenz steigt immer, also kann ich auch nichts ausklammern. Hat jemand einen Tipp?

Bezug
                        
Bezug
Beweis Teilbarkeit: Antwort
Status: (Antwort) fertig Status 
Datum: 18:14 Fr 09.12.2011
Autor: schachuzipus

Hallo nochmal,


> Beweisen Sie mittels Vollständiger Induktion nach n, dass
> für jede Primzahl p und jede natürliche Zahl n [mm]\ge[/mm] 2
> gilt: [mm]p|n^p[/mm] - n
>  Nochmal sorry, dass das so rübergekommen ist. War
> wirklich ziemlich leicht der erste Teil der Aufgabe. (Aber
> ich bin einfach nicht drauf gekommen, dass so
> aufzuschreiben)

Ist abgehakt!

> Nunja, bei der 2. Teilaufgabe hänge ich wieder. Also
> vielleicht brauch ich ja auch hier nur so einen kleinen
> Denkanstoß.
>  
> Bisher habe ich folgendes:
>  
> Induktionsanfang: n=2 (Ist in Teilaufgabe a bewiesen)
>  
> Induktionsvoraussetzung: für ein beliebiges, festes n [mm]\ge[/mm]
> 2 gelte [mm]p|n^p[/mm] - n
>  
> Indktionsbehauptung: Dann ist zu zeigen, dass auch
> [mm]p|(n+1)^p[/mm] - (n+1) gilt.
>  
> Induktionsschluss:
>  
> Also ich habe jetzt erstmal die Behauptung und die
> Voraussetzung umgeschrieben um evt. einen Zusammenhang zu
> finden.
>  
> Behauptung:
>
> [mm]\vektor{p \\ 0}[/mm] + [mm]\vektor{p \\ 1}[/mm] * n + [mm]\vektor{p \\ 2}[/mm] *
> [mm]n^2[/mm] + ... + [mm]\vektor{p \\ p}[/mm] * [mm]n^p[/mm] - (n+1)
>  
> Voraussetzung:
>  
> [mm]n^p[/mm] = (n-1 + [mm]1)^p[/mm]
>  
> -->
>  
> [mm]\vektor{p \\ 0}[/mm] + [mm]\vektor{p \\ 1}*(n-1)^1[/mm] + [mm]\vektor{p \\ 2}*(n-1)^2[/mm]
> + ... + [mm]\vektor{p \\ p}*(n-1)^p[/mm] -n
>
> Jetzt weiß ich nur nicht wie ich die Behauptung auf die
> Voraussetzung zurückführen soll, da ist ja dann noch eine
> Minus 1 in der klammer und die Potenz steigt immer, also
> kann ich auch nichts ausklammern. Hat jemand einen Tipp?

Die Idee, das wieder mit dem binom Lehrsatz aufzudröseln ist richtig!

Bei mir klappte das so:

Wenn du dir [mm](n+1)^p-(n+1)[/mm] mal hinschreibst ...

Das ist [mm]=\sum\limtis_{k=0}^p\vektor{p\\ k}n^k \ -(n+1)[/mm]

[mm]=1+pn+\vektor{p\\ 2}n^2+\ldots+\vektor{p\\ p-1}n^{p-1}+n^p \ -n-1[/mm]

Da kürzen sich die Einsen weg, dann kannst du ein klein wenig umklammern:

[mm]=\left[pn+\vektor{p\\ 2}n^2+\ldots+\vektor{p\\ p-1}n^{p-1}\right] \ + \ n^p-n[/mm]

Der letzte Teil wird nach IV von p geteilt, der erste Teil nach dem einen Satz aus dem einen Hinweis aus Aufg. 1 (die Binomialkoeff. werden geteilt, damit auch die einzelnen Produkte)

Damit dann natürlich auch die Summe, was zu zeigen war.

Gruß

schachuzpus


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


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