Η Εικασία του Ιακωβιανού: ένα άλυτο πρόβλημα 87 ετών που λύγισε από την Τεχνητή Νοημοσύνη

 

Για σχεδόν έναν αιώνα, η Εικασία του Ιακωβιανού (Jacobian Conjecture) αποτελούσε ένα από τα πιο διάσημα άλυτα προβλήματα της Αλγεβρικής Γεωμετρίας. Από το 1939, οι μαθηματικοί προσπάθησαν να την αποδείξουν είτε να την καταρρίψουν, χωρίς επιτυχία.

Πριν από λίγες μέρες, όμως, μια είδηση προκάλεσε τεράστια αίσθηση στον μαθηματικό κόσμο. Ο 34χρονος μαθηματικός Levent Alpöge, ερευνητής της εταιρίας Τεχνητής Νοημοσύνης Anthropic και πρώην μέλος του Society of Fellows του Harvard, ανακοίνωσε ότι, με τη βοήθεια του μοντέλου τεχνητής νοημοσύνης Claude Fable 5, βρήκε ένα αντιπαράδειγμα που δείχνει ότι η περίφημη εικασία είναι λανθασμένη. Πρόκειται πλέον για μία από τις σημαντικότερες στιγμές στην ιστορία της αλληλεπίδρασης μεταξύ Μαθηματικών και Τεχνητής Νοημοσύνης.

 

Τι είναι η Εικασία του Ιακωβιανού;

Η εικασία πήρε το όνομα του Γερμανού μαθηματικού Carl Gustav Jacob Jacobi και αρχικά είχε διατυπωθεί στις 2 διαστάσεις, από τον Ludwig Krauss το 1884. Η σύγχρονη εκδοχή που αφορά τις \(n\) διαστάσεις διατυπώθηκε το 1939 από τον Γερμανό μαθηματικό Ott-Heinrich Keller και αφορά πολυωνυμικές συναρτήσεις πολλών μεταβλητών. Με πολύ απλά λόγια, εξετάζει το εξής ερώτημα:

Αν μια πολυωνυμική απεικόνιση \(F:\mathbb{C}^n\rightarrow\mathbb{C}^n\)
έχει σταθερή μη μηδενική Ιακωβιανή ορίζουσα, τότε είναι αντιστρέψιμη με πολυωνυμική αντίστροφη;

Ισχύει ότι αν η Ιακωβιανή ορίζουσα μιας πολυωνυμικής συνάρτησης είναι μια μη μηδενική σταθερά, τότε, σύμφωνα με το θεώρημα της αντίστροφης απεικόνισης του λογισμού πολλών μεταβλητών, η συνάρτηση διαθέτει τοπική ομαλή αντίστροφη γύρω από κάθε σημείο. Η Εικασία του Ιακωβιανού ισχυριζόταν ότι αυτή η τοπική αντιστρεψιμότητα αρκεί ώστε η απεικόνιση να διαθέτει μια καθολική αντίστροφη (σε ολόκληρο το χώρο), η οποία μάλιστα να είναι πολυωνυμική.

Η πρόταση αυτή φαίνεται εξαιρετικά φυσική, όμως αποδείχθηκε εντυπωσιακά δύσκολο να επαληθευτεί. Για παράδειγμα, το 1980 ο Stuart Sui-Sheng Wang απέδειξε ότι η εικασία του Ιακωβιανού ισχύει για πολυώνυμα βαθμού 2.

 

Ένα απλό παράδειγμα

Η συνάρτηση

\(u=x^2+y+x, \qquad

v=x^2+y\)

έχει Ιακωβιανή ορίζουσα

\(
J_F=
\begin{vmatrix}
1+2x & 1\
2x & 1
\end{vmatrix}
=1.
\)

Η αντίστροφή της είναι

\(
x=u-v,\qquad
y=v-(u-v)^2,
\)

η οποία είναι επίσης πολυωνυμική.

Αυτό ακριβώς το είδος των παραδειγμάτων είναι που έκανε την εικασία να φαίνεται εύλογη.

Αντίθετα, η συνάρτηση

\(
u=2x^2+y,\qquad
v=x^2+y
\)

έχει Ιακωβιανή

\(
J_F=2x,
\)

η οποία δεν είναι σταθερή, και η αντίστροφη περιέχει τετραγωνική ρίζα, άρα δεν είναι πολυώνυμο.

 

Γιατί ήταν τόσο σημαντική;

Η Εικασία του Ιακωβιανού δεν ήταν απλώς ένα ακόμη ανοιχτό πρόβλημα. Ήταν ένας κόμβος που συνέδεε την αλγεβρική γεωμετρία με τη θεωρία πολυωνύμων, τη μεταθετική άλγεβρα και τη θεωρία δυναμικών συστημάτων. Το 1998, ο διάσημος μαθηματικός Stephen Smale την συμπεριέλαβε στον περίφημο κατάλογο με τα σημαντικότερα μαθηματικά προβλήματα του 21^ου αιώνα.

 

Η ανακοίνωση που αιφνιδίασε τους πάντες

Στις 20 Ιουλίου 2026, λίγο μετά τον τελικό του Παγκοσμίου Κυπέλλου, ο Levent Alpöge δημοσίευσε στο X ένα λιτό μήνυμα ότι η Εικασία του Ιακωβιανού δεν ισχύει, συνοδευόμενο από μία πολυωνυμική συνάρτηση ως αντιπαράδειγμα.

Η συνάρτηση αυτή έχει σταθερή Ιακωβιανή ορίζουσα, ίση με \(-2 \neq 0\), αλλά «στέλνει» τρία διαφορετικά σημεία στο ίδιο σημείο. Επομένως δεν είναι “1-1” και συνεπώς δεν έχει αντίστροφη συνάρτηση.

Η ανάρτηση του Alpöge στο X

Στα Μαθηματικά, ένα μόνο σωστό αντιπαράδειγμα αρκεί για να καταρρίψει μια γενική εικασία. Το εντυπωσιακό είναι ότι ο Alpöge δήλωσε ότι το αντιπαράδειγμά του βρέθηκε με τη βοήθεια του Claude Fable 5.

 

Έχει αποδειχθεί οριστικά ότι η εικασία είναι ψευδής;

Η ανακοίνωση του Alpöge δεν πέρασε πρώτα από την κλασική διαδικασία δημοσίευσης σε επιστημονικό περιοδικό, αλλά παρουσιάστηκε δημόσια μέσω ανάρτησης στο X. Ωστόσο, από τότε αρκετοί μαθηματικοί επαλήθευσαν τους υπολογισμούς, δημιουργήθηκαν επίσημες τυπικές επαληθεύσεις (formal verification) σε συστήματα όπως το Lean και το Isabelle/HOL και εμφανίστηκαν ήδη νέες ερευνητικές εργασίες που βασίζονται στο συγκεκριμένο αντιπαράδειγμα και επεκτείνουν τα αποτελέσματά του. Αξιοσημείωτη είναι η εργασία του Terence Tao. Αν και η τυπική διαδικασία δημοσίευσης σε επιστημονικό περιοδικό βρίσκεται ακόμη σε εξέλιξη, η μαθηματική κοινότητα αντιμετωπίζει πλέον την Εικασία του Ιακωβιανού ως καταρριφθείσα για όλες τις διαστάσεις \(n \geq 3\). Το πρόβλημα παραμένει ανοιχτό στις 2 διαστάσεις!

Ένα εντυπωσιακό αποτέλεσμα είναι ότι η συγκεκριμένη απεικόνιση δεν αποτυγχάνει να είναι αντιστρέψιμη μόνο σε ένα «τυχαίο» παράδειγμα. Μεταγενέστερες αναλύσεις έδειξαν ότι πρόκειται για μια απεικόνιση γεωμετρικού βαθμού 3, δηλαδή είναι generically 3-to-1: για ένα γενικό (generic) σημείο της εικόνας (δηλαδή για όλα τα σημεία εκτός από ένα ειδικό αλγεβρικό υποσύνολο εξαιρέσεων) υπάρχουν τρία διαφορετικά στοιχεία τα οποία απεικονίζονται στο σημείο αυτό. Τα τρία σημεία που παρουσίασε ο Alpöge στην αρχική του ανακοίνωση αποτελούν απλώς ένα συγκεκριμένο παράδειγμα αυτής της πολύ βαθύτερης ιδιότητας.

Ένα άλλο άμεσο μαθηματικό συμπέρασμα είναι ότι καταρρέει και η Εικασία του Dixmier της μη μεταθετικής Άλγεβρας. Ήταν ήδη γνωστό ότι η Εικασία του Dixmier συνεπάγεται την Εικασία του Ιακωβιανού. Επομένως, αφού η δεύτερη αποδείχθηκε ψευδής μέσω του αντιπαραδείγματος του Alpöge, δεν μπορεί να ισχύει ούτε η πρώτη.

 

Η Τεχνητή Νοημοσύνη «έκανε μαθηματικά»;

Ίσως αυτό να είναι το πιο ενδιαφέρον ερώτημα. Ο καθηγητής Andrew Blumberg (Columbia University) επισήμανε ότι υπάρχει διαφορά ανάμεσα σε μια βαθιά θεωρητική απόδειξη που εξηγεί γιατί ισχύει κάτι και σε ένα αντιπαράδειγμα που απλώς δείχνει ότι μια πρόταση είναι λανθασμένη.

Η TN φαίνεται να είναι εξαιρετικά αποτελεσματική στην εξερεύνηση τεράστιων χώρων πιθανών πολυωνυμικών κατασκευών, κάτι που για έναν άνθρωπο θα απαιτούσε ίσως δεκαετίες δοκιμών. Το πώς ακριβώς οδηγήθηκε στο συγκεκριμένο αντιπαράδειγμα παραμένει αντικείμενο ενδιαφέροντος και μελέτης.

 

Τι σημαίνει αυτό για τα Μαθηματικά;

Η ιστορία αυτή δεν σημαίνει ότι οι μαθηματικοί αντικαθίστανται από τις μηχανές. Αντίθετα, δείχνει ότι η σχέση ανθρώπου και TN αλλάζει. Ο άνθρωπος θέτει τα ερωτήματα, διατυπώνει τις θεωρίες, ελέγχει την εγκυρότητα των αποτελεσμάτων και κατανοεί τις βαθύτερες μαθηματικές ιδέες. Η TN μπορεί πλέον να λειτουργήσει ως ένας εξαιρετικά ισχυρός συνεργάτης στην αναζήτηση νέων παραδειγμάτων, αντιπαραδειγμάτων και πιθανών αποδείξεων.

Είναι πολύ πιθανό ότι τα επόμενα χρόνια θα δούμε ολοένα και περισσότερες σημαντικές μαθηματικές ανακαλύψεις να προκύπτουν από αυτή τη συνεργασία. Πράγματι, φαίνεται ότι τα Μαθηματικά εισέρχονται σε μια νέα εποχή, όπου η δημιουργική σκέψη των ανθρώπων και η υπολογιστική ισχύς της ΤΝ θα πορεύονται όλο και πιο στενά μαζί. Αλλά αυτό είναι μια άλλη συζήτηση…

"Η Συμμετρία και το Θηρίο"

 

Τα μαθηματικά εξελίσσονται αναζητώντας τη λύση σε μερικά σπουδαία προβλήματα, όπως είναι το Τελευταίο Θεώρημα του Φερμά ή η Εικασία του Πουανκαρέ. Ένα τέτοιο σπουδαίο πρόβλημα υπήρξε και η αναζήτηση του Θηρίου της συμμετρίας –μιας γιγάντιας χιονονιφάδας σε 196.884 διαστάσεις!

Μέσα από μια συναρπαστικά γοργή αφήγηση που εκτείνεται σε δύο αιώνες, ο Μαρκ Ρόναν εξιστορεί πώς μπόρεσαν οι επιστήμονες να κατανοήσουν τη συμμετρία. Αυτή η περιπέτεια ουσιαστικά ξεκίνησε τον 19^ο αιώνα από τον ιδιοφυή νεαρό Εβαρίστ Γκαλουά, ο οποίος έχασε τη ζωή του σε μονομαχία μόλις 21 ετών. Τη νύχτα πριν πεθάνει, κατέγραψε πυρετωδώς τις ανέκδοτες ανακαλύψεις του. Ο Γκαλουά χρησιμοποίησε τη συμμετρία για να κατανοήσει τις αλγεβρικές εξισώσεις και κατέληξε στο συμπέρασμα ότι υπάρχουν θεμελιώδεις «δομικοί λίθοι» ή «άτομα συμμετρίας». Οι περισσότεροι από τους λίθους αυτούς εντάσσονται σε έναν πίνακα, παρόμοιο με τον περιοδικό πίνακα των χημικών στοιχείων. Οι μαθηματικοί, ωστόσο, έχουν εντοπίσει 26 εξαιρέσεις. Η μεγαλύτερη εξαίρεση ονομάστηκε «Θηρίο» ή «Τέρας». 

Ο Μαρκ Ρόναν, ο οποίος γνώρισε προσωπικά τους επιστήμονες που δούλεψαν πάνω σ’ αυτό το πρόβλημα, αποκαλύπτει ότι στην αρχή το Θηρίο διαφαινόταν μόνον αμυδρά. Αλλά όσο περισσότεροι μαθηματικοί ασχολούνταν μαζί του, τόσο σαφέστερη γινόταν η εικόνα του. Τελικά αποδείχθηκε πως ήταν κάτι υπέροχο, κάτι που παρέπεμπε σε βαθύτερες συνδέσεις ανάμεσα στη συμμετρία, τις ομάδες Lie, τη θεωρία χορδών, αλλά και τον ίδιο τον ιστό και τη δομή του σύμπαντος. 

Στην ίδια αναζήτηση των βαθύτερων συμμετριών ανήκει και η περίφημη ομάδα Lie E8, μια εξαιρετικά πολύπλοκη μαθηματική δομή με διάσταση 248. Το 2007, μια διεθνής ομάδα μαθηματικών ολοκλήρωσε την πλήρη περιγραφή της έπειτα από χρόνια εργασίας και εκτεταμένους υπολογισμούς, σε ένα επίτευγμα που θεωρήθηκε ορόσημο για τη σύγχρονη Άλγεβρα.

Πώς μπορούμε να ελέγξουμε αν ένας αριθμός είναι πρώτος;

 

📚Αν θέλεις να θυμηθείς πότε ένας αριθμός λέγεται πρώτος, μπορείς να το διαβάσεις εδώ...

 

Image credit: Michael Jay Berlin via Shutterstock

Πολλές φορές, χρειάζεται να ελέγξουμε αν ένας αριθμός n είναι πρώτος. Μια βασική διαδικασία είναι η δοκιμαστική διαίρεση, δηλαδή να ελέγξουμε αν ο αριθμός n είναι πολλαπλάσιο κάποιου αριθμού από το 2 έως και το \(\sqrt{n}\). Απαραίτητα εδώ είναι τα κριτήρια διαιρετότητας.

 

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

✅Θέλουμε να εξετάσουμε αν ο αριθμός 169 είναι πρώτος. Αρκεί να ελέγξουμε αν το 169 είναι πολλαπλάσιο κάποιου αριθμού από το 2 έως και το \(\sqrt{169}=13\).

Το 2 δεν διαιρεί το 169.

Το 3 δεν διαιρεί το 169.

Ομοίως, το 4, το 5, το 6, το 7, το 8, το 9, το 10, το 11 και το 12 δεν διαιρούν το 169.

Το 13 διαιρεί το 169.

Άρα το 169 δεν είναι πρώτος αριθμός.

 

✅Θέλουμε να εξετάσουμε αν ο αριθμός 51 είναι πρώτος. Επειδή 49<51 δηλαδή \(7<\sqrt{51}\),  αρκεί να ελέγξουμε αν το 51 είναι πολλαπλάσιο κάποιου αριθμού από το 2  έως και το 7.

Το 2 δεν διαιρεί το 51.

Το 3 διαιρεί το 51.

Άρα το 51 δεν είναι πρώτος αριθμός.

 

✅Θέλουμε να εξετάσουμε αν ο αριθμός 113 είναι πρώτος. Επειδή 100<113 δηλαδή \(10<\sqrt{113}\),  αρκεί να ελέγξουμε αν το 113 είναι πολλαπλάσιο κάποιου αριθμού από το 2 έως και το 10.

Βρίσκουμε ότι κανένας από τους αριθμούς 2, 3, 4, 5, 6, 7, 8, 9, 10 δεν διαιρεί το 113.

Άρα το 113 είναι πρώτος αριθμός.

 

💡Η μέθοδος της δοκιμαστικής διαίρεσης μπορεί να εφαρμοστεί πιο αποτελεσματικά αν είναι γνωστοί όλοι οι πρώτοι αριθμοί μέχρι και το \(\sqrt{n}\). Για παράδειγμα, για να ελέγξουμε αν ο 113 είναι πρώτος, αρκεί να ελέγξουμε αν διαιρείται μόνο από το 2, το 3, το 5 και το 7.

 

🚩Για πολύ μεγάλους αριθμούς, η μέθοδος αυτή γίνεται πολύ αργή και μη πρακτική, γιατί το πλήθος των πιθανών παραγόντων του n αυξάνεται ραγδαία καθώς αυξάνεται ο n. Για την ακρίβεια, το πλήθος των πρώτων αριθμών μικρότερων του \(\sqrt{n}\) είναι της τάξης \(\frac{\sqrt{n}}{ln(\sqrt{n})}\).  Για τον έλεγχο πολύ μεγάλων αριθμών, έχουν αναπτυχθεί διάφοροι αλγόριθμοι που τρέχουν σε υπολογιστικά συστήματα.

🔍Διάβασε εδώ περισσότερα γύρω από τους πρώτους αριθμούς.

Τριγωνικοί, τετραγωνικοί και εξαγωνικοί αριθμοί!

 

Στην αρχαιότητα, οι Πυθαγόρειοι θεωρούσαν πως τα πάντα στο σύμπαν μπορούσαν να εξηγηθούν με τη βοήθεια των αριθμών. Γι’ αυτό έφτιαχναν διάφορες ακολουθίες αριθμών με βάση γεωμετρικά σχήματα. Οι βασικότεροι είναι οι τριγωνικοί, οι τετραγωνικοί και οι εξαγωνικοί αριθμοί.

  

Τριγωνικός λέγεται κάθε αριθμός, ο οποίος, αν συμβολιστεί με σημεία –τόσα σημεία όσα υποδηλώνει ο αριθμός– σχηματίζεται τρίγωνο. Για να βρούμε τους τριγωνικούς αριθμούς, αρχίζουμε από το 1. Κάθε φορά προσθέτουμε και τον επόμενο φυσικό αριθμό. Δηλαδή:

1

1+2=3

1+2+3=6

1+2+3+4=10

1+2+3+4+5=15

1+2+3+4+5+6=21

…

Το άθροισμα που προκύπτει κάθε φορά (σημειωμένο με έντονο) είναι και ένας τριγωνικός αριθμός.

 

Μπορούμε να αναπαραστήσουμε τους τριγωνικούς αριθμούς με ισόπλευρα τρίγωνα, όπως φαίνεται στο παρακάτω σχήμα:

 

Ο n-οστός τριγωνικός αριθμός είναι το άθροισμα των n πρώτων θετικών ακεραίων. Συμβολίζεται με \(T_n\) και ισούται με

\(T_n=1+2+…+n=\frac{n(n+1)}{2}\)

π.χ. \(T_4=\frac{4 \cdot 5)}{2}=10\)

 

Για την ακολουθία των τριγωνικών αριθμών ισχύει και ο αναδρομικός τύπος:

\(T_1=1\)

\(T_n=T_{n-1}+n, n>1\)

Τετραγωνικός αριθμός, ή αλλιώς τέλειο τετράγωνο, λέγεται ένας θετικός ακέραιος αριθμός που είναι το τετράγωνο ενός άλλου ακέραιου αριθμού, δηλαδή ισούται με το γινόμενο του αριθμού εκείνου με τον εαυτό του.

Ένας τετραγωνικός αριθμός \(n\) αντιπροσωπεύεται από \(n\) σημεία (κουκκίδες), τα οποία σχηματίζουν τετράγωνο, με την κάθε πλευρά του να έχει \(\sqrt{n}\) σημεία.

Ο αριθμός \(n\) είναι τετραγωνικός, αν και μόνο αν μπορούμε να συνθέσουμε ένα τετράγωνο από \(n\) ίσα μεταξύ τους τετράγωνα.

π.χ. 

\(n=1=1^2\)

\(n=4=2^2\)

\(n=9=3^2\)

\(n=16=4^2\)

\(n=25=5^2\)

Οι πρώτοι τετραγωνικοί αριθμοί (τέλεια τετράγωνα) είναι:

1, 4, 9, 16, 25, 36, 49, 64, 81, 100, ...

 

Για έναν θετικό ακέραιο \(n\), ο n-οστός τετραγωνικός αριθμός είναι ο \(n^2\).

Κάποιοι τύποι που χρησιμεύουν για τον υπολογισμό ενός τετραγωνικού αριθμού όταν είναι γνωστός ο προηγούμενός του (αναδρομικοί τύποι), είναι:

\(n^2=(n-1)^2+(n-1)+n=(n-1)^2+(2n-1)\)

Το άθροισμα δύο διαδοχικών τριγωνικών αριθμών είναι τετραγωνικός αριθμός.

π.χ. \(T_3+T_4=6+10=16\), που είναι τετραγωνικός αριθμός.

Εξαγωνικός αριθμός λέγεται ένας πολυγωνικός αριθμός που παριστάνεται με ένα εξάγωνο.

 

Ο n-οστός εξαγωνικός αριθμός \(h_n\) είναι το πλήθος των κουκκίδων που «δημιουργούν» το εξαγωνικό σχήμα του. Στο μοτίβο αυτό, τα εξάγωνα δεν περιέχονται το ένα στο εσωτερικό του άλλου, αλλά έχουν όλα μία κοινή «κορυφή».

 

Οι πρώτοι εξαγωνικοί αριθμοί είναι:

1, 6, 15, 28, 45, 66, 91, 120, 153, 190, 231, 276, 325, …

Ο τύπος που δίνει τον n-οστό εξαγωνικό αριθμό είναι:

\(h_n=2n^2-n=n(2n-1)=\frac{2n(2n-1)}{2} \)

 

Κάθε εξαγωνικός αριθμός είναι και τριγωνικός αριθμός.

Κάθε τριγωνικός αριθμός με περιττό πλήθος «πλευρών» (δηλαδή ο \(T_n\) με n περιττό) είναι εξαγωνικός αριθμός.

Κάθε άρτιος τέλειος αριθμός είναι εξαγωνικός. Καθώς δεν είναι γνωστός κανένας τέλειος αριθμός που να είναι περιττός, όλοι οι γνωστοί τέλειοι αριθμοί είναι εξαγωνικοί.

Για να ελέγξουμε αν ένας θετικός ακέραιος \(x\) είναι εξαγωνικός, μπορούμε να υπολογίσουμε τον αριθμό

\(n=\frac{\sqrt{8x+1}+1}{4}\).

Αν ο \(n\) είναι ακέραιος, τότε ο \(x\) είναι ο n-οστός εξαγωνικός αριθμός. Αλλιώς ο \(x\) δεν είναι εξαγωνικός.

👉Ανακαλύψτε περισσότερα στην "Online Εγκυκλοπαίδεια Ακολουθιών Ακέραιων Αριθμών" (OEIS).

Τα σύνολα των αριθμών

Σχηματική αναπαράσταση των συνόλων των αριθμών...

Πρώτοι αριθμοί: Από τα Μαθηματικά του Δημοτικού, στη σύγχρονη έρευνα

 

Οι πρώτοι αριθμοί είναι αυτοί που έχουν ακριβώς δύο διαιρέτες: τον εαυτό τους και το 1. Οι αρχικοί αριθμοί που είναι πρώτοι είναι οι: 2, 3, 5, 7, 11, 13.

Ο πρώτοι... πρώτοι αριθμοί

Τα δομικά στοιχεία των φυσικών αριθμών

Η τεράστια σημασία των πρώτων αριθμών για τη Θεωρία Αριθμών αλλά και για τα Μαθηματικά γενικότερα, πηγάζει από το Θεμελιώδες Θεώρημα της Αριθμητικής. Το θεώρημα αυτό λέει ότι κάθε φυσικός αριθμός, μεγαλύτερος του 1, μπορεί να γραφεί σαν γινόμενο πρώτων αριθμών κατά μοναδικό τρόπο (χωρίς να λαμβάνεται υπόψη η σειρά των παραγόντων).

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

\(15 = 3 \cdot 5\)

\(210 = 2 \cdot 3 \cdot 5 \cdot 7\)

\(396 = 2^2 \cdot 3^2 \cdot 11\)

 

✅Η παραπάνω γραφή ονομάζεται ανάλυση αριθμού σε γινόμενο πρώτων παραγόντων ή πρωτογενής ανάλυση του αριθμού. Επίσης λέμε ότι ο αριθμός είναι γραμμένος σε κανονική μορφή.

 

Πώς γίνεται η ανάλυση ενός αριθμού σε γινόμενο πρώτων παραγόντων;

Παράδειγμα: Θέλουμε να αναλύσουμε το 360 σε γινόμενο πρώτων παραγόντων. Θα χρησιμοποιήσουμε τη μέθοδο των διαδοχικών διαιρέσεων.

👣 Βήμα  1. Εξετάζουμε, σύμφωνα με τα κριτήρια διαιρετότητας, ποιος είναι ο μικρότερος πρώτος αριθμός που διαιρεί το 360. Βρίσκουμε ότι είναι το 2 και το γράφουμε στα δεξιά.

👣 Βήμα 2. Διαιρούμε το 360 με το 2 και γράφουμε από κάτω το πηλίκο, που είναι το 180.

👣 Βήμα 3. Συνεχίζουμε την ίδια διαδικασία για το 180. Το 180 διαιρείται κι αυτό με το 2. Διαιρούμε με το 2 και γράφουμε από κάτω το πηλίκο, που είναι το 90.

👣 Βήμα 4. Διαιρούμε το 90 με το 2 και γράφουμε από κάτω το πηλίκο, που είναι το 45.

👣 Βήμα 5. Το 45 τώρα δεν διαιρείται με το 2. Πηγαίνουμε στον επόμενο πρώτο αριθμό, που είναι το 3. Βρίσκουμε ότι το 45 διαιρείται με 3.

👣 Βήμα 6. Διαιρούμε το 45 με το 3 και γράφουμε από κάτω το πηλίκο, που είναι το 15.

👣 Βήμα 7. Το 15 διαιρείται με το 3. Διαιρούμε το 15 με το 3 και γράφουμε από κάτω το πηλίκο, που είναι το 5.

👣 Βήμα 8. Το 5 τώρα δεν διαιρείται με το 3. Πηγαίνουμε στον επόμενο πρώτο αριθμό, που είναι το 5.

👣 Βήμα 9. Το 5 προφανώς διαιρείται με το 5. Γράφουμε από κάτω το πηλίκο, που είναι το 1.

👣 Βήμα 10. Μόλις βρούμε πηλίκο το 1, η διαδικασία τελειώνει!

👣 Τελευταίο βήμα: Γράφουμε τον αριθμό 360 ως το γινόμενο των πρώτων αριθμών που έχουμε γράψει στην τελευταία στήλη:

360 = 2 · 2 · 2 · 3 · 3 · 5 = 2^3 · 3^2 · 5 

 

 👉Περισσότερα παραδείγματα μπορείτε να παρακολουθήσετε σε αυτό το βίντεο.

 

Εφαρμογές των πρώτων αριθμών στην Κρυπτογραφία

Κρυπτογραφία είναι η επιστήμη που ασχολείται με την κωδικοποίηση και αποκωδικοποίηση μυστικών μηνυμάτων. Στη σημερινή ψηφιακή εποχή, η ασφαλής επικοινωνία είναι ζωτικής σημασίας. Είτε στέλνουμε ένα e-mail, είτε πραγματοποιούμε μια ηλεκτρονική αγορά, η κρυπτογραφία διασφαλίζει ότι οι πληροφορίες μας παραμένουν εμπιστευτικές. Στον κόσμο της σύγχρονης κρυπτογραφίας, οι πρώτοι αριθμοί είναι οι «αφανείς ήρωες». Η κρυπτογράφηση και αποκρυπτογράφηση βασίζονται στη Θεωρία Αριθμών και ειδικότερα στους πρώτους αριθμούς και στο Θεμελιώδες Θεώρημα της Αριθμητικής.

Οι επιστήμονες του χώρου χρησιμοποιούν κατά κόρον φυσικούς αριθμούς που είναι γινόμενο τεράστιων πρώτων αριθμών. Ας πάρουμε για παράδειγμα τον αλγόριθμο RSA, ο οποίος χρησιμοποιεί δύο μεγάλους πρώτους αριθμούς p και q. Αφού τους πολλαπλασιάσει, χρησιμοποιεί το γινόμενό τους n = p · q ως μέρος των κλειδιών κρυπτογράφησης και αποκρυπτογράφησης. Ο αριθμός n είναι δημόσιος και ονομάζεται «δημόσιο κλειδί», είναι δηλαδή, όχι μόνο γνωστός, αλλά και δημοσιευμένος σε κάποιο βιβλίο ανάλογο του τηλεφωνικού καταλόγου. Για να μπορέσει κανείς να «χακάρει» ένα σύστημα, θα πρέπει να έχει βρει την πρωτογενή ανάλυση του n, δηλαδή θα πρέπει να υπολογίσει τους πρώτους αριθμούς p και q από τους οποίους «αποτελείται». Στην πράξη, αυτοί οι πρώτοι αριθμοί έχουν τόσο πολλά ψηφία που, ακόμη και με χρήση υπολογιστικών συστημάτων τελευταίας τεχνολογίας που δουλεύουν νυχθημερόν, χρειάζονται δεκάδες χρόνια προκειμένου να υπολογιστούν!

❓Άραγε, η ανάπτυξη υπερσύγχρονης τεχνολογίας θα «προλάβει» τις εξελίξεις στην έρευνα της Θεωρίας Αριθμών;