Ujemny wynik działania modulo?

Podzielność. Reszty z dzielenia. Kongruencje. Systemy pozycyjne. Równania diofantyczne. Liczby pierwsze i względnie pierwsze. NWW i NWD.
kapecsandal
Użytkownik
Użytkownik
Posty: 15
Rejestracja: 20 wrz 2009, o 22:11
Płeć: Mężczyzna
Lokalizacja: Stolica
Podziękował: 1 raz

Ujemny wynik działania modulo?

Post autor: kapecsandal »

W szkole uczono mnie, że reszta z dzielenia nie może być ujemna. Tymczasem w windowsowym kalkulatorze podzieliłem modulo -4 przez 8 i otrzymałem wynik "-4". Problem tkwi w mojej wiedzy czy w windowsowym kalkulatorze?
Awatar użytkownika
Zordon
Użytkownik
Użytkownik
Posty: 4977
Rejestracja: 12 lut 2008, o 21:42
Płeć: Mężczyzna
Lokalizacja: Kraków
Podziękował: 75 razy
Pomógł: 910 razy

Ujemny wynik działania modulo?

Post autor: Zordon »

Problem tkwi w tym, że modulo można różnie definiować. Mi osobiście bardziej się podoba gdy reszty są nieujemne, ale w językach programowania i np. w kalkulatorze jest przyjęta inna definicja ;]
kapecsandal
Użytkownik
Użytkownik
Posty: 15
Rejestracja: 20 wrz 2009, o 22:11
Płeć: Mężczyzna
Lokalizacja: Stolica
Podziękował: 1 raz

Ujemny wynik działania modulo?

Post autor: kapecsandal »

Działanie ma kilka definicji? To nie żart? W takim razie nie może to być działanie, którego używa się w matematyce...
Rozważmy zatem szkolne dzielenie z resztą. Co będzie wynikiem dzielenia z resztą?
Awatar użytkownika
Zordon
Użytkownik
Użytkownik
Posty: 4977
Rejestracja: 12 lut 2008, o 21:42
Płeć: Mężczyzna
Lokalizacja: Kraków
Podziękował: 75 razy
Pomógł: 910 razy

Ujemny wynik działania modulo?

Post autor: Zordon »

Ja definiuję sobie tak:
niech \(\displaystyle{ n,m\in \mathbb{Z}}\)

Definiujemy \(\displaystyle{ n \mod m=r \Leftrightarrow (n-r)|m \wedge 0 \le r<|m|}\)
oczywiście \(\displaystyle{ r}\) jest też całkowite.

To jest jeden sposób, oczywiście nikomu nie można zabronić aby sobie zdefiniował inaczej ;]
Awatar użytkownika
Dasio11
Moderator
Moderator
Posty: 10225
Rejestracja: 21 kwie 2009, o 19:04
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 40 razy
Pomógł: 2362 razy

Ujemny wynik działania modulo?

Post autor: Dasio11 »

Ale przecież prawdziwe jest:

\(\displaystyle{ 126 \equiv 42 \ \text{(mod 3)}}\)

Tak mnie uczono :] To jest tak, jak równanie z sinusem/inną funkcją okresową... Nieskończenie wiele rozwiązań, spełniających jakąś regułę.
Chociaż Zordon, Twoje działanie wygląda trochę inaczej, może to nie to samo?
Awatar użytkownika
Zordon
Użytkownik
Użytkownik
Posty: 4977
Rejestracja: 12 lut 2008, o 21:42
Płeć: Mężczyzna
Lokalizacja: Kraków
Podziękował: 75 razy
Pomógł: 910 razy

Ujemny wynik działania modulo?

Post autor: Zordon »

relacja "przystawania modulo" to już coś innego
ODPOWIEDZ