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 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
Dt. Schulen im Ausland: Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenZahlentheorieTeilbarkeit
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Informatik • Physik • Technik • Biologie • Chemie
Forum "Zahlentheorie" - Teilbarkeit
Teilbarkeit < Zahlentheorie < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Zahlentheorie"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Teilbarkeit: Tipp
Status: (Frage) beantwortet Status 
Datum: 22:16 Mi 09.12.2009
Autor: da_kiwi

Aufgabe
Seien [mm] a\ge1 [/mm] und [mm] b\ge1 [/mm] beliebige natürliche Zahlen. Beweisen Sie die Äquivalenz folgender Aussagen:

(i) ggT(a,b)=1
(ii)Für alle natürlichen Zahlen [mm] n\ge1 [/mm] und [mm] m\ge1 [/mm] gilt: [mm] ggT(a^n,b^m)=1 [/mm]

(Tipp: Verwenden Sie einen (fast) entsprechenden Satz der Vorlesungen vom ....)

Hey,

Also nach dem Fundamentalsatz der Arithmetik folgt aus ggT(a,b)=1 dass die Primfaktoren von a und b verschieden sind,...deshalb gilt doch auch [mm] ggT(a^n,b^m)=ggT(a,b)=1 [/mm]    die Potenz wirkt sich ja nur auf die jeweiligen verschiedenen PrimFaktoren aus, deshalb gilt auch diese Äquivalenz.

Reicht das so zu begründen? Oder kann man das noch irgendwie durch diesen fundamental Satz mathematisch schöner schreiben?

Grüße

        
Bezug
Teilbarkeit: Antwort
Status: (Antwort) fertig Status 
Datum: 22:59 Mi 09.12.2009
Autor: reverend

Hallo da_kiwi,

Idee richtig, aber zu viel Text. Versuch mal, eine etwas "mathematischere" Notation zu finden.

Andere Beweismöglichkeit:
(ii) [mm] \Rightarrow [/mm] (i) ist einfach - setze m=n=1.

(i) [mm] \Rightarrow [/mm] (ii) folgt hieraus:
Sei ggT(x,z)=ggT(y,z)=1. Dann ist ggT(xy,z)=1.

Hast Du letzteres schonmal irgendwo gehört oder gezeigt?

lg
reverend

Bezug
                
Bezug
Teilbarkeit: Korrektur
Status: (Frage) beantwortet Status 
Datum: 11:35 Do 10.12.2009
Autor: Blaub33r3

Hey

okay dann versuch ich´s mal.

Seien a und b [mm] \ge1 \in\IN [/mm]

Zuzeigen sei die Äquivalenz von ggT(a,b)=1 und [mm] ggT(a^n,a^m)=1 [/mm] (n und m [mm] \ge1 \in\IN) [/mm]

Nach dem Satz der eindeutigen Zerlegung in Primfaktoren sei:

[mm] a=s_{1}^{\alpha_{1}}*s_{2}^{\alpha_{2}}*.....s_{x}^{\alpha_{x}} [/mm]

[mm] b=t_{1}^{\beta_{1}}*t_{2}^{\beta_{2}}*.....t_{y}^{\beta_{y}} [/mm]

Nach ggT(a,b)=1 folgt also [mm] \produkt_{i=1}^{x}s_{i}^{\alpha_{i}}\not=\produkt_{i=1}^{y}t_{i}^{\beta_{i}} [/mm]

Weiter sei:

[mm] a^n=s_{1}^{n*\alpha_{1}}*s_{2}^{n*\alpha_{2}}*.....s_{x}^{n*\alpha_{x}} [/mm]

[mm] b^m=t_{1}^{m*\beta_{1}}*t_{2}^{m*\beta_{2}}*.....t_{y}^{m*\beta_{y}} [/mm]

Da die Primzahlen immer noch nach ggT(a,b)=1 mit [mm] \produkt_{i=1}^{x}s_{i}^{\alpha_{i}}\not=\produkt_{i=1}^{y}t_{i}^{\beta_{i}} [/mm] verschieden sind. Folgt auch für [mm] ggT(a^n,b^m)=1 [/mm]
mit [mm] \produkt_{i=1}^{x}s_{i}^{n*\alpha_{i}}\not=\produkt_{i=1}^{y}t_{i}^{*m\beta_{i}} [/mm]

Kurs zusammengefasst
Es gilt [mm] ggT(a,b)=ggT(a^n,a^m)=1 [/mm] weil [mm] ggT(s_{1}^{\alpha_{1}}*s_{2}^{\alpha_{2}}*.....s_{x}^{\alpha_{x}},t_{1}^{\beta_{1}}*t_{2}^{\beta_{2}}*.....t_{y}^{\beta_{y}})=ggT(s_{1}^{n*\alpha_{1}}*s_{2}^{n*\alpha_{2}}*.....s_{x}^{n*\alpha_{x}},b^m=t_{1}^{m*\beta_{1}}*t_{2}^{m*\beta_{2}}*.....t_{y}^{m*\beta_{y}})=1 [/mm] gilt offensichtlich. Die Primelemente sind verschieden, weil ja a und b teilerfremd sind. Die Potenz spielt keinerlei Rolle.

Hab ich jetzt irgendwas zu oft oder einfach unnötig erwähnt? Würde das "Zusammengefasste" für den Beweis schon ausreichen?

Der Beweis von (i) -> (ii) ist klar ;) ... Aber von (ii) -> (i) wüsste ich nicht auf an Anhieb, was man mit ggT(x,z)=ggT(y,z)=ggT(xy,z)=1 machen müsste(vom Beweis ganz abgesehn ;))

Grüße da_kiwi

Bezug
                        
Bezug
Teilbarkeit: Aufklärung^^!
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:50 Do 10.12.2009
Autor: da_kiwi

Hey
mir is gerade aufgefallen, dass ich ausversehn unter Blaub33r3´s Nick geantwortet habe!^^ Bitte nicht falsch verstehen...Ich klär das mal kurz auf...

Ich BIN nicht Blaub33r3 aber Blaub33r3´s(Daniel) war an meinem PC noch eingeloggt gewesen...Das hängt damit zusammen dass wir zusammen wohnen, die selbe Übungsgruppe für Arithmetik besuchen und auch die Aufgaben immer versuchen zusammen zulösen^^...Wir sind also keine doppel Nickuser oder sowas. Ich hoffe das wird jetzt nicht missinterpretiert oder mit anderen Sanktionen hier bestraft..

Also tut uns leid wegen dem fälschlichen Gebrauch unserer Nicks, war wirklich nur ausversehn und wird nicht wieder vorkommen!^^

Naja^^.....wär schön wenn ihr nochmal einen Blick über Antwort von uns werfen könntet.

Liebe Grüße, Daniel und David.

Bezug
                        
Bezug
Teilbarkeit: Antwort
Status: (Antwort) fertig Status 
Datum: 00:05 Fr 11.12.2009
Autor: reverend

Hallo da_kiwi,

viel zu lang...

> Seien a und b [mm]\ge1 \in\IN[/mm]
>  
> Zuzeigen sei die Äquivalenz von ggT(a,b)=1 und
> [mm]ggT(a^n,a^m)=1[/mm] (n und m [mm]\ge1 \in\IN)[/mm]
>  
> Nach dem Satz der eindeutigen Zerlegung in Primfaktoren
> sei:
>  
> [mm]a=s_{1}^{\alpha_{1}}*s_{2}^{\alpha_{2}}*.....s_{x}^{\alpha_{x}}[/mm]
>  
> [mm]b=t_{1}^{\beta_{1}}*t_{2}^{\beta_{2}}*.....t_{y}^{\beta_{y}}[/mm]

Bis hier gut.
  

> Nach ggT(a,b)=1 folgt also
> [mm]\produkt_{i=1}^{x}s_{i}^{\alpha_{i}}\not=\produkt_{i=1}^{y}t_{i}^{\beta_{i}}[/mm]

Na, das könntest Du schon aus [mm] a\not=b [/mm] folgern. Das stimmt also so nicht. (Auch wenn die Aussage als solche ja richtig ist.)

Richtig ist: [mm]ggT(a,b)=1\ \gdw\ s_i\not=t_j\ \forall i,j[/mm]

Und was heißt das nun für [mm] a^n [/mm] und [mm] b^m [/mm] ?

lg
rev

Bezug
                                
Bezug
Teilbarkeit: Korrektur
Status: (Frage) beantwortet Status 
Datum: 17:20 Fr 11.12.2009
Autor: da_kiwi

Hey
> Hallo da_kiwi,
>  
> viel zu lang...
>  
> > Seien a und b [mm]\ge1 \in\IN[/mm]
>  >  
> > Zuzeigen sei die Äquivalenz von ggT(a,b)=1 und
> > [mm]ggT(a^n,a^m)=1[/mm] (n und m [mm]\ge1 \in\IN)[/mm]
>  >  
> > Nach dem Satz der eindeutigen Zerlegung in Primfaktoren
> > sei:
> [mm]a=s_{1}^{\alpha_{1}}*s_{2}^{\alpha_{2}}*.....s_{x}^{\alpha_{x}}[/mm]
>
> [mm]b=t_{1}^{\beta_{1}}*t_{2}^{\beta_{2}}*.....t_{y}^{\beta_{y}}[/mm]
>  
> Bis hier gut.
>
> Richtig ist: [mm]ggT(a,b)=1\ \gdw\ s_i\not=t_j\ \forall i,j[/mm]
>  
> Und was heißt das nun für [mm]a^n[/mm] und [mm]b^m[/mm] ?
>  
> lg
>  rev

Das gilt ebenfalls für [mm] ggT(a^n,b^m)=1 [/mm] <=> [mm] s_i\not=t_j\ \forall [/mm] i,j ? Die Potenz spielt ja keine Rolle! Reicht das schon? Oder wolltest du was anders hören?

Grüße



Bezug
                                        
Bezug
Teilbarkeit: Antwort
Status: (Antwort) fertig Status 
Datum: 17:23 Fr 11.12.2009
Autor: reverend

Nö, so ist es gut.
Schon fertig. :-)

lg
rev

Bezug
                                                
Bezug
Teilbarkeit: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:48 Fr 11.12.2009
Autor: da_kiwi

Okay, krass. Dann hat sich die Antwort wirklich sehr stark komprimiert :)

Danke schööön.

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


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