Divisione di polinomi

Ho un problema da proporre:

Sia P(x) un polinomio, dimostrare che: [P(P(x))-x] è sempre divisibile per [P(x)-x]. O ancora più in generale:

[P(P(P(...P(x)))..))) - x] è sempre divisibile per [P(x) - x]

E' sempre divisibile dove?

Platone

Ciao, la prima parte l'ho dovuta pure fare io quest anno ad a.lineare II
Allora:

Abbiamo che P(P(x))-x= P(P(x)) - P(x) + P(x) - x

Ora definisco A:= P(P(x)) - P(x) e B:= P(x) - x

e riscrivo A come polinomio, cioe come sommatoria
A=SOMMA(k=0->n) {ak * P(x)^k} - SOMMA(k=0->n) {ak * x^k}
=SOMMA(k=1->n) {ak * (P(x)^k - x^k)
=SOMMA(k=0->n) {ak * (P(x) - x) * Q(x)}
=(P(x)-x) * SOMMA(k=0->n) {ak * Q(x)}

dove Q(x) = SOMMA(k=0->n-1) {P(x)^(n-1-k) * x^k}

=> <u>A = (P(x) - x) * M(x)</u> con M(x) = SOMMA(k=0->n) {ak * Q(x)}

Quindi (P(x) - x) divide A (ed evidentemente (P(x) - x) divide B)

Allora P(x) - x divide A+B= P(P(x)) - x.

Penso che la seconda parte sia molto ricorsiva rispetto a questo...

Ciauu

L.L

Allora, il problema originario a cui xxalenicxx si è ispirato credo sia :

sia P^n(x) = P(P(P(...P(x)))) n volte

P^n(x) - x
------------ = Q(x), Q(x) polinomio <=> k|n (k divide n)
P^k(x) - x