www.vorhilfe.de
Vorhilfe

Kostenlose Kommunikationsplattform für gegenseitige Hilfestellungen.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Vorhilfe
  Status Geisteswiss.
    Status Erdkunde
    Status Geschichte
    Status Jura
    Status Musik/Kunst
    Status Pädagogik
    Status Philosophie
    Status Politik/Wirtschaft
    Status Psychologie
    Status Religion
    Status Sozialwissenschaften
  Status Informatik
    Status Schule
    Status Hochschule
    Status Info-Training
    Status Wettbewerbe
    Status Praxis
    Status Internes IR
  Status Ingenieurwiss.
    Status Bauingenieurwesen
    Status Elektrotechnik
    Status Maschinenbau
    Status Materialwissenschaft
    Status Regelungstechnik
    Status Signaltheorie
    Status Sonstiges
    Status Technik
  Status Mathe
    Status Schulmathe
    Status Hochschulmathe
    Status Mathe-Vorkurse
    Status Mathe-Software
  Status Naturwiss.
    Status Astronomie
    Status Biologie
    Status Chemie
    Status Geowissenschaften
    Status Medizin
    Status Physik
    Status Sport
  Status Sonstiges / Diverses
  Status Sprachen
    Status Deutsch
    Status Englisch
    Status Französisch
    Status Griechisch
    Status Latein
    Status Russisch
    Status Spanisch
    Status Vorkurse
    Status Sonstiges (Sprachen)
  Status Neuerdings
  Status Internes VH
    Status Café VH
    Status Verbesserungen
    Status Benutzerbetreuung
    Status Plenum
    Status Datenbank-Forum
    Status Test-Forum
    Status Fragwürdige Inhalte
    Status VH e.V.

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:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Zahlentheorie" - Lösung der Kongruenz finden
Lösung der Kongruenz finden < Zahlentheorie < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Zahlentheorie"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Lösung der Kongruenz finden: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 01:01 Mo 20.10.2014
Autor: evinda

Hallo!!!

Wenn man die Kongruenz 2x [mm] \equiv [/mm] 1 [mm] \pmod {5^n} [/mm] hat, dann kann man die Lösung finden, indem man die Formel [mm] x=\frac{5^n+1}{2} [/mm] benutzt.

Wenn man die Kongruenz ax [mm] \equiv [/mm] b [mm] \pmod{ 5^n} [/mm] hat, kann man dann auch die Lösung von der Formel [mm] x=\frac{5^n+b}{a} [/mm] finden?



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

        
Bezug
Lösung der Kongruenz finden: Antwort
Status: (Antwort) fertig Status 
Datum: 02:35 Mo 20.10.2014
Autor: Marcel

Hallo,

> Hallo!!!
>  
> Wenn man die Kongruenz 2x [mm]\equiv[/mm] 1 [mm]\pmod {5^n}[/mm] hat, dann
> kann man die Lösung finden, indem man die Formel
> [mm]x=\frac{5^n+1}{2}[/mm] benutzt.

das habe ich nicht nachgeprüft.

> Wenn man die Kongruenz ax [mm]\equiv[/mm] b [mm]\pmod{ 5^n}[/mm] hat, kann
> man dann auch die Lösung von der Formel [mm]x=\frac{5^n+b}{a}[/mm]
> finden?

Woher kommt denn dieser Ansatz? Ich kenne folgendes:
Sei die Kongruenz

    $ax [mm] \equiv [/mm] b$ [mm] $\mod$ $n\,$ [/mm]

gegeben.

Diese ist dann und nur dann lösbar (in $x [mm] \in \IZ$), [/mm] wenn

    [mm] $\ggT(a,n)\;|\;b$ [/mm]

gilt.

Sei nun [mm] $d:=ggT(a,n)=\red{y}*a+z*n$ [/mm] mit $y,z [mm] \in \IZ,$ [/mm] eine solche Darstellung erhält man etwa
mit dem erweiterten euklidischen Algorithmus. Dann ist, im Falle der Lösbarkeit,
obige Kongruenz äquivalent zu

    $x [mm] \equiv \red{\,y\,}*\frac{b}{d}$ $\mod \frac{n}{d}\,.$ [/mm]

Hier sieht man schonmal direkt schön, dass etwa im Falle, dass [mm] $a=5\,$ [/mm] ist, sicher
diese Kongruenz gar keine Lösung hat (denn [mm] $|\ggT(5,5^n)| \ge [/mm] 5$ zeigt, dass [mm] $\ggT(5,5^n) \nmid 1\,$). [/mm]

Bei der Kongruenz

    $2x [mm] \equiv [/mm] 1 [mm] \mod 5^n$ [/mm]

sehe ich etwa:

    Im Falle [mm] $n=1\,$ [/mm] ist [mm] $1=\red{\,-2\,}*2+1*5\,.$ [/mm]

    Im Falle [mm] $n=2\,$ [/mm] ist [mm] $1=\red{\,-12\,}*2+1*5^2\,.$ [/mm]

    Im Falle [mm] $n=3\,$ [/mm] ist [mm] $1=\red{\,-62\,}*2+1*5^3\,.$ [/mm]

    Im Falle [mm] $n=4\,$ [/mm] ist [mm] $1=\red{\,-312\,}*2+1*5^4\,.$ [/mm]

    Im Falle [mm] $n=5\,$ [/mm] ist [mm] $1=\red{\,-1562\,}*2+1*5^4\,.$ [/mm]

Also ist dort wohl

    [mm] $y=y(n)=5*y(n-1)-2\,$ [/mm] mit [mm] $y(1)=-2\,,$ [/mm]

was sich wohl induktiv zeigen lassen wird.

Daher ist die Ausgangskongruenz äquivalent zu

    $x [mm] \equiv y(n)*\frac{1}{1} \mod \frac{5^n}{1}\,.$ [/mm]

Um Deine Formel zu beweisen, sollte man nun

    [mm] $\frac{5^n+1}{2} \equiv [/mm]  y(n) [mm] \mod 5^n$ [/mm]

beweisen. Für [mm] $n=1\,$ [/mm] steht da

    $3 [mm] \equiv [/mm] -2 [mm] \mod 5\,,$ [/mm]

passt also.

Für [mm] $n=2\,$ [/mm] steht da

    $13 [mm] \equiv [/mm] -12 [mm] \mod 25\,.$ [/mm]

Für [mm] $n=3\,$ [/mm] steht da

    [mm] $\frac{5^3+1}{2}=63 \equiv -62\mod 125\,.$ [/mm]

Eventuell kann man ja induktiv etwa

    [mm] $5^n=\frac{5^n+1}{2}-y(n)$ [/mm]

beweisen.

Z.B. haben wir oben ja auch [mm] $y(5)=-1562\,$ [/mm] ausgerechnet, und in der Tat gilt
einerseits

    [mm] $\frac{5^5+1}{2}+1562=3125\,,$ [/mm]

sowie andererseits

    [mm] $5^5=3125\,.$ [/mm]

Nebenbei: Dass [mm] $2*\frac{5^n+1}{2} \equiv [/mm] 1 [mm] \mod 5^n$ [/mm] gilt, ist natürlich eine
Trivialität, weil [mm] $2*\frac{5^n+1}{2}=5^n+1\,.$ [/mm] Es fehlt aber durchaus noch eine
Begründung, warum man mit [mm] $\IL=\left[\frac{5^n+1}{2}\right]_5$ [/mm] auch die ganze
Lösungsmenge von

    $2x [mm] \equiv [/mm] 1 [mm] \mod 5^n$ [/mm]

gefunden hat. Mit obigem Satz folgt das, wenn Du die angesprochene
Kongruenz

    [mm] $\frac{5^n+1}{2} \equiv [/mm] y(n) [mm] \mod 5^n$ [/mm]

beweist - und natürlich zuvor die Formel für [mm] $y(n)\,.$ [/mm]

Gruß,
  Marcel

Bezug
        
Bezug
Lösung der Kongruenz finden: Antwort
Status: (Antwort) fertig Status 
Datum: 08:39 Mo 20.10.2014
Autor: Marcel

Hallo,

> Hallo!!!
>  
> Wenn man die Kongruenz 2x [mm]\equiv[/mm] 1 [mm]\pmod {5^n}[/mm] hat, dann
> kann man die Lösung finden, indem man die Formel
> [mm]x=\frac{5^n+1}{2}[/mm] benutzt.
>  
> Wenn man die Kongruenz ax [mm]\equiv[/mm] b [mm]\pmod{ 5^n}[/mm] hat, kann
> man dann auch die Lösung von der Formel [mm]x=\frac{5^n+b}{a}[/mm]
> finden?

nochmal in einem etwas wacheren Zustand von mir:

Für

    $ax [mm] \equiv [/mm] b [mm] \mod 5^n$ [/mm]

ist natürlich

    [mm] $x=\frac{5^n+b}{a}$ [/mm]

jedenfalls dann eine Lösung, wenn [mm] $\frac{5^n+b}{a} \in \IZ\,.$ [/mm]

Das folgt ja sofort durch einsetzen.

Gruß,
  Marcel

Bezug
                
Bezug
Lösung der Kongruenz finden: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 11:39 Di 21.10.2014
Autor: evinda

Also wenn man die Kongruenz 8x [mm] \equiv [/mm] 3 [mm] \pmod {5^2} [/mm] lösen will, weiß man dass die Lösung die folgende ist?

[mm] x=\frac{5^2+3}{8}=\frac{28}{8} \notin \mathbb{Z} [/mm]

Falls ja, heißt das,dass die Kongruenz keine Lösung hat?



Bezug
                        
Bezug
Lösung der Kongruenz finden: Antwort
Status: (Antwort) fertig Status 
Datum: 13:17 Di 21.10.2014
Autor: angela.h.b.


> Also wenn man die Kongruenz 8x [mm]\equiv[/mm] 3 [mm]\pmod {5^2}[/mm] lösen
> will, weiß man dass die Lösung die folgende ist?

>

> [mm]x=\frac{5^2+3}{8}=\frac{28}{8} \notin \mathbb{Z}[/mm]

>

> Falls ja, heißt das,dass die Kongruenz keine Lösung hat?


Hallo,

nein, das heißt es nicht.

Mit dem erweiterten euklidischen Algorithmus findest Du ganze Zahlen a und b so, daß 1=a*8+b*25.
Es ist 1=-3*8+1*25

Wir haben also 1=-3*8 (mod 25),
also ist 3=-9*8 (mod 25),

damit haben wir: alle ganzen Zahlen x mit
[mm] x\equiv [/mm] -9=16 (mod 25) lösen die Gleichung.

LG Angela









>
>

Bezug
                        
Bezug
Lösung der Kongruenz finden: Antwort
Status: (Antwort) fertig Status 
Datum: 18:09 Di 21.10.2014
Autor: Marcel

Hallo,

> Also wenn man die Kongruenz 8x [mm]\equiv[/mm] 3 [mm]\pmod {5^2}[/mm] lösen
> will, weiß man dass die Lösung die folgende ist?
>  
> [mm]x=\frac{5^2+3}{8}=\frac{28}{8} \notin \mathbb{Z}[/mm]
>  
> Falls ja, heißt das,dass die Kongruenz keine Lösung hat?

wie Angela schon sagte: Nö.

Schau' in den von mir erwähnten Satz:
Weil [mm] $\ggT(8,3)=1\,$ [/mm] ein Teiler von [mm] $25\,$ [/mm] ist, ist diese Kongruenz lösbar...

Gruß,
  Marcel

Bezug
                        
Bezug
Lösung der Kongruenz finden: Antwort
Status: (Antwort) fertig Status 
Datum: 00:35 Mi 22.10.2014
Autor: Marcel

Hallo,

nur nochmal nebenbei:

> Also wenn man die Kongruenz 8x [mm]\equiv[/mm] 3 [mm]\pmod {5^2}[/mm] lösen
> will, weiß man dass die Lösung die folgende ist?
>  
> [mm]x=\frac{5^2+3}{8}=\frac{28}{8} \notin \mathbb{Z}[/mm]
>  
> Falls ja, heißt das,dass die Kongruenz keine Lösung hat?

ich hatte gesagt:

> Für

>     $ ax [mm] \equiv [/mm] b [mm] \mod 5^n [/mm] $

> ist natürlich

>     $ [mm] x=\frac{5^n+b}{a} [/mm] $

> eine Lösung, falls [mm] $\frac{5^n+b}{a} \in \IZ\,.$ [/mm]

D.h.:

    [mm] $x_0:=\frac{5^n+b}{a} \in \IZ$ [/mm]

    [mm] $\Rightarrow$ $x_0$ [/mm] ist Lösung von $ax [mm] \equiv [/mm] b [mm] \mod 5^n\,.$ [/mm]

Wenn eine Folgerung

    $A [mm] \Rightarrow [/mm] B$

gilt, dann gilt natürlich keineswegs zugleich

    [mm] $\neg [/mm] A [mm] \Rightarrow \neg B\,,$ [/mm]

sondern nur (in äquivalenter Weise)

    [mm] $\neg [/mm] B [mm] \Rightarrow \neg A\,.$ [/mm]
(Kontraposition!)

Anders gesagt: Ich hätte oben in gleichwertiger Weise nur sagen können:
Wenn gilt, dass

    [mm] $x_0=\frac{5^2+3}{8}$ [/mm] keine Lösung von $8x [mm] \equiv [/mm] 3 [mm] \mod [/mm] 25$

ist, dann gilt auch

    [mm] $x_0=\frac{5^2+3}{8}\red{\,\notin\;\IZ}\,.$ [/mm]

Gruß,
  Marcel

Bezug
                        
Bezug
Lösung der Kongruenz finden: Antwort
Status: (Antwort) fertig Status 
Datum: 00:52 Mi 22.10.2014
Autor: leduart

Hallo
durch 8 (oder eine andere Zahl zu dividieren macht in  mod Rechnungen keinen Sinn, es sei denn, du interpretierst als 1/8 das multiplikative Inverse zu 8  und das ist -3 oder 22.
also steht da [mm] (5^2+3)*22 [/mm] oder *(-3)
Gruß leduart

Bezug
                                
Bezug
Lösung der Kongruenz finden: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 08:38 Mi 22.10.2014
Autor: Marcel

Hallo,

> Hallo
>  durch 8 (oder eine andere Zahl zu dividieren macht in  mod
> Rechnungen keinen Sinn, es sei denn, du interpretierst als
> 1/8 das multiplikative Inverse zu 8  und das ist -3 oder
> 22.

ne, da war sicher mit

    [mm] $\frac{5^n+b}{a}$ [/mm]

der Bruch in [mm] $\IR$ [/mm] gemeint. Und das macht bedingt durchaus Sinn. Falls
dieser Bruch auch in [mm] $\IZ$ [/mm] ist, kennen wir eine Lösung (in [mm] $\IZ$), [/mm] und dann können
wir gucken, zu welcher Äquivalenzklasse mod [mm] $5^n$ [/mm] diese gehört.

Für [mm] $a=2\,$ [/mm] und [mm] $b=1\,$ [/mm] habe ich das doch

    hier (klick!)

gemacht.

Aber Deine Andeutung ist auch gut, denn damit kann man sich vielleicht
auf anderem Wege erklären, wann

    $ax [mm] \equiv [/mm] b$ [mm] $\mod [/mm] n$

lösbar ist und wann nicht (Existenz eines "multiplikativ inversen" von ... in [mm] $\IZ/n\IZ$...) [/mm]

Gruß,
  Marcel

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


^ Seitenanfang ^
www.vorhilfe.de