Mihalis_Lambrou έγραψε: Δευ Ιαν 08, 2018 4:56 pm
Και εγώ.
Για την ώρα ας βάλω ερώτημα για δύο υποπεριπτώσεις που γίνονται με ύλη Α' Λυκείου, αν και πάλι οι
πράξεις είναι αρκετές (τουλάχιστον όπως το έκανα ο ίδιος).
Δείξτε ότι ο α)
![\displaystyle{ \sqrt 3 - \sqrt [3] 2} \displaystyle{ \sqrt 3 - \sqrt [3] 2}](/forum/ext/geomar/texintegr/latexrender/pictures/8c7fb5db9e52b876eb04f6a745869d33.png)
και ο β)
![\displaystyle{ \sqrt [3] 4 - \sqrt [4] 3} \displaystyle{ \sqrt [3] 4 - \sqrt [4] 3}](/forum/ext/geomar/texintegr/latexrender/pictures/b1eacca11ef297f86abb977d23aafc5c.png)
είναι άρρητοι.
Καλησπέρα.
Μια προσπάθεια,
εκτός φακέλλου για την πρώτη ...
Ξεκινάω με την Άσκηση 18 σελ. 27 του βιβλίου: Διαφορικός και Ολοκληρωτικός Λογισμός του Michael Spivak από τις Πανεπιστημιακές Εκδόσεις Κρήτης, Ηράκλειο 2007, 10η Έκδοση σε μετάφραση του Απόστολου Γιαννόπουλου και επιστημονική επιμέλεια των Δημήτρη Καραγιαννάκη, Μιχάλη Λάμπρου.
Αποδείξτε ότι, αν ο

ικανοποιεί την

(1) ,
για κάποιους ακέραιους

τότε ο

είναι άρρητος ,
εκτός αν ο

είναι ακέραιος.
Έστω

με

πρώτοι μεταξύ τους.
Αντικαθιστώντας στην (1) έχουμε :

Άρα

.
Έστω τώρα ότι

. Τότε θα υπάρχει

: πρώτος ώστε

(2) .
Μπορεί να ισχύει και

, αν

πρώτος.
Τότε από γνωστό θεώρημα (πχ. Βλ. Μαθηματικά Β΄Λυκείου Κατεύθυνσης , έχω την έκδοση 2014) ισχύει ότι και

(3) .
Οι (2) και (3) μας οδηγούν σε άτοπο.
Άρα αποδείξαμε ότι ο

είναι ακέραιος ή άρρητος.
Με βάση την παραπάνω πρόταση ο στόχος τώρα είναι να φτιάξω ένα πολυώνυμο ακεραίων συντελεστών, το οποίο
θα έχει ρίζα τον
![x = \displaystyle{ \sqrt 3 - \sqrt [3] 2} x = \displaystyle{ \sqrt 3 - \sqrt [3] 2}](/forum/ext/geomar/texintegr/latexrender/pictures/815684e97128933b8fe0950601fcccc5.png)
.
Στο δεύτερο υποερώτημα της ίδιας άσκησης με το ερώτημα αυτό ο Spivak υποδεικνύει να υπολογίσουμε τις πρώτες 6 δυνάμεις του

.
Έτσι προκύπτει ένα σύστημα 6 εξισώσεων με αγνώστους τους συντελεστές ενός πολυωνύμου 6ου βαθμού !
Πράξεις φοβερές...
Όμως αξίζει τον κόπο να ασχοληθούμε με ένα τέχνασμα που κάνει στο βιβλίο:
ANSWER BOOK FOR CALCULUS, Third Edition, Michael Spivak, Publish or Perish, Inc. Houston , Texas.
Ο

είναι ρίζα της εξίσωσης :
![\left [\left ( x-\sqrt{3} \right )^3+2 \right ]\cdot \left [\left ( x+\sqrt{3} \right )^3+2 \right ]=0 \left [\left ( x-\sqrt{3} \right )^3+2 \right ]\cdot \left [\left ( x+\sqrt{3} \right )^3+2 \right ]=0](/forum/ext/geomar/texintegr/latexrender/pictures/30d272a051d971c5e06b45838dbe7b11.png)
.
Κάνοντας τις πράξεις ισοδυνάμως, καταλήγουμε στο παρακάτω πολυώνυμο ακεραίων συντελεστών:

.
Εύκολα αποδεικνύουμε ότι

δεν είναι ακέραιος διότι είναι :

(4)
και
![1,2<\sqrt[3]{2}<1,3\Rightarrow -1,3<- \sqrt[3]{2}<-1,2 1,2<\sqrt[3]{2}<1,3\Rightarrow -1,3<- \sqrt[3]{2}<-1,2](/forum/ext/geomar/texintegr/latexrender/pictures/67c0b8bf9871a6e9f5592f7bb8053707.png)
(5)
Από (4),(5) συμπεραίνουμε ότι :

.
Συνεπώς ο

δεν είναι ακέραιος.
Επομένως από την παραπάνω πρόταση είναι άρρητος.
Φιλικά
Σταμ. Γλάρος