Διοφαντικές Εξισώσεις

Εισαγωγή στις Διοφαντικές Εξισώσεις

Οι Διοφαντικές εξισώσεις είναι αλγεβρικές εξισώσεις όπου αναζητούμε ακέραιες (ή ρητές) λύσεις. Πήραν το όνομά τους από τον Έλληνα μαθηματικό Διόφαντο της Αλεξάνδρειας (~250 μ.Χ.).

Γραμμικές Διοφαντικές Εξισώσεις

Η Εξίσωση $ax + by = c$

Θεώρημα: Η εξίσωση $ax + by = c$ (με $a, b, c \in \mathbb{Z}$, $a, b \neq 0$) έχει ακέραιες λύσεις αν και μόνο αν:

$$\gcd(a, b) \mid c$$

Εύρεση Λύσεων

Βήμα 1: Έλεγξε αν $d = \gcd(a, b)$ διαιρεί το $c$.

Βήμα 2: Αν ναι, διαίρεσε όλη την εξίσωση με $d$:

$$\frac{a}{d}x + \frac{b}{d}y = \frac{c}{d}$$

Βήμα 3: Χρησιμοποίησε τον επεκτεταμένο αλγόριθμο Ευκλείδη για να βρεις μια ειδική λύση $(x_0, y_0)$.

Βήμα 4: Η γενική λύση είναι:

$$x = x_0 + \frac{b}{d}t, \quad y = y_0 - \frac{a}{d}t, \quad t \in \mathbb{Z}$$

Θετικές Λύσεις

Για να βρούμε θετικές λύσεις, απαιτούμε:

$$x > 0 \text{ και } y > 0$$

Αυτό δίνει περιορισμούς στην παράμετρο $t$.

Πυθαγόρειες Τριάδες

Ορισμός: Μια Πυθαγόρεια τριάδα είναι τρεις θετικοί ακέραιοι $(a, b, c)$ με:

$$a^2 + b^2 = c^2$$

Πρωτογενής τριάδα: $\gcd(a, b, c) = 1$

Θεώρημα: Κάθε πρωτογενής Πυθαγόρεια τριάδα με $a$ περιττό δίνεται από:

$$a = m^2 - n^2, \quad b = 2mn, \quad c = m^2 + n^2$$

όπου $m > n > 0$, $\gcd(m, n) = 1$ και τα $m, n$ έχουν διαφορετική ισοτιμία.

Παραδείγματα:

• $(3, 4, 5)$: $m=2, n=1$
• $(5, 12, 13)$: $m=3, n=2$
• $(8, 15, 17)$: $m=4, n=1$
• $(7, 24, 25)$: $m=4, n=3$

Τελευταίο Θεώρημα Fermat

Θεώρημα (Fermat-Wiles): Η εξίσωση:

$$x^n + y^n = z^n$$

δεν έχει λύσεις σε θετικούς ακεραίους για $n \geq 3$.

Αποδείχθηκε από τον Andrew Wiles το 1995.

Εξίσωση Pell

Μορφή: $x^2 - Dy^2 = 1$ όπου $D > 0$ μη τέλειο τετράγωνο.

Θεώρημα: Η εξίσωση Pell έχει άπειρες λύσεις σε θετικούς ακεραίους.

Η ελάχιστη λύση $(x_1, y_1)$ βρίσκεται από τη συνεχή κλασματική ανάπτυξη του $\sqrt{D}$.

Όλες οι λύσεις δίνονται από:

$$x_n + y_n\sqrt{D} = (x_1 + y_1\sqrt{D})^n$$

Μέθοδος Απειρης Καθόδου

Μια τεχνική απόδειξης ότι μια Διοφαντική εξίσωση δεν έχει λύσεις:

1. Υπόθεσε ότι υπάρχει λύση $(x, y)$
2. Δείξε ότι υπάρχει «μικρότερη» λύση $(x', y')$
3. Επανέλαβε, οδηγούμενος σε άτοπο (δεν υπάρχουν άπειρα μικρότερες θετικές λύσεις)

Χρήσιμες Τεχνικές

Ανάλυση modulo $n$

Έλεγχος αν η εξίσωση έχει λύσεις με εξέταση modulo κατάλληλο $n$.

Παραγοντοποίηση

Μετατροπή σε γινόμενο: $xy = c$ ή $(x-a)(y-b) = c$.

Άνω/Κάτω Φράγματα

Περιορισμός των πιθανών τιμών των μεταβλητών.