parmenides51 έγραψε:1. Εαν συμβολίσουμε με

το

,
να δειχτεί οτι

για

.
Από αυτό να συμπεράνετε οτι το

είναι ακέραιο πολυώνυμο του
και να δείξετε οτι ένα από τα

είναι το

.
Να υπολογίσετε μετά τις ρίζες του πολυωνύμου αυτού.
(Δίνεται

)
Κάνω το μεγάλο comeback στο

με αυτό το θέμα. Μία παρατήρηση μονάχα. Η σωστή εκφώνηση όπως προκύπτει από το eisatopon έχει τον αναδρομικό τύπο
![\displaystyle{P_{\nu + 1}(x) = 2xP_{\nu}(x) - P_{\nu - 1}(x), \forall x \in [- 1, 1], \nu \in N^*} \displaystyle{P_{\nu + 1}(x) = 2xP_{\nu}(x) - P_{\nu - 1}(x), \forall x \in [- 1, 1], \nu \in N^*}](/forum/ext/geomar/texintegr/latexrender/pictures/836d236ccda0b67dcbbeb0d7f1b7fccc.png)
. Πράγματι έχουμε για

:
![P_{\nu + 1}(x) = \sigma \upsilon \nu((\nu + 1) \tau o \xi \sigma \upsilon \nu x) = \sigma \upsilon \nu (\nu \tau o \xi \sigma \upsilon \nu x) \sigma \upsilon \nu (\tau o \xi \sigma \upsilon \nu x) - \eta \mu (\nu \tau o \xi \sigma \upsilon \nu x) \eta \mu (\tau o \xi \sigma \upsilon \nu x) = xP_{\nu}(x) - (\eta \mu ((\nu - 1) \tau o \xi \sigma \upsilon \nu x) \sigma \upsilon \nu (\tau o \xi \sigma \upsilon \nu x) + \sigma \upsilon \nu ((\nu - 1) \tau o \xi \sigma \upsilon \nu x) \eta \mu (\tau o \xi \sigma \upsilon \nu x)) \sqrt{1 - x^2} = xP_{\nu}(x) - (x \eta \mu ((\nu - 1) \tau o \xi \sigma \upsilon \nu x) + \sqrt{1 - x^2} P_{\nu - 1}(x)) \sqrt{1 - x^2} = xP_{\nu}(x) + [x(xP_{\nu - 1}(x) - \sqrt{1 - x^2} \eta \mu ((\nu - 1) \tau o \xi \sigma \upsilon \nu x)) - P_{\nu - 1}(x)] = xP_{\nu}(x) + (xP_{\nu}(x) - P_{\nu - 1}(x)) = 2xP_{\nu}(x) - P_{\nu - 1}(x) P_{\nu + 1}(x) = \sigma \upsilon \nu((\nu + 1) \tau o \xi \sigma \upsilon \nu x) = \sigma \upsilon \nu (\nu \tau o \xi \sigma \upsilon \nu x) \sigma \upsilon \nu (\tau o \xi \sigma \upsilon \nu x) - \eta \mu (\nu \tau o \xi \sigma \upsilon \nu x) \eta \mu (\tau o \xi \sigma \upsilon \nu x) = xP_{\nu}(x) - (\eta \mu ((\nu - 1) \tau o \xi \sigma \upsilon \nu x) \sigma \upsilon \nu (\tau o \xi \sigma \upsilon \nu x) + \sigma \upsilon \nu ((\nu - 1) \tau o \xi \sigma \upsilon \nu x) \eta \mu (\tau o \xi \sigma \upsilon \nu x)) \sqrt{1 - x^2} = xP_{\nu}(x) - (x \eta \mu ((\nu - 1) \tau o \xi \sigma \upsilon \nu x) + \sqrt{1 - x^2} P_{\nu - 1}(x)) \sqrt{1 - x^2} = xP_{\nu}(x) + [x(xP_{\nu - 1}(x) - \sqrt{1 - x^2} \eta \mu ((\nu - 1) \tau o \xi \sigma \upsilon \nu x)) - P_{\nu - 1}(x)] = xP_{\nu}(x) + (xP_{\nu}(x) - P_{\nu - 1}(x)) = 2xP_{\nu}(x) - P_{\nu - 1}(x)](/forum/ext/geomar/texintegr/latexrender/pictures/cc1ffaeecf7ede57e318d19c1b5dc781.png)
αφού:

Δείξαμε λοιπόν πως ισχύει ο τύπος

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

έχουμε αντίστοιχα

. Αν

τυχαίος θετικός ακέραιος υποθέτουμε πως το ζητούμενο ισχύει για τα

. Τότε όμως με βάση την παραπάνω σχέση και το

θα είναι πολυώνυμο ως άθροισμα πολυωνύμων και μάλιστα θα ισχύει

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

. Κάνοντας τις πράξεις βρίσκουμε πως πράγματι ισχύει

.
Αναζητώντας τις ρίζες του παραπάνω πολυωνύμου στο
![\displaystyle{[0, 1]} \displaystyle{[0, 1]}](/forum/ext/geomar/texintegr/latexrender/pictures/c83e877d0162c648760b7f1d01a65c7c.png)
και στηριζόμενοι έπειτα στο γεγονός πως αυτό αποτελείται μόνο από άρτιες δυνάμεις του x βρίσκουμε πως είναι

.