Litera x na tablicy uruchamia w większości z nas jeden odruch: trzeba coś wyliczyć. To pierwszy i najkosztowniejszy błąd w rozumieniu algebry, bo x wcale nie musi być zagadką z jedną odpowiedzią. Bywa poszukiwaną liczbą, bywa wielkością, która płynnie się zmienia, bywa wreszcie pustym miejscem na dowolną liczbę z pewnej rodziny. Od tego, którą z tych ról pełni w konkretnym zdaniu, zależy dosłownie wszystko: co wolno z nim zrobić i co w ogóle znaczy „wynik".
Algebra nie jest trudniejszą arytmetyką. Jest osobnym językiem — takim, w którym mówi się nie o liczbach, lecz o zależnościach między nimi. Henri Poincaré ujął to sto lat temu tak, że matematycy nie badają samych obiektów, tylko relacje między nimi, i pozostają obojętni na podmianę obiektów, dopóki relacje zostają te same. Ten tekst jest warstwą narracyjną nad naszym działem o algebrze: skąd wziął się zapis, którego używamy, co w nim jest umową, a co twardą regułą.
Dwa tysiące lat drogi do symbolu
Historycy dzielą rozwój zapisu algebraicznego na trzy etapy i sam ten podział mówi więcej niż niejedna definicja. Najdłużej trwała algebra retoryczna: w Babilonii, Egipcie, Grecji i we wczesnej matematyce islamskiej problemy i procedury opisywano pełnymi zdaniami języka potocznego, bez jednego symbolu operacyjnego. Potem przyszła algebra synkopowana — Diofantos z Aleksandrii w III wieku n.e. zaczął stosować skróty na powtarzające się pojęcia, głównie na niewiadomą i jej potęgi. Dopiero na przełomie XVI i XVII wieku w Europie ukształtowała się algebra symboliczna, czyli to, co dziś uznajemy za oczywistość.
Warto się przy tej chronologii zatrzymać. Ludzie rozwiązywali równania kwadratowe długo przed tym, zanim wymyślili znak równości. Symbolika nie była punktem wyjścia algebry, tylko jej późnym owocem — i to dobra wiadomość dla każdego, kto uważa, że „nie widzi" wzorów. Nikt ich nie widział przez dwa tysiące lat.
Al-Chwarizmi: przywracanie i równoważenie
Około 820 roku w bagdadzkim Domu Mądrości perski uczony Muhammad ibn Musa al-Chwarizmi napisał traktat o tytule zaczynającym się od słów al-jabr wa'l-muqabala. To nie ozdobniki: obie nazwy opisują konkretne operacje, których używamy do dziś.
Al-jabr znaczy „przywrócenie", „nastawienie" — chodziło o przeniesienie odejmowanego składnika na drugą stronę równania tak, by nigdzie nie została wartość ujemna. Al-muqabala to „równoważenie", czyli redukcja wyrazów podobnych po obu stronach. Cała szkolna procedura porządkowania równania mieści się w tych dwóch słowach. Znaczenie „nastawiania" nie było przenośnią: w hiszpańskim algebrista przez stulecia oznaczał tego, kto nastawia złamane kości, czyli dosłownie przywraca stan pierwotny.
Z łacińskiej transliteracji al-jabr powstało słowo „algebra". Ze zniekształconego nazwiska autora — Algoritmi — wzięło się słowo „algorytm". Sam al-Chwarizmi pisał jednak wyłącznie zdaniami i nie znał ani zera jako wyniku, ani liczb ujemnych, więc równania kwadratowe musiał podzielić na sześć osobnych typów, żeby w każdym z nich wszystkie współczynniki były dodatnie. To, co dziś zapisujemy jednym wzorem, u niego było sześcioma rozdziałami.
Viète: litera dla tego, co znane
Prawdziwy przeskok przyszedł z Francji. François Viète (1540–1603) w wydanym w 1591 roku In artem analyticem isagoge zaproponował rachunek, który nazwał logistica speciosa — rachunek na symbolach. Jego pomysł polegał na czymś, co dziś wydaje się drobiazgiem: literami oznaczył nie tylko niewiadome, ale też wielkości znane. Wielkie samogłoski (A, E, I…) były niewiadomymi, wielkie spółgłoski (B, C, D…) — danymi.
Skutek był ogromny. Dopóki dane są liczbami, każde zadanie jest osobnym zadaniem. Gdy dane też stają się literami, można zapisać jedno wyrażenie, które opisuje całą klasę równań naraz — czyli wzór. Bez tego kroku zdanie „równanie ax + b = 0 przy a ≠ 0 ma dokładnie jedno rozwiązanie" byłoby nie do wypowiedzenia.
Viète pilnował jeszcze zasady jednorodności: wolno dodawać tylko wielkości o tym samym wymiarze geometrycznym — długość do długości, pole do pola. Ten wymóg wkrótce porzucono, ale dobrze pokazuje, jak mocno algebra była wtedy przywiązana do geometrii.
Kartezjusz i alfabet, którego używamy do dziś
Ostatni szlif dał René Descartes w La Géométrie — eseju dołączonym do Rozprawy o metodzie z 1637 roku. Odwrócił konwencję Viète'a i przeszedł na małe litery: początek alfabetu (a, b, c) dla wielkości znanych, koniec (x, y, z) dla niewiadomych i zmiennych. Ta jedna decyzja typograficzna obowiązuje w każdym podręczniku na świecie do dziś. Popularna anegdota, jakoby x wygrało dlatego, że drukarzowi kończyły się inne czcionki, jest ładna, ale nie ma dla niej dowodów — wystarczy Kartezjusz.
Ważniejsze było to, co zrobił dalej: połączył algebrę z geometrią. Krzywa stała się równaniem, a równanie krzywą. Od tego momentu „rozwiązać równanie" zyskało drugie znaczenie — można je zobaczyć jako punkt przecięcia dwóch prostych, dokładnie tak, jak pokazuje wykres w naszej lekcji o równaniach liniowych.
Dwie równoległe kreski Roberta Recorde'a
Znak = ma jednego, znanego z nazwiska autora i konkretną datę. Wymyślił go w 1557 roku walijski lekarz i matematyk Robert Recorde w podręczniku The Whetstone of Witte. Uzasadnienie było rozbrajająco proste: nie ma dwóch rzeczy bardziej sobie równych niż para odcinków tej samej długości. Chodziło o to, by przestać wypisywać w kółko słowa „jest równe". W tej samej książce znalazło się pierwsze wydrukowane po angielsku równanie algebraiczne — w dzisiejszym zapisie 14x + 15 = 71.
Symbol nie przyjął się od razu; przez blisko sto lat konkurował z innymi skrótami i dopiero druga połowa XVII wieku ostatecznie go utrwaliła. Warto o tym pamiętać, patrząc na tablicę: znak równości nie jest prawem natury, tylko wyjątkowo udanym pomysłem redakcyjnym.
Trzy role jednej litery
Tu dochodzimy do sedna. Największą barierą w algebrze nie są rachunki, tylko traktowanie każdej litery tak samo. Ta sama x może pełnić trzy zupełnie różne funkcje.
Niewiadoma żyje w kontekście statycznym — w równaniu. Reprezentuje konkretną, chwilowo nieznaną liczbę (albo skończony zbiór takich liczb), która spełnia postawiony warunek. W 3x − 12 = 0 litera x nie „przebiega" żadnych wartości; oznacza dokładnie jedną liczbę, 4.
Zmienna żyje w kontekście dynamicznym — we wzorze albo w funkcji. Reprezentuje wielkość przyjmującą wartości z całej dziedziny. W y = 3x − 12 litera x jest argumentem, a y wartością; razem wyznaczają nieskończenie wiele punktów płaszczyzny, czyli prostą.
Parametr stoi pomiędzy stałą a zmienną — to „stała, którą można zmienić". W ogólnym zapisie prostej y = ax + b zmiennymi są x i y, natomiast a i b są parametrami: ustalenie ich wartości wybiera jedną konkretną prostą z nieskończonej rodziny wszystkich prostych.
| Rola | Kontekst | Co oznacza | W zapisie y = ax + b |
|---|---|---|---|
| Niewiadoma | równanie (statyczny) | jedną szukaną liczbę spełniającą warunek | x z warunku y = 0 — miejsce zerowe prostej |
| Zmienna | funkcja, wzór (dynamiczny) | dowolną wartość z dziedziny | x to argument, y to wartość |
| Parametr | rodzina obiektów | stałą wybierającą jeden przypadek | a to nachylenie, b to wyraz wolny |
Sprawdzian jest prosty: zapytaj, czy litera czegoś szuka, czy coś przebiega, czy coś ustala. Trzy różne pytania, trzy różne odpowiedzi — i trzy różne sensy słowa „rozwiązanie".
Przekształcenie, które niczego nie gubi
Skoro równanie mówi, że dwie strony są sobie równe, to najlepszym modelem jest waga szalkowa w równowadze. Żeby jej nie zaburzyć, każdą operację trzeba wykonać po obu stronach. Otrzymane w ten sposób równania nazywamy równoważnymi: mają dokładnie ten sam zbiór rozwiązań.
Operacji bezpiecznych jest tylko dwie — obustronne dodanie (odjęcie) tej samej liczby lub wyrażenia oraz obustronne pomnożenie (podzielenie) przez liczbę różną od zera. Szkolne „przeniesienie na drugą stronę ze zmianą znaku" nie jest trzecią regułą, tylko skrótem pierwszej.
Konsekwencja jest istotniejsza, niż się wydaje. Rozwiązanie równania nie jest wynikiem rachunku, tylko ostatnim ogniwem łańcucha zdań o tej samej treści. Dlatego równanie liniowe sprowadzone do postaci a · x = b ma dokładnie trzy możliwe losy: przy a ≠ 0 jedno rozwiązanie x = b/a (równanie oznaczone), przy a = 0 i b ≠ 0 żadnego, bo 0 · x nigdy nie da liczby różnej od zera (równanie sprzeczne), a przy a = 0 i b = 0 — wszystkie liczby rzeczywiste (równanie tożsamościowe). Ostatnie dwa przypadki nie są usterką rachunku; to pełnoprawne odpowiedzi.
Dlaczego nierówność się odwraca
Nierówność zastępuje znak = relacją porządku (<, >, ≤, ≥) i przez to jej rozwiązaniem przestaje być punkt — staje się nim cały przedział. Reguły przekształceń są niemal takie same, z jednym słynnym wyjątkiem: mnożenie lub dzielenie obu stron przez liczbę ujemną odwraca zwrot znaku.
To nie jest kaprys notacji, tylko geometria osi liczbowej. Mnożenie przez −1 jest odbiciem symetrycznym względem zera, a odbicie zamienia „na lewo" z „na prawo". Weź prawdziwą nierówność 2 < 5. Po odbiciu dwójka ląduje w −2, piątka w −5 — ale −5 leży teraz dalej w lewo niż −2, więc prawdziwe jest −2 > −5. Kolejność musiała się odwrócić, bo odwróciła się cała oś. Ćwiczenia z całym zbiorem rozwiązań czekają w lekcji o nierównościach liniowych.
Dwa rachunki, w których widać całą mechanikę
Pierwszy przykład pokazuje, jak wygląda równanie sprzeczne, gdy nie zapowiada tego nic w treści. Rozwiązujemy 3(2x − 1)/4 − (x + 2)/2 = x − 2.
| Krok | Stan równania | Operacja | Dlaczego |
|---|---|---|---|
| 0 | 3(2x−1)/4 − (x+2)/2 = x−2 | — | postać wyjściowa z mianownikami |
| 1 | 3(2x−1) − 2(x+2) = 4(x−2) | · 4 obustronnie | NWW(4, 2) = 4 usuwa ułamki |
| 2 | 6x − 3 − 2x − 4 = 4x − 8 | rozdzielność mnożenia | −2 · 2 = −4, znaki pilnowane |
| 3 | 4x − 7 = 4x − 8 | redukcja wyrazów podobnych | po lewej 6x − 2x i −3 − 4 |
| 4 | −7 = −8 | − 4x obustronnie | niewiadoma znika całkowicie |
| 5 | brak rozwiązań | wniosek | zostało zdanie fałszywe |
Drugi przykład to nierówność, w której wyjątek z liczbą ujemną pojawia się w ostatnim kroku. Rozwiązujemy 5 − 2(3x − 4) ≥ 4x + 23.
| Krok | Stan nierówności | Operacja | Dlaczego |
|---|---|---|---|
| 0 | 5 − 2(3x−4) ≥ 4x+23 | — | postać wyjściowa |
| 1 | 5 − 6x + 8 ≥ 4x + 23 | rozdzielność mnożenia | −2 · (−4) = +8 |
| 2 | 13 − 6x ≥ 4x + 23 | redukcja po lewej | 5 + 8 = 13 |
| 3 | 13 − 10x ≥ 23 | − 4x obustronnie | zwrot bez zmian |
| 4 | −10x ≥ 10 | − 13 obustronnie | izolacja wyrazu z x |
| 5 | x ≤ −1 | : (−10) obustronnie | dzielenie przez ujemną — zwrot się odwraca |
Warto wykonać sprawdzenie, bo kosztuje kilkanaście sekund. Dla x = −1 obie strony dają 19, więc granica należy do zbioru. Dla x = −2 lewa strona to 25, prawa 15 — nierówność spełniona. Dla x = 0 lewa strona to 13, prawa 23, czyli fałsz. Zbiorem rozwiązań jest półprosta domknięta (−∞, −1].
Algebra przy kasie i przy termometrze
Cała ta maszyneria istnieje po to, żeby opisywać rzeczy spoza zeszytu. Koszt produkcji rozbija się na część stałą i część zależną od liczby sztuk, czyli K(q) = K_s + k_z · q — to zwykła funkcja liniowa, w której K_s i k_z są parametrami firmy, a q zmienną.
Klasykę stanowi pytanie o wspólny punkt skal temperatury. Skoro F = 1,8 · C + 32, to szukamy takiej wartości, dla której oba wskazania są równe. Podstawiamy F = C = x i mamy x = 1,8x + 32, stąd −0,8x = 32, czyli x = −40. Minus czterdzieści stopni Celsjusza to dokładnie minus czterdzieści stopni Fahrenheita — jedyne takie miejsce na obu skalach, o czym więcej piszemy przy okazji trzech zer trzech skal.
I wreszcie budżet. Wypożyczalnia liczy 100 zł opłaty stałej plus 1,50 zł za kilometr, a Ty masz 250 zł. Model to nierówność 100 + 1,50x ≤ 250, z której wychodzi 1,50x ≤ 150, czyli x ≤ 100. Sto kilometrów — i ani metra dalej. Zwróć uwagę, że odpowiedzią nie jest liczba, tylko zakres; pytanie brzmiało „ile najwyżej", a nie „ile dokładnie".
Co umowne, co ścisłe
Na koniec warto rozdzielić dwie warstwy, bo mieszanie ich jest źródłem połowy nieporozumień. Umowne jest niemal wszystko, co widać: to, że niewiadoma nazywa się x, że parametry to a i b, że równość zapisujemy dwiema kreskami, że mnożenie oznaczamy kropką albo sąsiedztwem. Każdy z tych wyborów ma autora i datę, a niektóre wyglądały kiedyś zupełnie inaczej.
Ścisłe jest to, czego żaden zapis nie ruszy: dodanie tej samej liczby do obu stron nie zmienia zbioru rozwiązań, dzielenie przez zero jest niewykonalne, mnożenie przez liczbę ujemną odwraca porządek na osi, a a(b + c) = ab + ac niezależnie od tego, jakimi znaczkami to zapiszemy. Litery są ubraniem; reguły są ciałem.
Jeśli chcesz przećwiczyć te reguły zamiast tylko o nich czytać — dział o algebrze ma zadania ze sprawdzaniem odpowiedzi, od redukcji wyrażeń po całe zbiory rozwiązań nierówności.
Dalsza lektura
- MacTutor, Abu Ja'far Muhammad ibn Musa Al-Khwarizmi i Quadratic, cubic and quartic equations (mathshistory.st-andrews.ac.uk) — biogram i historia sześciu typów równań.
- MacTutor, François Viète — o logistica speciosa i wprowadzeniu liter dla wielkości danych.
- Stanford Encyclopedia of Philosophy, Descartes' Mathematics (plato.stanford.edu) — geneza La Géométrie i połączenia algebry z geometrią.
- Jeff Miller, Earliest Uses of Symbols of Relation — udokumentowana ścieżka znaku
=od Recorde'a do jego upowszechnienia. - Wikipedia, History of algebra oraz Robert Recorde — przegląd trzech etapów zapisu z odsyłaczami do źródeł.
- Delta (deltami.edu.pl) — polskie artykuły popularnonaukowe o strukturach algebraicznych i języku matematyki.
- Khan Academy, Równania i nierówności liniowe (pl.khanacademy.org) — materiał ćwiczeniowy do równoważności równań.