Πρόταση
Αν ρ πραγματική ρίζα πολλαπλότητας κ της παραγώγου P ΄ ενός πολυωνύμου P με πραγματικούς συντελεστές τότε
α) Αν κ άρτιος το (ρ, P(ρ)) δεν είναι ακρότατο της P
β) Αν κ περιτός τότε το (ρ, P(ρ)) είναι ακρότατο της P
Απόδειξη
α) Αν κ άρτιος τότε
P΄(χ)=
Οπότε υπάρχει διάστημα (ρ-ε, ρ+ε) στο οποίο είναι
και Q συνεχής οπότε διατηρεί σταθερό πρόσημο έστω Q(x)>0 τότε P ΄(χ)>0
στο (ρ-ε, ρ)ή(ρ, ρ+ε) οπότε η P δεν παρουσιάζει ακρότατο στο ρ (όμοια για Q(x)<0 )
β) Αν κ περιττός τότε
P΄(x)=
Οπότε υπάρχει διάστημα (ρ-ε, ρ+ε) στο οποίο είναι
και Q συνεχής οπότε διατηρεί σταθερό πρόσημο έστω Q(x)>0 οπότε
P΄(χ)<0 στο (ρ-ε, 0) και P΄(χ)>0 στο (0, ρ+ε) οπότε στο (ρ, P(ρ))
η P παρουσιάζει τοπικό ελάχιστο (όμοια παρουσιάζει τοπικό μέγιστο αν Q(x)<0)
Τώρα στην συγκεκριμένη
(*)Αν κ ένας από τους 1,2,3,…,n-1 τότε η εξίσωση f ΄(x)=0 ;έχει μία τουλάχιστον ρίζα στο διάστημα (κ, κ+1) (από Rolle) οπότε η εξίσωση f΄(x)=0 έχει n-1 τουλάχιστον ρίζες, τις
οπότε f΄(x)
και λαμβάνοντας υπόψη την (*)
Τελικά
f΄(x)
Όμως βαθμός της f(x)=1+2+3+ …n=n(n+1)/2
Τότε βαθμός της f ΄(χ)=n(n+1)/2 - 1=(n-1)(n+2)/2
Το πολυώνυμο
είναι βαθμού 1+2+3+…+n-1+n-1=(n-1)(n+2)/2
oπότε Q(x)=c=n(n+1)/2 - 1
από (1) έχουμε
-Αν n άρτιος τότε η f παρουσιάζει ακρότατα στα :

πλήθους : n/2 +n-1=(3n-2)/2
-Αν n περιττός τότε η f παρουσιάζει ακρότατα στα :
πλήθους : (n-1)/2 +n-1=(3n-3)/2
Ευχαριστώ τον Σπύρο Καπελλίδη για την παρατήρησή του
Γ. Μανεάδης