Το θεώρημα του Surányi διατυπώνει έναν ασυνήθιστο αλλά ισχυρό ισχυρισμό: κάθε ακέραιος μπορεί να γραφεί ως:
για κάποιους ακέραιους , και κατάλληλο πραγματικό .
Αυτού του είδους η έκφραση, που συνδυάζει ακέραιες στρογγυλοποιήσεις, έχει ενδιαφέρον σε θεωρητική αριθμητική, ειδικά σε προβλήματα ομοιότητας και διαμόρφωσης ακολουθιών.
2. Απόδειξη με Επαγωγή
Η απόδειξη ακολουθεί την καθιερωμένη τεχνική της διαβαθμισμένης επαγωγής:
-
Βασική περίπτωση: Ελέγχουμε ότι το θεώρημα ισχύει για τους πρώτους τέσσερις θετικούς ακέραιους.
-
Επαγωγική υπόθεση: Υποθέτουμε ότι ισχύει για κάποια τιμή .
-
Επαγωγικό βήμα: Αποδεικνύουμε ότι τότε ο ακέραιος ικανοποιεί επίσης τη μορφή .
-
Αυτή η επαγωγική λογική μας επιτρέπει να καλύψουμε όλους τους θετικούς ακέραιους διαδοχικά, ολοκληρώνοντας την απόδειξη.
3. Σημαντικά Τεκμηριωτικά Πεδία
-
Το θεώρημα αναφέρεται στην ιστοσελίδα PlanetMath με τίτλο Surányi’s theorem PlanetMath+2Dirzon+2.
-
Το classification MSC (11A99) υποδηλώνει ότι το θεώρημα ανήκει σε θέματα θεωρίας αριθμών και συνακόλουθων θετικών συνδυασμών PlanetMath+1.
Συμπέρασμα
Το θεώρημα του Surányi είναι ένα ενδιαφέρον παράδειγμα μαθηματικής δομής όπου αξιοποιείται η στρογγυλοποίηση (μέσω γραμμών τύπου ) για να φτάσουμε σε έκφραση κάθε ακεραίου ως άθροισμα δύο τέτοιων όρων. Η χρήση επαγωγής με βήμα 4 είναι αρκετά ευφυής και κομψή από μαθηματική πλευρά.
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου