Corsi › Analisi Matematica 1 › 5. Funzioni elementari
Esercizio 21
Testo (Lezione 10, esercizio 2 del foglio). Determinare, per ogni a ∈ R a \in \mathbb{R} a ∈ R , dominio e segno di
f ( x ) = log 1 / 3 ( 1 2 x − 1 ∣ 3 x − a ∣ ) f(x) = \log_{1/3}\left(\frac{1}{2x} - \frac{1}{|3x - a|}\right) f ( x ) = log 1/3 ( 2 x 1 − ∣3 x − a ∣ 1 )
Passo 0: struttura della funzione
Chiamiamo X = 1 2 x − 1 ∣ 3 x − a ∣ X = \frac{1}{2x} - \frac{1}{|3x - a|} X = 2 x 1 − ∣3 x − a ∣ 1 l'argomento del logaritmo, così f ( x ) = log 1 / 3 ( X ) f(x) = \log_{1/3}(X) f ( x ) = log 1/3 ( X ) . Ci servono due fatti sul logaritmo in base 1 3 \frac13 3 1 Base compresa tra 0 e 1: il logaritmo è definito solo per argomenti positivi ed è strettamente decrescente.Esponenziale e logaritmo → :
esiste solo se X > 0 X > 0 X > 0 ;
è strettamente decrescente (base 1 3 < 1 \frac13 < 1 3 1 < 1 ), vale 0 0 0 per X = 1 X = 1 X = 1 , è positivo per 0 < X < 1 0 < X < 1 0 < X < 1 e negativo per X > 1 X > 1 X > 1 .
Grafico interattivo: y = log in base 1/3 di X: definita per X > 0, decrescente, positiva per 0 < X < 1
Passo 1: dominio
Il dominio naturaleLe x x x per cui tutte le operazioni della formula hanno senso: denominatori diversi da zero, argomenti dei logaritmi positivi.Funzioni - definizione, dominio e grafico → richiede: i denominatori non nulli (x ≠ 0 x \ne 0 x = 0 e 3 x − a ≠ 0 3x - a \ne 0 3 x − a = 0 , cioè x ≠ a 3 x \ne \frac{a}{3} x = 3 a ) e l'argomento positivo:
{ x ≠ 0 , x ≠ a 3 1 2 x − 1 ∣ 3 x − a ∣ > 0 \begin{cases} x \ne 0, \ x \ne \frac{a}{3} \\ \frac{1}{2x} - \frac{1}{|3x - a|} > 0 \end{cases} { x = 0 , x = 3 a 2 x 1 − ∣3 x − a ∣ 1 > 0
Riscriviamo la disequazione. 1 2 x > 1 ∣ 3 x − a ∣ \frac{1}{2x} > \frac{1}{|3x - a|} 2 x 1 > ∣3 x − a ∣ 1 . Il membro destro è positivo (un modulo non nullo al denominatore): quindi anche 1 2 x \frac{1}{2x} 2 x 1 deve essere positivo, cioè x > 0 x > 0 x > 0 . La condizione diventa
0 < 1 ∣ 3 x − a ∣ < 1 2 x ( x > 0 ) 0 < \frac{1}{|3x - a|} < \frac{1}{2x} \qquad (x > 0) 0 < ∣3 x − a ∣ 1 < 2 x 1 ( x > 0 )
Passiamo ai reciproci. Per numeri positivi, passare ai reciproci inverte il versoSe 0 < a < b 0 < a < b 0 < a < b allora 1 a > 1 b \frac1a > \frac1b a 1 > b 1 : dividere per un numero più grande dà un risultato più piccolo.Campi ordinati (Q e R) → :
2 x < ∣ 3 x − a ∣ 2x < |3x - a| 2 x < ∣3 x − a ∣
Togliamo il modulo con la proprietà 5∣ t ∣ > r \lvert t \rvert > r ∣ t ∣ > r con r > 0 r > 0 r > 0 equivale a t < − r t < -r t < − r oppure t > r t > r t > r .Valore assoluto (modulo) → (qui r = 2 x > 0 r = 2x > 0 r = 2 x > 0 ):
3 x − a < − 2 x oppure 3 x − a > 2 x ⟺ x < a 5 oppure x > a 3x - a < -2x \quad \text{oppure} \quad 3x - a > 2x \iff x < \frac{a}{5} \quad \text{oppure} \quad x > a 3 x − a < − 2 x oppure 3 x − a > 2 x ⟺ x < 5 a oppure x > a
Il dominio è quindi dato dal sistemaLe condizioni (I) e (II) devono valere insieme: si tengono le x x x comuni.
{ x > 0 , x ≠ a 3 (I) x < a 5 oppure x > a (II) \begin{cases} x > 0, \ x \ne \frac{a}{3} & \text{(I)} \\ x < \frac{a}{5} \ \text{ oppure } \ x > a & \text{(II)} \end{cases} { x > 0 , x = 3 a x < 5 a oppure x > a (I) (II)
e la risposta dipende dal segno del parametroUn numero a a a fissato ma non noto: si risolve l'esercizio distinguendo i casi possibili per a a a . a a a (che decide dove stanno a 5 \frac{a}{5} 5 a , a 3 \frac{a}{3} 3 a , a a a rispetto a 0 0 0 ).
Caso a > 0 a > 0 a > 0
Sulla retta l'ordine è 0 < a 5 < a 3 < a 0 < \frac{a}{5} < \frac{a}{3} < a 0 < 5 a < 3 a < a . La (II) dà ( − ∞ , a 5 ) ∪ ( a , + ∞ ) (-\infty, \frac{a}{5}) \cup (a, +\infty) ( − ∞ , 5 a ) ∪ ( a , + ∞ ) ; intersecando con x > 0 x > 0 x > 0 resta ( 0 , a 5 ) ∪ ( a , + ∞ ) (0, \frac{a}{5}) \cup (a, +\infty) ( 0 , 5 a ) ∪ ( a , + ∞ ) . Il punto a 3 \frac{a}{3} 3 a è già escluso (sta tra a 5 \frac{a}{5} 5 a e a a a ).
D o m ( f ) = ( 0 , a 5 ) ∪ ( a , + ∞ ) \mathrm{Dom}(f) = \left(0, \tfrac{a}{5}\right) \cup (a, +\infty) Dom ( f ) = ( 0 , 5 a ) ∪ ( a , + ∞ )
Caso a = 0 a = 0 a = 0
(I): x > 0 x > 0 x > 0 , x ≠ 0 x \ne 0 x = 0 . (II): x < 0 x < 0 x < 0 oppure x > 0 x > 0 x > 0 . Insieme: x > 0 x > 0 x > 0 .
D o m ( f ) = ( 0 , + ∞ ) \mathrm{Dom}(f) = (0, +\infty) Dom ( f ) = ( 0 , + ∞ )
Caso a < 0 a < 0 a < 0
Ora a < a 3 < a 5 < 0 a < \frac{a}{3} < \frac{a}{5} < 0 a < 3 a < 5 a < 0 : tutti negativi. Ogni x > 0 x > 0 x > 0 soddisfa x > a x > a x > a , quindi la (II) è automaticamente vera; e a 3 < 0 \frac{a}{3} < 0 3 a < 0 non dà fastidio.
D o m ( f ) = ( 0 , + ∞ ) \mathrm{Dom}(f) = (0, +\infty) Dom ( f ) = ( 0 , + ∞ )
Controllo numerico (a = 5 a = 5 a = 5 ): dominio ( 0 , 1 ) ∪ ( 5 , + ∞ ) (0, 1) \cup (5, +\infty) ( 0 , 1 ) ∪ ( 5 , + ∞ ) . Con x = 2 x = 2 x = 2 (escluso): 1 4 − 1 ∣ 6 − 5 ∣ = − 3 4 < 0 \frac14 - \frac{1}{|6 - 5|} = -\frac34 < 0 4 1 − ∣6 − 5∣ 1 = − 4 3 < 0 ✓, il logaritmo non esiste. Con x = 1 2 x = \frac12 x = 2 1 (incluso): 1 − 1 ∣ 1 , 5 − 5 ∣ = 1 − 1 3 , 5 > 0 1 - \frac{1}{|1{,}5 - 5|} = 1 - \frac{1}{3{,}5} > 0 1 − ∣1 , 5 − 5∣ 1 = 1 − 3 , 5 1 > 0 ✓.
Passo 2: segno
f ( x ) ≥ 0 ⟺ log 1 / 3 ( X ) ≥ 0 f(x) \ge 0 \iff \log_{1/3}(X) \ge 0 f ( x ) ≥ 0 ⟺ log 1/3 ( X ) ≥ 0 . Ci sono due modi per tradurlo.
Quindi il segno si studia con il sistema
f ( x ) ≥ 0 ⟺ { x ∈ D o m ( f ) 1 2 x − 1 ∣ 3 x − a ∣ ≤ 1 f(x) \ge 0 \iff \begin{cases} x \in \mathrm{Dom}(f) \\ \frac{1}{2x} - \frac{1}{|3x - a|} \le 1 \end{cases} f ( x ) ≥ 0 ⟺ { x ∈ Dom ( f ) 2 x 1 − ∣3 x − a ∣ 1 ≤ 1
La prof si ferma qui ("…"). Due osservazioni permettono di andare avanti.
Per x ≥ 1 2 x \ge \frac12 x ≥ 2 1 (nel dominio) f f f è sempre positiva. Infatti X = 1 2 x − 1 ∣ 3 x − a ∣ < 1 2 x ≤ 1 X = \frac{1}{2x} - \frac{1}{|3x-a|} < \frac{1}{2x} \le 1 X = 2 x 1 − ∣3 x − a ∣ 1 < 2 x 1 ≤ 1 (si toglie una quantità positiva, e 2 x ≥ 1 2x \ge 1 2 x ≥ 1 ). Quindi la disequazione è interessante solo per 0 < x < 1 2 0 < x < \frac12 0 < x < 2 1 , dove la risposta dipende da a a a in modo complicato.
Il caso a = 0 a = 0 a = 0 si completa facilmente. Per x > 0 x > 0 x > 0 , ∣ 3 x ∣ = 3 x |3x| = 3x ∣3 x ∣ = 3 x e
X = 1 2 x − 1 3 x = 3 − 2 6 x = 1 6 x X = \frac{1}{2x} - \frac{1}{3x} = \frac{3 - 2}{6x} = \frac{1}{6x} X = 2 x 1 − 3 x 1 = 6 x 3 − 2 = 6 x 1
X ≤ 1 ⟺ 1 6 x ≤ 1 ⟺ 6 x ≥ 1 X \le 1 \iff \frac{1}{6x} \le 1 \iff 6x \ge 1 X ≤ 1 ⟺ 6 x 1 ≤ 1 ⟺ 6 x ≥ 1 (moltiplicando per 6 x > 0 6x > 0 6 x > 0 Moltiplicando i due membri per un numero positivo il verso della disuguaglianza non cambia.Campi ordinati (Q e R) → ) ⟺ x ≥ 1 6 \iff x \ge \frac16 ⟺ x ≥ 6 1 . Quindi, per a = 0 a = 0 a = 0 : f ( x ) > 0 f(x) > 0 f ( x ) > 0 per x > 1 6 x > \frac16 x > 6 1 , f ( 1 6 ) = 0 f(\frac16) = 0 f ( 6 1 ) = 0 , f ( x ) < 0 f(x) < 0 f ( x ) < 0 per 0 < x < 1 6 0 < x < \frac16 0 < x < 6 1 .
Controllo: x = 1 x = 1 x = 1 : f ( 1 ) = log 1 / 3 1 6 > 0 f(1) = \log_{1/3}\frac16 > 0 f ( 1 ) = log 1/3 6 1 > 0 ✓ (argomento tra 0 0 0 e 1 1 1 ); x = 1 12 x = \frac{1}{12} x = 12 1 : X = 2 X = 2 X = 2 , f = log 1 / 3 2 < 0 f = \log_{1/3} 2 < 0 f = log 1/3 2 < 0 ✓.
Risultato (dominio)
a a a
D o m ( f ) \mathrm{Dom}(f) Dom ( f )
a > 0 a > 0 a > 0
( 0 , a 5 ) ∪ ( a , + ∞ ) (0, \frac{a}{5}) \cup (a, +\infty) ( 0 , 5 a ) ∪ ( a , + ∞ )
a = 0 a = 0 a = 0
( 0 , + ∞ ) (0, +\infty) ( 0 , + ∞ )
a < 0 a < 0 a < 0
( 0 , + ∞ ) (0, +\infty) ( 0 , + ∞ )
Errori comuni
Dimenticare che 1 2 x \frac{1}{2x} 2 x 1 deve essere positivo , e quindi che x > 0 x > 0 x > 0 .
Passare ai reciproci senza invertire il verso.
Dimenticare che log 1 / 3 \log_{1/3} log 1/3 è decrescente : log 1 / 3 X ≥ 0 \log_{1/3} X \ge 0 log 1/3 X ≥ 0 significa X ≤ 1 X \le 1 X ≤ 1 , non X ≥ 1 X \ge 1 X ≥ 1 .
Precedente Esercizio 20 - esponenziali e logaritmi in base e Successiva Esercizio 22 - antimmagine di [0,+∞) con radici