Równanie diofantyczne: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
interpunkcja |
poprawa definicji i przypisy |
||
Linia 1: | Linia 1: | ||
'''Równanie diofantyczne''' – [[równanie]] postaci: |
|||
{{dopracować|źródła=2016-09}} |
|||
'''Równanie diofantyczne''' – [[równanie]], którego rozwiązania szuka się w zbiorze [[liczby całkowite|liczb całkowitych]] lub [[liczby naturalne|liczb naturalnych]]. Zwykle rozważa się równania diofantyczne o dwóch lub więcej niewiadomych – równania z jedną niewiadomą dają się rozwiązać metodami algebraicznymi. Nazwa pochodzi od [[Diofantos]]a. |
|||
:<math>f(x_1,x_2,...,x_n)=0</math> |
|||
gdzie <math>f</math> jest n-argumentową funkcją <math>(n \geq 2)</math> i którego rozwiązania szukamy w dziedzinie [[liczby całkowite|liczb całkowitych]]. Jeżeli <math>f</math> jest wielomianem ze współczynnikami całkowitymi to takie równanie nazywamy ''algebraicznym równaniem diofantycznym''.{{odn|Andreescu|Andrica|Cucurezeanu|2010}} |
|||
⚫ | |||
⚫ | |||
* równanie <math>x^{n}+y^{n}=z^{n}\,</math>: dla <math>n=2\,</math> równanie to obrazuje zależność między długościami boków w [[trójkąt prostokątny|trójkącie prostokątnym]] (zobacz: [[trójki pitagorejskie]]). Dla <math>n>2\,</math> równanie to nie ma rozwiązań – jest to treść [[Wielkie twierdzenie Fermata|wielkiego twierdzenia Fermata]]. |
* równanie <math>x^{n}+y^{n}=z^{n}\,</math>: dla <math>n=2\,</math> równanie to obrazuje zależność między długościami boków w [[trójkąt prostokątny|trójkącie prostokątnym]] (zobacz: [[trójki pitagorejskie]]). Dla <math>n>2\,</math> równanie to nie ma rozwiązań – jest to treść [[Wielkie twierdzenie Fermata|wielkiego twierdzenia Fermata]]. |
||
* równanie <math>ax+by=c\,</math> (''a'', ''b'', ''c'' są dane) jest równaniem diofantycznym liniowym. Ma rozwiązanie wtedy i tylko wtedy, gdy [[największy wspólny dzielnik]] liczb ''a'' i ''b'' dzieli ''c''. |
* równanie <math>ax+by=c\,</math> (''a'', ''b'', ''c'' są dane) jest równaniem diofantycznym liniowym. Ma rozwiązanie wtedy i tylko wtedy, gdy [[największy wspólny dzielnik]] liczb ''a'' i ''b'' dzieli ''c''. |
||
Linia 11: | Linia 15: | ||
== Typowe problemy == |
== Typowe problemy == |
||
Badając dane równanie diofantyczne staramy się przede wszystkim odpowiedzieć na następujące pytania: |
Badając dane równanie diofantyczne staramy się przede wszystkim odpowiedzieć na następujące pytania:{{odn|Andreescu|Andrica|Cucurezeanu|2010}} |
||
* Czy ma ono rozwiązania? |
* Czy ma ono rozwiązania? |
||
* Jeśli tak, to ile ich jest (skończenie, czy nieskończenie wiele)? |
* Jeśli tak, to ile ich jest (skończenie, czy nieskończenie wiele)? |
||
Linia 24: | Linia 28: | ||
====Metoda dekompozycji==== |
====Metoda dekompozycji==== |
||
Polega na przekształceniu równania z postaci: |
Polega na przekształceniu równania z postaci:{{odn|Andreescu|Andrica|Cucurezeanu|2010|s=3}} |
||
:<math>D(x_1,...,x_n) = 0</math> |
:<math>D(x_1,...,x_n) = 0</math> |
||
Linia 66: | Linia 70: | ||
====Rozwiązania z wykorzystaniem nierówności==== |
====Rozwiązania z wykorzystaniem nierówności==== |
||
Metoda polega na ograniczeniu przestrzeni potencjalnych rozwiązań równania do skończonego zbioru. |
Metoda polega na ograniczeniu przestrzeni potencjalnych rozwiązań równania do skończonego zbioru.{{odn|Andreescu|Andrica|Cucurezeanu|2010|s=13}} |
||
=====Przykład===== |
=====Przykład===== |
||
Linia 88: | Linia 92: | ||
== Zobacz też == |
== Zobacz też == |
||
* [[równanie diofantyczne (automatyka)]] |
* [[równanie diofantyczne (automatyka)]] |
||
* [[zbiór diofantyczny]] |
|||
* [[dziesiąty problem Hilberta]] |
|||
{{Przypisy}} |
|||
== Bibliografia == |
|||
* {{cytuj książkę |imię=Titu |nazwisko=Andreescu |imię2=Dorin |nazwisko2=Andrica |imię3=Ion |nazwisko3=Cucurezeanu |tytuł=An Introduction to Diophantine Equations A Problem-Based Approach|wydawca=Birkhäuser |data=2010 |isbn=978-0-8176-4548-9 |odn=tak}} |
|||
{{Kontrola autorytatywna}} |
{{Kontrola autorytatywna}} |
Wersja z 15:26, 18 lip 2017
Równanie diofantyczne – równanie postaci:
gdzie jest n-argumentową funkcją i którego rozwiązania szukamy w dziedzinie liczb całkowitych. Jeżeli jest wielomianem ze współczynnikami całkowitymi to takie równanie nazywamy algebraicznym równaniem diofantycznym.[1]
Przykłady równań diofantycznych
- równanie : dla równanie to obrazuje zależność między długościami boków w trójkącie prostokątnym (zobacz: trójki pitagorejskie). Dla równanie to nie ma rozwiązań – jest to treść wielkiego twierdzenia Fermata.
- równanie (a, b, c są dane) jest równaniem diofantycznym liniowym. Ma rozwiązanie wtedy i tylko wtedy, gdy największy wspólny dzielnik liczb a i b dzieli c.
- równanie ma w liczbach naturalnych jedno rozwiązanie: (3,3)
- równanie ma w liczbach naturalnych dwa rozwiązania, gdy : oraz
- równanie () zwane równaniem Pella (od nazwiska angielskiego matematyka Johna Pella; sam Pell nie zajmował się takimi równaniami) – jeżeli jest kwadratem liczby naturalnej, to równanie nie ma rozwiązań, jeżeli zaś nie jest, ma ich ono nieskończenie wiele. Rozwiązania te tablicuje się w zależności od .
- równanie jest warunkiem istnienia tzw. pętli pierwszego stopnia w ciągu Collatza-Ulama, ma ono tylko jedno rozwiązanie, dla a=1, k=1 oraz x=1, które odpowiada występowaniu pętli trywialnej w tym ciągu.
Typowe problemy
Badając dane równanie diofantyczne staramy się przede wszystkim odpowiedzieć na następujące pytania:[1]
- Czy ma ono rozwiązania?
- Jeśli tak, to ile ich jest (skończenie, czy nieskończenie wiele)?
- Czy istnieje algorytm na ich wyznaczanie?
W przypadku wielu prostych równań te i inne pytania pozostawały bez odpowiedzi przed długie lata, a próby znalezienia ich częstokroć prowadziły do głębokich badań i rozwoju nowych teorii matematycznych. Klasycznym przykładem jest wielkie twierdzenie Fermata, które pozostawało bez dowodu przez blisko 350 lat.
Metody rozwiązywania
Podstawowe metody
Metoda dekompozycji
Polega na przekształceniu równania z postaci:[2]
do postaci:
gdzie i .
Następnie liczbę rozkładamy na czynników pierwszych. Każdy taki rozkłada daje układ równań postaci:
Suma zbioru rozwiązań tych układów daje zbiór rozwiązań równania .
Przykład
Rozważmy równanie:
I przekształćmy je w następujący sposób:
odpowiada to dwóm możliwościom:
co daje rozwiązanie: lub
Rozwiązania z wykorzystaniem nierówności
Metoda polega na ograniczeniu przestrzeni potencjalnych rozwiązań równania do skończonego zbioru.[3]
Przykład
Szukamy wszystkich par liczb całkowitych spełniających równanie:
Po pierwsze, rozwiązaniem powyższego równania są wszystkie pary postaci
Teraz rozważmy takie rozwiązania, że , wtedy równanie możemy podzielić obustronnie przez :
i przekształcić do postaci:
Z tego wynikają nierówności i ograniczające położenie niewiadomych do przedziału . Ponieważ rozpatrujemy rozwiązania w dziedzinie liczb całkowitych daje to dziewięć potencjalnych rozwiązań. Poprzez sprawdzenie każdej możliwości z osobna możemy pokazać, że rozwiązaniami są pary: ,,,,.
Zobacz też
Bibliografia
- Titu Andreescu, Dorin Andrica, Ion Cucurezeanu: An Introduction to Diophantine Equations A Problem-Based Approach. Birkhäuser, 2010. ISBN 978-0-8176-4548-9.