Odejmowanie

Odejmowanie – działanie odwrotne do dodawania. Odejmowane obiekty to odpowiednio odjemna i odjemnik, wynik zaś nazywany jest różnicą^[1].

Odejmowanie oznaczane jest zwyczajowo znakiem minusa^[a].

Odejmowanie zalicza się do czterech podstawowych działań arytmetycznych^[2].

Odejmowanie liczb

Najczęściej używane jest odejmowanie liczb, np. $3-2=1,$ co czyta się: „trzy minus dwa równa się jeden” albo „trzy odjąć dwa równa się jeden”.

Odejmowanie pisemne liczb naturalnych

Poniżej podany jest przykład obliczania różnicy dwóch trzycyfrowych liczb: $654$ i $273.$ Piszemy drugą liczbę pod pierwszą, a cyfry ustawiamy w kolumnach wyrównując je do prawej; pod drugą liczbą rysujemy linię:

${\begin{array}{r}&6&5&4\\-&2&7&3\\\hline {}\end{array}}$

Cyfrą jedności $654$ jest $4;$ cyfrą jedności $273$ jest $3.$ Obliczamy $4-3=1,$ więc na pozycji jedności pod kreską piszemy $1{:}$

${\begin{array}{r}&6&5&4\\-&2&7&3\\\hline &&&1\end{array}}$

Cyfrą dziesiątek $654$ jest $5;$ cyfrą dziesiątek $273$ jest $7.$ Ponieważ $5<7$ i wynik wyszedłby ujemny „pożyczamy” $1$ z następnej pozycji. Oznacza to, że teraz dodajemy $10,$ a przy następnej cyfrze odejmiemy $1.$ Mamy zatem $15-7=8;$ piszemy $8$ pod kreską na kolejnym od prawej miejscu, a $1$ pożyczamy z kolumny setek, co można sobie zanotować na boku:

${\begin{array}{r}&-1\\&6&5&4\\-&2&7&3\\\hline &&8&1\end{array}}$

Pozostała kolumna setek: odejmujemy $6-2-1$ (ten 1 to „pożyczka”) z trzeciej kolumny, otrzymując $3,$ piszemy $3$ w kolumnie setek pod kreską:

${\begin{array}{r}&-1\\&6&5&4\\-&2&7&3\\\hline &3&8&1\end{array}}$

otrzymując wynik $654-273=381.$

W ten sposób odejmuje się zawsze mniejszą liczbę od większej. Jeśli chcemy odjąć większą od mniejszej, zamieniamy je, odejmujemy, a na koniec przed wynikiem stawiamy znak minusa (gdyż wynik będzie wtedy liczbą ujemną). Na przykład chcąc obliczyć $23-54,$ obliczamy $54-23=31,$ a następnie dostawiamy minus otrzymując $23-54=(-31).$

Ten sam algorytm może służyć do odejmowania liczb w dowolnym systemie pozycyjnym.

Odejmowanie liczb całkowitych

Możliwe są cztery przypadki, różniące się znakiem odejmowanych liczb:

Jeśli obydwie są nieujemne, odejmujemy je tak jak liczby naturalne powyżej. Znak różnicy zależy od tego, czy większa jest odjemna, czy odjemnik.
Jeśli obydwie są ujemne (oznaczmy je $-a$ i $-b$ ), to wynikiem jest różnica ich wartości bezwzględnych $a$ i $b$ zapisanych w odwrotnej kolejności: $(-a)-(-b)=b-a.$ Tu również znak zależy od tego, czy większa jest odjemna, czy odjemnik.
Jeśli pierwsza liczba jest nieujemna $(a)$ a druga ujemna $(-b),$ to odejmowanie sprowadza się do dodawania ich wartości bezwzględnych: $a-(-b)=a b.$
Jeśli pierwsza liczba jest ujemna $(-a)$ a druga nieujemna $(b),$ to odejmowanie sprowadza się do dodania ich wartości bezwzględnych i zmiany znaku wyniku: $-a-b=-(a b).$

Zamiast tych reguł wystarczy pamiętać jedną: odjąć liczbę $b$ – to znaczy dodać przeciwną do niej liczbę $-b.$

Odejmowanie ułamków

Dla liczb wymiernych ${\frac {a}{b}}$ i ${\frac {c}{d}}$ odejmowanie wymaga najpierw tzw. sprowadzenia do wspólnego mianownika, czyli takiego przekształcenia tych ułamków, aby ich mianowniki były równe.

Wówczas można zastosować wzór:

{\frac {k}{m}}-{\frac {l}{m}}={\frac {k-l}{m}}.

Najmniejszym wspólnym mianownikiem, jaki można tu zastosować, jest najmniejsza wspólna wielokrotność mianowników odjemnej i odjemnika.

Przykład:

{\frac {3}{4}}-{\frac {1}{6}}={\frac {3\times 3}{4\times 3}}-{\frac {1\times 2}{6\times 2}}={\frac {9}{12}}-{\frac {2}{12}}={\frac {9-2}{12}}={\frac {7}{12}}.

Można też wykorzystać fakt, że sprowadzenie do wspólnego mianownika najłatwiej wykonać mnożąc licznik i mianownik pierwszego ułamka przez mianownik drugiego ułamka, a licznik i mianownik drugiego ułamka przez mianownik pierwszego. Odejmowanie sprowadza się wtedy do wzoru:

{\frac {a}{b}}-{\frac {c}{d}}={\frac {ad}{bd}}-{\frac {cb}{db}}={\frac {ad-cb}{bd}}.

Przykład:

{\frac {3}{4}}-{\frac {1}{6}}={\frac {3\times 6}{4\times 6}}-{\frac {1\times 4}{6\times 4}}={\frac {3\times 6-1\times 4}{4\times 6}}={\frac {14}{24}}={\frac {7}{12}}.

W przypadku odejmowania pisemnego ułamków dziesiętnych należy przesunąć obydwie liczby tak, aby przecinek dziesiętny był w tym samym miejscu:

${\begin{array}{r}&1&2,&5&\\-&&5,&8&1\\\hline &&6,&6&9\end{array}}$

Definicja formalna

Formalnie odejmowanie definiowane jest jako działanie odwrotne do dodawania^[2]:

a-b=c\Leftrightarrow a=b c.

Działanie odejmowania można także zdefiniować osobno dla każdego rodzaju liczb:

odejmowanie dwóch liczb całkowitych $a-b$ i $c-d$ (gdzie $a,b,c,d\in \mathbb {N}$ ) określone jest wzorem

(a-b)-(c-d)=(a d)-(b c);

odejmowanie dwóch liczb wymiernych określone jest wzorem

{\frac {a}{b}}-{\frac {c}{d}}={\frac {ad-bc}{bd}}

(w ogólności wzór ten jest definicją odejmowania w dowolnym ciele ułamków);

odejmowanie dwóch liczb rzeczywistych jest określone następująco: jeżeli $a_{n}$ jest ciągiem Cauchy’ego zbieżnym do $A,$ a $b_{n}$ jest zbieżnym do $B$ to ciąg $c_{n}=a_{n}-b_{n}$ jest ciągiem liczb wymiernych zbieżnym do $C=A-B;$
odejmowanie dwóch liczb zespolonych określone jest wzorem

(a bi)-(c di)=(a-c) (b-d)i;

odejmowanie dwóch kwaternionów określone jest wzorem

(a bi cj dk)-(p qi rj sk)=(a-p) (b-q)i (c-r)j (d-s)k.

Własności różnicy wynikające z własności odjemnej i odjemnika

Odjemna	Odjemnik	Różnica
parzysta	parzysty	parzysta
nieparzysta	nieparzysty	parzysta
parzysta	nieparzysty	nieparzysta
naturalna	naturalny	całkowita
całkowita	całkowity	całkowita
całkowita	niecałkowity	niecałkowita
wymierna	wymierny	wymierna
wymierna	niewymierny	niewymierna
większa	mniejszy	dodatnia
mniejsza	większy	ujemna
algebraiczna	algebraiczny	algebraiczna
algebraiczna	przestępny	przestępna
rzeczywista	rzeczywisty	rzeczywista
zespolona	zespolony	zespolona

Kolejność wykonywania działań

Odejmowanie wykonujemy od lewej do prawej:

a-b-c-d=((a-b)-c)-d.

Kolejność wykonywania odejmowania ma znaczenie (odejmowanie nie jest łączne):

(4-3)-2=1-2=-1,

ale

4-(3-2)=4-1=3.

Odejmowanie nie jest również przemienne, zamiana argumentów zmienia znak różnicy:

10-4=6,

ale

4-10=-6.

Różnica funkcji

Różnicę funkcji $f,g\colon X\to Y,$ gdzie $Y$ jest pewnym zbiorem ze dodawaniem jako działaniem wewnętrznym (czyli grupą czy, w szczególności, przestrzenią liniową) definiuje się jako

(f-g)(x)=f(x)-g(x)

dla wszystkich

x\in X.

Przykłady użycia:

Traktując macierze jako funkcje można określić w ten sposób działanie odejmowania macierzy. Aby odjąć dwie macierze wystarczy odjąć ich elementy.
Traktując ciągi jako funkcje można określić odejmowanie ciągów.
Traktując wielomiany (właściwie funkcje wielomianowe) jako funkcje rzeczywiste $\mathbb {R} \to \mathbb {R}$ otrzymujemy analogiczną definicję odejmowania, używaną w analizie matematycznej.
Traktując wielomiany jako ciągi współczynników (np. zapisując $3x^{2} x 5$ jako $(5,1,3,0,0,\dots )$ ) otrzymuje się definicję różnicy wielomianów używaną w algebrze abstrakcyjnej; aby odjąć dwa wielomiany należy odjąć ich współczynniki. Definicję tę rozszerza się w oczywisty sposób na pierścień szeregów formalnych.

Odejmowanie modulo

Działanie odejmowania można określić w pierścieniu Z_n.

Odejmowanie modulo polega na obliczaniu reszty z dzielenia różnicy liczb przez $n.$ Przykład: w algebrze $Z_{5}$ zachodzi:

0-1\equiv 4\ {\pmod {5}},

4-1\equiv 3\ {\pmod {5}},

4-4\equiv 0\ {\pmod {5}}.

Odejmowanie wektorów

Osobny artykuł: Różnica wektorów.

Odejmowanie wektorów polega na odejmowaniu ich współrzędnych. Można też sprowadzić odejmowanie wektora do dodawania wektora o przeciwnym zwrocie. Wówczas takie dwa wektory można dodawać algebraicznie lub geometrycznie (używając reguły trójkąta lub reguły równoległoboku)

Gdy $a$ jest punktem oraz $b$ jest wektorem to różnicę $a-b$ należy rozumieć jako translację punktu $a$ o wektor $-b.$

Odejmowanie jako działanie w strukturze algebraicznej

Odejmowanie elementów $a$ i $b$ jest określane jako działanie odwrotne do dodawania:

a-b=c\Leftrightarrow a=b c.

Nie zawsze istnieje element $c$ o takich właściwościach. Na przykład w zbiorze liczb naturalnych, tworzących z dodawaniem tzw. półgrupę, nie da się odjąć większej liczby od mniejszej. W strukturach algebraicznych zwanych grupami jest to już zawsze możliwe (jeśli to grupa addytywna); tam zawsze $a-b=a (-b),$ gdzie $-b$ jest elementem przeciwnym do $b.$ Czasem w różnych abstrakcyjnych strukturach, dla odróżnienia od zwykłego odejmowania liczb, stosuje się inny podobny znak, np. $\ominus .$

Generalnie w strukturach zwanych pierścieniami odejmowanie nie jest przemienne, łączne, jest jednak rozdzielne względem mnożenia (w przypadku przestrzeni liniowej jest to rozdzielność względem mnożenia wektora przez skalar).

Równości i kongruencje można odejmować stronami: