Soluzione del Quesito 7
Consideriamo la funzione polinomiale \(f(x) = x^{2025} + 2025x + 12\), che è continua in tutto l'asse reale \(\mathbb{R}\) e, in particolare, nell'intervallo chiuso \([-1; 0]\).
Calcoliamo i valori che la funzione assume agli estremi di questo intervallo:
\[f(-1) = (-1)^{2025} + 2025(-1) + 12 = -1 - 2025 + 12 = -2014 < 0\]
\[f(0) = 0^{2025} + 2025(0) + 12 = 12 > 0\]
Poiché la funzione è continua nell'intervallo chiuso \([-1; 0]\) e assume segni opposti ai suoi estremi, ovvero \(f(-1) \cdot f(0) < 0\), per il teorema degli zeri esiste almeno una radice \(c\) interna all'intervallo open \((-1; 0)\) tale che \(f(c) = 0\).
Per dimostrare l'unicità di tale radice, studiamo la derivata prima della funzione:
\[f'(x) = 2025x^{2024} + 2025 = 2025\left(x^{2024} + 1\right)\]
Poiché l'esponente \(2024\) è un numero intero pari, la quantità \(x^{2024}\) è maggiore o uguale a zero per qualunque valore reale di \(x\) (\(x^{2024} \ge 0 \quad \forall x \in \mathbb{R}\)).
Di conseguenza, aggiungendo \(1\), la parentesi risulta sempre strettamente positiva, rendendo la derivata prima maggiore di zero in tutto il dominio:
\[f'(x) > 0 \quad \forall x \in \mathbb{R}\]
Essendo la derivata prima sempre strettamente positiva, la funzione \(f(x)\) è strettamente crescente in tutto l'asse reale e, di conseguenza, lo è anche nell'intervallo chiuso \([-1; 0]\). La radice quindi è unica.
Resta così dimostrato che l'equazione ammette una sola radice compresa nell'intervallo \((-1; 0)\).