Άρρητοι

Συντονιστές: cretanman, Demetres, polysot, achilleas, socrates, silouan

Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18621
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Άρρητοι

#1

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou »

Στο παλιό mathematica είχαμε μερικές ασκήσεις για άρρητους. Βάζω άλλη μία. Είναι μεν εύκολη, αλλά πιστεύω ότι είναι ωραία άσκηση για μαθητές γιατί χρειάζεται να είναι κανείς πολύ σαφής στην διατύπωσή του. Η άσκηση είναι διαφορετική από τα αυτά που συνήθως συναντούν οι μαθητές γιατί η λύση είναι «υπαρξιακή» και όχι «αλγοριθμική».

Λοιπόν,

Δείξτε ότι αν
0,a_1a_2a_3...
το δεκαδικό ανάπτυγμα ενός αριθμού, τότε υπάρχει αναδιάταξη των
a_1, a_2, a_3, ... , έστω b_1, b_2, b_3, ...,
έτσι ώστε ο αριθμός 0,b_1b_2b_3...να είναι ρητός.

Φιλικά,

Μιχάλης Λάμπρου.

Ετικέτες:
Άβαταρ μέλους
nsmavrogiannis
Επιμελητής
Δημοσιεύσεις: 4488
Εγγραφή: Σάβ Δεκ 20, 2008 7:13 pm
Τοποθεσία: Αθήνα
Επικοινωνία:

Re: άρρητοι

#2

Μη αναγνωσμένη δημοσίευση από nsmavrogiannis »

Μιχάλη πρόκειται για ωραιότατη άσκηση. Φαντάζομαι ότι δεν έχεις αντίρρηση να την αναδιατυπώσω γιατί ο όρος "αναδιάταξη" θέλει πολλές επεξηγήσεις:

'Εστω 0,a_1a_2a_3... το δεκαδικό ανάπτυγμα ενός αριθμού. Μπορείτε να προτείνετε κάποιον τρόπο ώστε αλλάζοντας την σειρά των ψηφίων του a_1a_2a_3... να προκύψει ρητός άριθμός;

Για όσους μπουν στον κοπο να το διδάξουν (εγώ θα το αξιοποιήσω στην πρώτη ευκαιρία) θα ήταν ενδιαφέρον να το ταιριάξουν με το γνωστό για το ξενοδοχείο του HIlbert ( βάζω αυτή την παραπομπή γιατί δεν έχω καμμία άλλη πρόσφορη: http://en.wikipedia.org/wiki/Hilbert's_ ... rand_Hotel )
Μαυρογιάννης
Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18621
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: άρρητοι

#3

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou »

Νίκο,

πολύ ωραία η αναδιατύπωσή σου.

Ο συσχετισμός σου της άσκησης με το "Ξενοδοχείο Hilbert"
είναι διδακτικότατος.

Καληνύχτα.

Μιχάλης.
kostas.zig
Δημοσιεύσεις: 548
Εγγραφή: Κυρ Δεκ 21, 2008 3:29 pm

Re: άρρητοι

#4

Μη αναγνωσμένη δημοσίευση από kostas.zig »

Περισσότερες πληροφορίες για το ξενοδοχείο μπορούν οι αγαπητοί αναγνώστες , να διαβάσουν στο βιβλίο "Αναζητώντας το άπειρο" του N.Ya.Vilenkin
Η προσέγγιση που γίνεται είναι πραγματικά θαυμάσια!!
Ζυγούρης Κώστας
k-ser
Δημοσιεύσεις: 870
Εγγραφή: Σάβ Δεκ 20, 2008 10:22 am
Τοποθεσία: Μουζάκι Καρδίτσας
Επικοινωνία:

Re: άρρητοι

#5

Μη αναγνωσμένη δημοσίευση από k-ser »

nsmavrogiannis έγραψε: 'Εστω 0,a_1a_2a_3.... το δεκαδικό ανάπτυγμα ενός αριθμού. Μπορείτε να προτείνετε κάποιον τρόπο ώστε αλλάζοντας την σειρά των ψηφίων του να προκύψει ρητός άριθμός;
Μιχάλη, Νίκο,
θα μπορούσε η παρακάτω* να είναι μια λύση;

Ρωτώ, γιατί μπλέκω με το απροσδιόριστο του απείρου κι εκεί... έχω από τη φύση του μυαλού μου μια άπειρη δυσκολία!

*Τα ψηφία a_1,a_2, a_3,... παίρνουν τιμές από το σύνολο Α={0,1,2,3,…9}.
Είναι προφανές ότι αυτά, στο ανάπτυγμα του αριθμού, επαναλαμβάνονται είτε άπειρες φορές είτε περιορισμένο αριθμό φορών.
Στις πρώτες θέσεις του αναπτύγματος του αριθμού τοποθετούμε τα ψηφία, εφόσον υπάρχουν, που επαναλαμβάνονται περιορισμένο αριθμό φορών.
Αν b_1,b_2,...b_n με b_1<b_2<...<b_n τα ψηφία που επαναλαμβάνονται άπειρες φορές τότε τα τοποθετούμε με την εξής σειρά: b_1 b_2...b_n b_1 b_2...b_n b_1 b_2...b_n....
Ο αριθμός που προκύπτει είναι περιοδικός με περίοδο b_1 b_2...b_n και συνεπώς ρητός.
Κώστας Σερίφης
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18621
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: άρρητοι

#6

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou »

k-ser έγραψε:
nsmavrogiannis έγραψε: 'Εστω 0,a_1a_2a_3.... το δεκαδικό ανάπτυγμα ενός αριθμού. Μπορείτε να προτείνετε κάποιον τρόπο ώστε αλλάζοντας την σειρά των ψηφίων του να προκύψει ρητός άριθμός;
Μιχάλη, Νίκο,
θα μπορούσε η παρακάτω* να είναι μια λύση;

Ρωτώ, γιατί μπλέκω με το απροσδιόριστο του απείρου κι εκεί... έχω από τη φύση του μυαλού μου μια άπειρη δυσκολία!

*Τα ψηφία a_1,a_2, a_3,... παίρνουν τιμές από το σύνολο Α={0,1,2,3,…9}.
Είναι προφανές ότι αυτά, στο ανάπτυγμα του αριθμού, επαναλαμβάνονται είτε άπειρες φορές είτε περιορισμένο αριθμό φορών.
Στις πρώτες θέσεις του αναπτύγματος του αριθμού τοποθετούμε τα ψηφία, εφόσον υπάρχουν, που επαναλαμβάνονται περιορισμένο αριθμό φορών.
Αν b_1,b_2,...b_n με b_1<b_2<...<b_n τα ψηφία που επαναλαμβάνονται άπειρες φορές τότε τα τοποθετούμε με την εξής σειρά: b_1 b_2...b_n b_1 b_2...b_n b_1 b_2...b_n....
Ο αριθμός που προκύπτει είναι περιοδικός με περίοδο b_1 b_2...b_n και συνεπώς ρητός.
Απόλυτα σωστή η λύση.

Τώρα είναι σαφές γιατί ο Νίκος μίλησε για το "ξενοδοχείο Hilbert".

Συγκεκριμμένα, ας πούμε ότι στον αρχικό αριθμό εμφανίζεται, παραδείγματος χάριν, το 233 άπειρες φορές. Τότε το 3 εμφανίζεται άπειρες φορές, αλλά "δύο φορές πιό συχνά" από το 2. Όμως στον δεύτερο αριθμό τα 2 και 3 εμφανίζονται "ίσες φορές".

Αυτά είναι τα τερτίπια του απείρου. Ας είναι καλά ο Cantor που τα ξεκαθάρισε, αν και το συγκεκριμένο θέμα (για φαινομενικά "διπλάσιο άπειρο" από άλλο άπειρο) το είχε απαντήσει ο Γαλιλαίος. Έλεγε ότι "οι άρτιοι φυσικοί αριθμοί είναι όσοι όλοι οι φυσικοί αριθμοί" διότι μπορούμε να τους ζευγαρώσουμε ν <---> 2ν. Μακρινός πρόδρομος του Cantor ο Γαλιλαίος σε αυτό το θέμα.

Φιλικά,

Μιχάλης Λάμπρου.
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18621
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: άρρητοι

#7

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou »

Είναι εύκολο να βρούμε παραδείγματα άρρητων α και β έτσι ώστε α + β = ρητός ή, αντίστοιχα, αβ = ρητός. Ένα γνωστό από παλιά σχετικό πρόβλημα, ζητά να βρεθούν άρρητοι α και β έτσι ώστε a^{b} = ρητός.

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

Γράφω μία λύση επειδή είναι «πλακατζίδικη» και μάλλον όχι τόσο γνωστή.

Εξετάζουμε τον αριθμό

\sqrt{2}^{\sqrt{2}}

Αν είναι ρητός, τελειώσαμε. Αν είναι άρρητος τότε εξετάζουμε τον

\left(\sqrt{2}^{\sqrt{2}} \right)^{\sqrt{2}}

Είναι της μορφής «άρρητος σε άρρητη δύναμη» και φυσικά ισχύει

\left(\sqrt{2}^{\sqrt{2}} \right)^{\sqrt{2}}=\sqrt{2}^{2}=2 = ρητός.

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

Σχόλια

1) Την παραπάνω μέθοδο την άκουσα στα φοιτητικά μου χρόνια, στο εξωτερικό. Αργότερα έμαθα ότι είχε κυκλοφορήσει ευρέως στους μαθηματικούς κύκλους κατά τα τέλη της δεκαετίας του ’50 ενώ ακόμα αργότερα την είδα γραμμένη στην εναρκτήρια ομιλία του Walter Hayman όταν ο ίδιος έγινε ακαδημαϊκός (ακριβέστερα, Fellow της Royal Society της Βρετανίας) σε ηλικία 30 ετών!
Από τον Hayman άκουσα στο Πανεπιστήμιο το μάθημα της Μιγαδικής Ανάλυσης. Αν ζει, θα είναι σήμερα 82 ετών. Ξέρω πάντως ότι όταν ήταν 80 ζούσε ακόμη παράγοντας, όπως σε όλη την καριέρα, καλής ποιότητας Μαθηματικά.

2) Ένα βαθύ θεώρημα του Gelfond και, ανεξάρτητα, του Schneider, το οποίο απαντά στο 7o Hilbert λέει ότι αν α, β αλγεβρικοί αριθμοί με α μη μηδενικό και β άρρητο, τότε ο αριθμός a^{b} είναι υπερβατικός. Ειδικά, ο παραπάνω αριθμός \sqrt{2}^{\sqrt{2}} είναι υπερβατικός (όχι απλά άρρητος). Άλλωστε ο \sqrt{2}^{\sqrt{2}} ονομάζεται «σταθερά Gelfond-Schneider». Βλέπε

http://en.wikipedia.org/wiki/Gelfond%27s_theorem

Φιλικά,

Μιχάλης Λάμπρου.
Άβαταρ μέλους
cretanman
Διαχειριστής
Δημοσιεύσεις: 4126
Εγγραφή: Πέμ Δεκ 18, 2008 12:35 pm
Τοποθεσία: Ηράκλειο Κρήτης
Επικοινωνία:

Re: άρρητοι

#8

Μη αναγνωσμένη δημοσίευση από cretanman »

Mihalis_Lambrou έγραψε: Παρακαλώ συνάδελφοι και φίλοι στείλτε στη Λέσχη την δική σας αντιμετώπιση, για να δούμε μέχρι που μπορεί να φτάσει η ανθρώπινη φαντασία.

Φιλικά,

Μιχάλης Λάμπρου.
Κύριε Λάμπρου,

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

Εάν για παράδειγμα πάρουμε A=\sqrt{n} και B=\displaystyle\log_{\sqrt{n}}q, όπου q ρητός με q=\frac{a}{b}, (a,b)=1, το n δεν είναι τέλειο τετράγωνο και (bn,a)=1 (δεν είναι η minimal συνθήκη αυτή, αλλά είναι ένα παράδειγμα) τότε ενώ οι αριθμοί A,B είναι άρρητοι, εντούτοις ο αριθμός A^B (o οποίος ισούται με q), είναι ρητός.

Για παράδειγμα ο αριθμός \sqrt{2}^{\displaystyle\log_{\sqrt{2}}3} είναι ρητός (και ίσος φυσικά με 3).

Τώρα που το σκέφτομαι αυτός είναι και ένας καλός τρόπος να δείξουμε ότι οι αριθμοί της μορφής B δεν είναι αλγεβρικοί (λόγω του θεωρήματος Gelfond)! Πολύ ενδιαφέρον...

Αλέξανδρος
Αλέξανδρος Συγκελάκης
sybe
Δημοσιεύσεις: 59
Εγγραφή: Παρ Δεκ 19, 2008 8:12 pm

Re: άρρητοι

#9

Μη αναγνωσμένη δημοσίευση από sybe »

cretanman έγραψε:
Τώρα που το σκέφτομαι αυτός είναι και ένας καλός τρόπος να δείξουμε ότι οι αριθμοί της μορφής B δεν είναι αλγεβρικοί (λόγω του θεωρήματος Gelfond)! Πολύ ενδιαφέρον...

Αλέξανδρος


Γεια σας. Συγχαρητήρια και πάλι για το site. Πολύ καλή δουλειά.
Μήπως μπορείς να μου εξηγήσεις λίγο το συλλόγισμό σου... Δεν μπορώ αυτήν την στιγμή να το καταλάβω...
Ευχαριστώ.
"You must be the change you wish to see in the world."
Mahatma Gandhi
Άβαταρ μέλους
cretanman
Διαχειριστής
Δημοσιεύσεις: 4126
Εγγραφή: Πέμ Δεκ 18, 2008 12:35 pm
Τοποθεσία: Ηράκλειο Κρήτης
Επικοινωνία:

Re: άρρητοι

#10

Μη αναγνωσμένη δημοσίευση από cretanman »

sybe έγραψε: Μήπως μπορείς να μου εξηγήσεις λίγο το συλλόγισμό σου... Δεν μπορώ αυτήν την στιγμή να το καταλάβω...
Ευχαριστώ.
Ευχαριστούμε πολύ για τη σελίδα! Επιστροφή στην ερώτηση.

Εάν το B ήταν αλγεβρικός τότε σύμφωνα με το θεώρημα του Gelfond, επειδή οι A,B είναι αλγεβρικοί ο A μη μηδενικός και ο B άρρητος, o A^B θα ήταν υπερβατικός, άτοπο διότι είναι ρητός.

Αλέξανδρος
Αλέξανδρος Συγκελάκης
sybe
Δημοσιεύσεις: 59
Εγγραφή: Παρ Δεκ 19, 2008 8:12 pm

Re: άρρητοι

#11

Μη αναγνωσμένη δημοσίευση από sybe »

Ευχαριστώ. Αν το διάβαζα από την αρχή πιο προσεχτικά θα καταλάβαινα...
"You must be the change you wish to see in the world."
Mahatma Gandhi
Άβαταρ μέλους
parmenides51
Δημοσιεύσεις: 6238
Εγγραφή: Πέμ Απρ 23, 2009 9:13 pm
Τοποθεσία: Πεύκη
Επικοινωνία:

Re: άρρητοι

#12

Μη αναγνωσμένη δημοσίευση από parmenides51 »

k-ser έγραψε:
nsmavrogiannis έγραψε: 'Εστω 0,a_1a_2a_3.... το δεκαδικό ανάπτυγμα ενός αριθμού. Μπορείτε να προτείνετε κάποιον τρόπο ώστε αλλάζοντας την σειρά των ψηφίων του να προκύψει ρητός άριθμός;
Μιχάλη, Νίκο,
θα μπορούσε η παρακάτω* να είναι μια λύση;

Ρωτώ, γιατί μπλέκω με το απροσδιόριστο του απείρου κι εκεί... έχω από τη φύση του μυαλού μου μια άπειρη δυσκολία!

*Τα ψηφία a_1,a_2, a_3,... παίρνουν τιμές από το σύνολο Α={0,1,2,3,…9}.
Είναι προφανές ότι αυτά, στο ανάπτυγμα του αριθμού, επαναλαμβάνονται είτε άπειρες φορές είτε περιορισμένο αριθμό φορών.
Στις πρώτες θέσεις του αναπτύγματος του αριθμού τοποθετούμε τα ψηφία, εφόσον υπάρχουν, που επαναλαμβάνονται περιορισμένο αριθμό φορών.
Αν b_1,b_2,...b_n με b_1<b_2<...<b_n τα ψηφία που επαναλαμβάνονται άπειρες φορές τότε τα τοποθετούμε με την εξής σειρά: b_1 b_2...b_n b_1 b_2...b_n b_1 b_2...b_n....
Ο αριθμός που προκύπτει είναι περιοδικός με περίοδο b_1 b_2...b_n και συνεπώς ρητός.
Ερώτηση που αφορά το σημείο που κοκκίνισα.
Υπάρχουν άρρητοι στην δεκαδική αναπαράσταση των οποίων κάποιο ψηφίο επαναλαμβάνεται πεπερασμένο πλήθος φορών ;
Έχουμε κάποιο συγκεκριμένο παράδειγμα;
Ή απλά το υποθέτουμε ότι δηλαδή δεν αποκλείεται να υπάρχουν;
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18621
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: άρρητοι

#13

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou »

parmenides51 έγραψε: Υπάρχουν άρρητοι στην δεκαδική αναπαράσταση των οποίων κάποιο ψηφίο επαναλαμβάνεται πεπερασμένο πλήθος φορών ;
Έχουμε κάποιο συγκεκριμένο παράδειγμα;
Ή απλά το υποθέτουμε ότι δηλαδή δεν αποκλείεται να υπάρχουν;
Υπάρχουν όσα θέλεις. Πάρε π.χ. έναν άρρητο της μορφής

0, 5101001000100001... (ένα μηδενικό παραπάνω τη φορά).

Το 5 εμφανίζεται μόνο μία φορά.

Μπορείς να φτιάξεις άπειρα παρόμοια παραδείγματα αρρήτων.

Φιλικά,

Μιχάλης
Άβαταρ μέλους
parmenides51
Δημοσιεύσεις: 6238
Εγγραφή: Πέμ Απρ 23, 2009 9:13 pm
Τοποθεσία: Πεύκη
Επικοινωνία:

Re: άρρητοι

#14

Μη αναγνωσμένη δημοσίευση από parmenides51 »

ευχαριστώ, απλό είναι τελικά.
Απάντηση

Επιστροφή στο “Άλγεβρα - Θεωρία Αριθμών - Συνδυαστική (Seniors) - Παλαιότερες Συζητήσεις”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης