Come Risolvere l’Equazione Esponenziale A^B=1: Regole, Eccezioni e la Trappola della Base Negativa

Diciamoci la verità: quando gli studenti si trovano davanti a un’equazione esponenziale, il loro primo istinto è liberarsi della base il prima possibile, spesso applicando i logaritmi alla cieca.

In ogni classe c’è quel momento in cui un’esponenziale appare alla lavagna e qualcuno sussurra: ‘Logaritmi, vero?’. È il riflesso condizionato della matematica scolastica.

Ma la matematica ama i dettagli nascosti.

Una struttura apparentemente innocua come [math]A^B = 1[/math] non è un banale esercizio di calcolo, ma un vero e proprio test di analisi logica.

Basta dimenticare una condizione o dare per scontata una base per veder svanire metà delle soluzioni. In questo articolo smonteremo un’equazione ingannevole, [math](5-x)^{x^2+6x+9}=1[/math], analizzando i tre scenari fondamentali che aprono le porte a un risultato corretto e rigoroso, ed evitando i passi falsi più diffusi nei compiti in classe.

Quesito 2 — Equazione parametrica: trovare quando esistono esattamente tre soluzioni

Determinare per quali valori del parametro reale k l’equazione

[math](k-x)^{x^2+2x+1}=1[/math]

ammette esattamente tre soluzioni reali distinte.

Passo 1 — Riconoscere la struttura dell’equazione

L’equazione è della forma:

[math]A^B=1[/math]

dove:

[math]A=k-x \qquad B=x^2+2x+1=(x+1)^2[/math]

Quando un’espressione esponenziale reale vale 1, esistono tre casi fondamentali da analizzare.

Caso	Condizione	Motivo
I	[math]B=0[/math] e [math]A\neq0[/math]	Ogni numero non nullo elevato a zero vale 1
II	[math]A=1[/math]	[math]1^B=1[/math] per ogni esponente reale
III	[math]A=-1[/math] e [math]B[/math] intero pari	[math](-1)^{\text{pari}}=1[/math]

L’idea della soluzione consiste nello studiare tutti e tre i casi separatamente e poi contare quante soluzioni reali distinte otteniamo.

Caso I — L’esponente è nullo

Imponiamo:

[math]x^2+2x+1=0[/math]

Osserviamo subito che:

[math]x^2+2x+1=(x+1)^2[/math]

quindi:

[math](x+1)^2=0[/math]

L’unica soluzione è:

[math]x=-1[/math]

Tuttavia dobbiamo verificare che la base non diventi zero, perché la forma [math]0^0[/math] non è definita.

Calcoliamo la base:

[math]A=k-(-1)=k+1[/math]

Serve dunque:

[math]k+1\neq0[/math]

cioè:

[math]k\neq-1[/math]

Prima soluzione candidata:
Otteniamo quindi:

[math]x_1=-1[/math]

valida per ogni [math]k\neq-1[/math].

Caso II — La base è uguale a 1

Imponiamo:

[math]k-x=1[/math]

Ricaviamo:

[math]x=k-1[/math]

Questa è automaticamente una soluzione, perché:

[math]1^{(x+1)^2}=1[/math]

qualunque sia l’esponente.

Seconda soluzione candidata:
Abbiamo:

[math]x_2=k-1[/math]

Caso III — La base è uguale a -1

Imponiamo:

[math]k-x=-1[/math]

Da cui:

[math]x=k+1[/math]

Qui bisogna essere molto rigorosi. Molti studenti commettono un errore concettuale: pensano che basti avere la base uguale a -1. In realtà, [math](-1)^B[/math] vale 1 solo se l’esponente è un intero pari.

Per esempio, [math](-1)^4=1[/math], mentre [math](-1)^5=-1[/math], e ancora [math](-1)^{\sqrt{2}}[/math] non è nemmeno un numero reale.

Dobbiamo quindi imporre che [math]B=(x+1)^2[/math] sia un intero pari. Sostituendo [math]x=k+1[/math] otteniamo:

[math]B=(k+2)^2[/math]

La condizione corretta è dunque:

[math](k+2)^2\in2\mathbb{Z}[/math]

cioè il quadrato deve appartenere all’insieme degli interi pari.

Attenzione a un errore molto comune

Qui è facile cadere in una trappola logica. Sarebbe sbagliato dire: “Se il quadrato è pari, allora [math]k+2[/math] deve essere intero pari”.

Questo ragionamento sarebbe corretto solo se [math]k[/math] fosse intero. Ma nel nostro problema [math]k\in\mathbb{R}[/math] è un parametro reale generico! Per esempio, [math](k+2)^2=2[/math] è un’equazione perfettamente accettabile. Infatti ricaviamo [math]k+2=\pm\sqrt{2} \Rightarrow k=-2\pm\sqrt{2}[/math], che sono numeri irrazionali ma assolutamente validi per il nostro scopo.

Come imporre correttamente la condizione

Poiché l’esponente deve essere un intero pari positivo (essendo un quadrato), scriviamo:

[math](k+2)^2=2m[/math]

con:

[math]m\in\mathbb{Z}_{\ge 0}[/math]

Ricaviamo:

[math]k+2=\pm\sqrt{2m}[/math]

quindi:

[math]k=-2\pm\sqrt{2m}[/math]

Abbiamo descritto tutti i valori possibili del parametro che rendono valido il terzo caso.

Terza soluzione candidata:
In questo caso:

[math]x_3=k+1[/math]

Passo finale — Le tre soluzioni devono essere distinte

Ora abbiamo tre candidate:

• [math]x_1=-1[/math]
• [math]x_2=k-1[/math]
• [math]x_3=k+1[/math]

Non basta che esistano: devono essere tutte diverse tra loro.

Controllo 1 — Evitare che [math]x_1[/math] e [math]x_2[/math] coincidano

Imponiamo:

[math]k-1\neq-1[/math]

cioè:

[math]k\neq0[/math]

Se infatti [math]k=0[/math], allora [math]x_2=-1=x_1[/math] e perderemmo una soluzione distinta.

Controllo 2 — Evitare che [math]x_1[/math] e [math]x_3[/math] coincidano

Serve:

[math]k+1\neq-1[/math]

cioè:

[math]k\neq-2[/math]

Ma osserviamo che:

[math]k=-2 \iff (k+2)^2=0 \iff m=0[/math]

Questo caso produce [math]x_3=-1=x_1[/math], quindi va escluso. Per questo possiamo direttamente prendere:

[math]m\in\mathbb{Z}_{>0}[/math]

Controllo 3 — Evitare che [math]x_2[/math] e [math]x_3[/math] coincidano

Controlliamo:

[math]k-1=k+1[/math]

che è impossibile (nessun numero è uguale a se stesso aumentato di 2). Quindi nessun problema.

Soluzione finale

L’equazione ammette esattamente tre soluzioni reali distinte se e solo se:

[math]k=-2\pm\sqrt{2m} \qquad m\in\mathbb{Z}_{>0}[/math]

escludendo il caso [math]k=0[/math] che produce una coincidenza tra le soluzioni.
Poiché [math]k=0 \iff m=2[/math] (con il segno positivo), la forma più rigorosa e compatta della risposta è:

[math]\boxed{ k=-2\pm\sqrt{2m}, \qquad m\in\mathbb{Z}_{>0}, \qquad k\neq0 }[/math]

Verifica con un esempio irrazionale

Per toccare con mano il risultato, prendiamo [math]m=1[/math].
Allora:

[math]k=-2+\sqrt{2}[/math]

Le tre soluzioni sono:

• [math]x_1=-1[/math]
• [math]x_2=-3+\sqrt{2}[/math]
• [math]x_3=-1+\sqrt{2}[/math]

Controlliamo il terzo caso.
La base diventa: [math]k-x_3 = (-2+\sqrt{2}) – (-1+\sqrt{2}) = -1[/math]
L’esponente diventa: [math](x_3+1)^2 = (-1+\sqrt{2}+1)^2 = (\sqrt{2})^2 = 2[/math]
Otteniamo quindi:

[math](-1)^2=1[/math]

Tutto funziona perfettamente. Questo conferma che esistono anche infiniti valori irrazionali di [math]k[/math] che soddisfano brillantemente il problema.

---

Tutto chiaro fin qui? Bene. Ma se ancora vi state chiedendo perché i matematici siano così ossessionati dal legare l’esponente a un valore intero pari quando la base è negativa, preparatevi. Per capire quanto sia sottile il ghiaccio su cui camminiamo, diamo uno sguardo a due “cortocircuiti” algebrici che capitano quando si dimenticano le condizioni di esistenza.

---