Problem z dowodem twierdzenia.

Podzielność. Reszty z dzielenia. Kongruencje. Systemy pozycyjne. Równania diofantyczne. Liczby pierwsze i względnie pierwsze. NWW i NWD.
Zahion
Moderator
Moderator
Posty: 2095
Rejestracja: 9 gru 2012, o 19:46
Płeć: Mężczyzna
Lokalizacja: Warszawa, mazowieckie
Podziękował: 139 razy
Pomógł: 504 razy

Problem z dowodem twierdzenia.

Post autor: Zahion »

Witam!
Znalazłem dowód twierdzenia o dzieleniu z resztą -
Schodząc w dól mamy dowód jednoznaczności i coś mi sprawia problem... Mianowicie
Wikipiedia pisze:Podobnie dla \(\displaystyle{ d < 0}\) jest \(\displaystyle{ r \le r'}\)
Z warunku mamy, że \(\displaystyle{ q - q' \le 0}\) i \(\displaystyle{ d < 0}\) a stąd przeto \(\displaystyle{ (q-q')d \ge 0}\) stąd winno być \(\displaystyle{ r - r' \ge 0}\) tj. \(\displaystyle{ r \ge r'}\). Natomiast ostatnia nierówność według Wiki jest w drugą stronę, dlaczego ? Czy gdzieś robię błąd ?
Pozdrawiam
Awatar użytkownika
Ponewor
Moderator
Moderator
Posty: 2218
Rejestracja: 30 sty 2012, o 21:05
Płeć: Mężczyzna
Lokalizacja: Warszawa
Podziękował: 70 razy
Pomógł: 297 razy

Problem z dowodem twierdzenia.

Post autor: Ponewor »

Tamto odejmowanie stronami na początku wygląda podejrzanie.
Zahion
Moderator
Moderator
Posty: 2095
Rejestracja: 9 gru 2012, o 19:46
Płeć: Mężczyzna
Lokalizacja: Warszawa, mazowieckie
Podziękował: 139 razy
Pomógł: 504 razy

Problem z dowodem twierdzenia.

Post autor: Zahion »

Czyżby po prawej stronie powinno być \(\displaystyle{ r'-r}\) ?
Więc mam rozumieć, że w dowodzie jest błąd ?
Awatar użytkownika
Ponewor
Moderator
Moderator
Posty: 2218
Rejestracja: 30 sty 2012, o 21:05
Płeć: Mężczyzna
Lokalizacja: Warszawa
Podziękował: 70 razy
Pomógł: 297 razy

Problem z dowodem twierdzenia.

Post autor: Ponewor »

No tak.
ODPOWIEDZ