Σταθερο Πολυωνυμο

Συντονιστής: exdx

ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ
Δημοσιεύσεις: 3600
Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ

Re: Σταθερο Πολυωνυμο

#21

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Παρ Ιαν 01, 2021 11:20 am

papel έγραψε:
Πέμ Ιουν 11, 2009 12:46 pm
Να δείξετε οτι εάν για κάθε x το πολυώνυμο G(x) ικανοποιει την σχεση :

\displaystyle{\displaystyle G(2{x^2} - 1) = \frac{{{{\left[ {G(x)} \right]}^2}}}{2} - 1}

τοτε το πολυωνυμο αυτο ειναι σταθερο.

(Δυσκολη και θα ηθελα να δω πως θα την αντιμετωπιζαν οι συναδελφοι οχι τοσο την λυση
αλλα το σκεπτικο πως να κινηθουμε)

Διορθωση στην εκφωνηση αντι του καθε μετα απο υποδειξεις
Γράφω λύση πάνω στην ιδέα του Ροδόλφου.
Εχουμε
\displaystyle{\displaystyle G(2{x^2} - 1) = \frac{{{{\left[ {G(x)} \right]}^2}}}{2} - 1}

Θέτοντας x=\cos y και f(y)=G(\cos y)
γίνεται
2f(2y)+2=(f(y))^2(1)

Το f(y) είναι ένα τριγωνομετρικό πολυώνυμο.
Εδω συγκεκριμένα είναι
\displaystyle f(y)=a_{0}+\sum_{k=1}^{n}a_k \cos ky

Να σημειώσω ότι η (1) ισχύει για όλα τα y\in \mathbb{R}
Αυτό οφείλεται στο ότι κάθε τριγωνομετρικό πολυώνυμο,δηλαδή μια παράσταση
της μορφής

\displaystyle f(y)=a_{0}+\sum_{k=1}^{n}a_k \cos ky+b_k\sin ky,|a_n|+|b_n|\neq 0
έχει στο [0,2\pi ] το πολύ
2n ρίζες.
(Θέτουμε z=e^{i\theta } και έχουμε τις ρίζες ενός μιγαδικού πολυώνυμου 2n βαθμού στον
μοναδιαίο κύκλο)


Από την (1) παίρνουμε ότι
α)f(y)\neq 0
β)2f'(2y)=f(y)f'(y)

Αν το n>0 τότε η α),β) δίνουν
αν υπάρχει
r\in (0,2\pi ) με f'(r)=0 τότε f'(\frac{r}{2^{m}})=0 ,m=0,1,2,....

Θα έχουμε ΑΤΟΠΟ αν εξασφαλίσουμε r\in (0,2\pi ) με f'(r)=0

Αλλά αυτό είναι άμεσο από το

\displaystyle  \int_{0}^{2\pi }f'(y)dy=0


Απάντηση

Επιστροφή σε “ΑΛΓΕΒΡΑ Β'”

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

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