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
StartseiteMatheForenZahlentheorieMersenne
Foren für weitere Studienfächer findest Du auf www.vorhilfe.de z.B. Astronomie • Medizin • Elektrotechnik • Maschinenbau • Bauingenieurwesen • Jura • Psychologie • Geowissenschaften
Forum "Zahlentheorie" - Mersenne
Mersenne < Zahlentheorie < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Zahlentheorie"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Mersenne: Beweis-Ansatz fehlt
Status: (Frage) beantwortet Status 
Datum: 14:55 Sa 16.10.2010
Autor: StephanieBuehler

Aufgabe
Zeigen Sie: Wenn [mm] a^n-1 [/mm] f"ur n>1 eine Primzahl ist, dann ist n eine Zweierpotenz.

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

Hallo!
Auch hier fehlt mir komplett der Ansatz. Ich weiß, dass es etwas mit den Mersenne-Zahlen zu tun hat

[mm] a^n-1=M_n [/mm]


1. [mm] M_n=2^n-1 [/mm] --> Annahme: Sei n zusammengesetzt
so ist auch [mm] M_n [/mm] eine zusammengesetzte Zahl. Ist nämlich n ein Vielfaches von r>1, so ist [mm] M_r>1 [/mm] und [mm] M_r [/mm] Teiler von [mm] M_n. [/mm]
Rechenbeispiel:
z.B. n=4 ist zusammengesetzt aus 2*2, und somit ist [mm] M_4 [/mm] auch zusammengesetzt.
[mm] M_4=2^4-1=15=3*5 [/mm]
Für r=2 gilt [mm] M_2=3 [/mm] ist ein Teiler von [mm] M_4. [/mm]

Weiter weiß leider nicht. Kann mir jemand helfen?

        
Bezug
Mersenne: Antwort
Status: (Antwort) fertig Status 
Datum: 15:12 Sa 16.10.2010
Autor: reverend

Hallo Stephanie,

an der Aufgabe kann doch was nicht stimmen. Das Gegenbeispiel per se sind doch gerade die Mersenneprimzahlen wie [mm] 31=2^5-1, 8191=2^{13}-1 [/mm] etc. Da ist n doch gerade prim und damit sicher keine Zweierpotenz.

Dafür kannst Du zeigen, dass a eine Zweierpotenz sein muss. [mm] a^n-1 [/mm] ist ja immer durch a-1 teilbar...

Grüße
reverend


Bezug
                
Bezug
Mersenne: Richtige Aufgabenstellung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 16:28 Sa 16.10.2010
Autor: reverend

Hallo nochmal,
die Aufgabe muss so lauten:

Aufgabe
Zeigen Sie: Wenn $ [mm] a^n\red{+}1 [/mm] $ für n>1 eine Primzahl ist, dann ist n eine Zweierpotenz.




Tipp: Zeige erst, dass [mm] a^{2k+1} [/mm] zerlegbar ist.

edit: toller Tipp. Zeige lieber, dass [mm] \blue{a^{2k+1}+1} [/mm] zerlegbar ist.

Grüße
reverend


Bezug
                        
Bezug
Mersenne: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 02:36 So 17.10.2010
Autor: felixf

Moin!

> Hallo nochmal,
>  die Aufgabe muss so lauten:
>  
> Zeigen Sie: Wenn [mm]a^n\red{+}1[/mm] für n>1 eine Primzahl ist,
> dann ist n eine Zweierpotenz.
>  
>
>
> Tipp: Zeige erst, dass [mm]a^{2k+1}[/mm] zerlegbar ist.

Aber fuer $a$ prim und $k = 0$ ist das doch nicht zerlegbar ;-)

Eine andere moegliche Aufgabenstellung:

Ist [mm] $a^n [/mm] - 1$ prim, so ist $a = 2$ und $n$ prim. (Und das ganze ist eine Mersenne-Primzahl.)

LG Felix


Bezug
                                
Bezug
Mersenne: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 02:44 So 17.10.2010
Autor: reverend

Hallo Felix,

k=0 habe ich heimlich ausgeschlossen. Ich mag Peanos Frühfassung lieber.
Und wieso verrätst Du für die erste geratene Aufgabenstellung schon, um welche Zweierpotenz es sich handelt?
[kopfschuettel]
reverend

PS/edit: da fehlte was Wichtiges in dieser Mitteilung. Mindestens drei ;-) und ein :-)

Bezug
                                        
Bezug
Mersenne: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 03:43 So 17.10.2010
Autor: felixf

Moin!

> k=0 habe ich heimlich ausgeschlossen. Ich mag Peanos
> Frühfassung lieber.

:)

>  Und wieso verrätst Du für die erste geratene
> Aufgabenstellung schon, um welche Zweierpotenz es sich
> handelt?
>  [kopfschuettel]

Ach, da du ja schon verraten hast, warum $a = 2$ sein muss, wollte ich noch etwas dalassen, was man zeigen kann :)

LG Felix


Bezug
                                                
Bezug
Mersenne: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 21:44 Mo 18.10.2010
Autor: StephanieBuehler

Hallo!!
Du hattest recht, ich hab zwei Aufgaben vertauscht.
Die erste Aufgabe ist:
Zeigen Sie: Wenn [mm] a^n-1 [/mm] für n>1 eine Primzahl ist, dann ist a=2 und n eine primzahl.

Die zweite Aufgabe ist:
Zeigen Sie: Wenn [mm] 2^n+1 [/mm] eine Primzahl ist, dann ist n eine Zweierpotenz.

Bezug
                                                        
Bezug
Mersenne: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 22:04 Mo 18.10.2010
Autor: reverend

Hallo Stephanie,

nu guck.
Da sind ja gleich beide geratenen Aufgaben dabei.

Und, wie weit bist Du? Brauchst Du noch Tipps?

Grüße
reverend


Bezug
                        
Bezug
Mersenne: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 09:27 Di 19.10.2010
Autor: StephanieBuehler

Aufgabe
Aufgabe 1: Wenn [mm] a^n-1 [/mm] für n>1 eine Primzahl ist, dann ist a=2 und n eine Primzahl.

Aufgabe 2: Wenn [mm] 2^n [/mm] eine Primzahl ist, dann ist n eine 2er-Potenz.

Hallo!
Ich brauch auf jeden Fall noch eure Hilfe.
So, zu Aufgabe 1:
a.) Annahme: [mm] a^n-1 [/mm] ist nicht zerlegbar, dann aber [mm] a^{n+1}-1 [/mm]
[mm] a^{n+1}-1=a^n [/mm] * a -1 -> ist zerlegbar.
Welche Aussage kann ich damit machen?
Wie zeige ich aber jetzt, dass a=2 und n eine Primzahl ist?

b.) [mm] Annahme:2^n [/mm] +1 ist nicht zerlegbar, dann aber
[mm] 2^{n+1}+1=2^n*2+1 [/mm]
   Rechenbeispiel: für n=1 -> [mm] 2^3+1=9 [/mm]  -> zerlegbar
                             für n=2 -> [mm] 2^5+1=33 [/mm]  -> zerlegbar
Und nu?

Bezug
                                
Bezug
Mersenne: Antwort
Status: (Antwort) fertig Status 
Datum: 13:46 Di 19.10.2010
Autor: statler

Hallo!

> Aufgabe 1: Wenn [mm]a^n-1[/mm] für n>1 eine Primzahl ist, dann ist
> a=2 und n eine Primzahl.
>  
> Aufgabe 2: Wenn [mm]2^n[/mm] eine Primzahl ist, dann ist n eine
> 2er-Potenz.

Jetzt haben wir uns schon mal der richtigen Aufgabenstellung genähert. Allerdings ist [mm] 2^n [/mm] nie eine Primzahl. Höchstens [mm] 2^n [/mm] + 1. Deswegen wäre die Aussage in der gegebenen Form übrigens wahr.

>  Ich brauch auf jeden Fall noch eure Hilfe.
>  So, zu Aufgabe 1:
>  a.) Annahme: [mm]a^n-1[/mm] ist nicht zerlegbar, dann aber
> [mm]a^{n+1}-1[/mm]
>  [mm]a^{n+1}-1=a^n[/mm] * a -1 -> ist zerlegbar.

>  Welche Aussage kann ich damit machen?
>  Wie zeige ich aber jetzt, dass a=2 und n eine Primzahl
> ist?

Hier ist dein Gedankengang zumindest mir unklar. Versuch es doch mal andersherum: Wenn a [mm] \not= [/mm] 2 oder n keine Primzahl ist, dann ist [mm] a^n [/mm] - 1 zerlegbar. Gib die Zerlegung einfach an.

> b.) [mm]Annahme:2^n[/mm] +1 ist nicht zerlegbar, dann aber
> [mm]2^{n+1}+1=2^n*2+1[/mm]
>     Rechenbeispiel: für n=1 -> [mm]2^3+1=9[/mm]  -> zerlegbar

>                               für n=2 -> [mm]2^5+1=33[/mm]  ->

> zerlegbar
>  Und nu?

Wie oben! Wenn n keine 2er-Potenz ist, hat es einen ungeraden Teiler. Und damit findest du eine Zerlegung von [mm] 2^n [/mm] + 1, vielleicht erst mit etwas Probieren für kleine Zahlen und dann allgemein.

Gruß aus HH-Harburg
Dieter


Bezug
                                
Bezug
Mersenne: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 17:10 Di 19.10.2010
Autor: StephanieBuehler

Zu Aufgabe a.)  [mm] a^n-1 [/mm]
- Wenn [mm] a\ne2, [/mm] dann ist [mm] a^n-1 [/mm] zerlegbar und somit keine Primzahl.
   Rechenbeispiel: [mm] 3^3-1=26 [/mm] -> zerlegbar
                             [mm] 3^6-1=728 [/mm] -> zerlegbar
                             [mm] 4^3-1=63 [/mm] -> zerlegbar

- Wenn [mm] n\ne [/mm] prim, dann ist n zerlegbar  in p und q und somit ist  
  [mm] 2^n-1=2^{p*q}-1 [/mm] zerlegbar.
  Rechenbeispiel: [mm] 2^4-1=2^2*2^2-1=15 [/mm] -> zerlegbar
                            [mm] 2^9-1=2^3*2^3-1=511 [/mm] -> zerlegbar

-Wenn [mm] a\ne2 [/mm] und [mm] n\ne [/mm] prim, dann ist [mm] a^n-1 [/mm] zerlegbar und somit keine  
Primzahl.
Rechenbeispiel: [mm] 4^4-1=2^2*2^2*2^2*2^2-1=255 [/mm] -> zerlegbar
                           [mm] 5^8-12= [/mm] 390624 ->zerlegbar

Ist mein Beweis so richtig und vollständig?

Zu Aufgabe b.) [mm] 2^n+1 [/mm]
- Wenn  n keine Zweierpotenz ist, dann ist [mm] 2^n+1 [/mm] ungerade und hat somit einen ungeraden Teiler. Das heißt, [mm] 2^n+1 [/mm] wäre in diesem Fall zerlegbar.

Reicht diese Argumentation bereits aus?

Vielen Vielen Dank



Bezug
                                        
Bezug
Mersenne: Antwort
Status: (Antwort) fertig Status 
Datum: 18:23 Di 19.10.2010
Autor: reverend

Hallo Stephanie,

zu Aufgabe a:
nein, das Durchrechnen einiger Beispiele ist kein Beweis. Überhaupt nicht.

Es ist doch klar, dass für ungerades a sich [mm] a^n-1 [/mm] als gerade Zahl ergibt und somit durch zwei teilbar ist.

Betrachten wir nun mal die Funktion [mm] f(x)=x^n-1 [/mm] mit n>1. Wo hat sie eine Nullstelle? Wenn du eine Nullstelle [mm] x_N [/mm] kennst, dann kannst Du doch das Polynom zerlegen, weil es den Faktor [mm] (x-x_N) [/mm] enthält ...

So ähnlich für [mm] x^{m*n}-1=\left(x^m\right)^n-1=\left(x^n\right)^m-1 [/mm] ...

Du kannst also explizit jeweils einen Faktor angeben, ohne überhaupt ein Zahlenbeispiel zu bemühen.

Zu Aufgabe b:

> - Wenn  n keine Zweierpotenz ist, dann ist $ [mm] 2^n+1 [/mm] $ ungerade und hat
> somit einen ungeraden Teiler. Das heißt, $ [mm] 2^n+1 [/mm] $ wäre in diesem Fall
> zerlegbar.

Das ist Unsinn. Wieso folgt denn aus der Tatsache, dass eine Zahl ungerade ist, dass sie einen ungeraden Teiler hat und somit zerlegbar ist? Stimmt das denn für 19,37,101 etc.?

Auch hier kannst Du ähnlich überlegen wie in Aufgabe a.

Gegeben sei eine Funktion [mm] f(x)=x^n+1. [/mm]
Wenn nun n ungerade ist, kennst Du dann eine Nullstelle? Wenn ja, kannst Du das Polynom faktorisieren.

Und wenn Du das kannst, kannst Du auch zeigen, dass n überhaupt keinen ungeraden Teiler haben kann.

Grüße
reverend


Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Zahlentheorie"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


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