Salta al contenuto
Note per Studenti Esercizio 75 · studio di radice di (1 - log(x2)/arccos x

Esercizio 75studio di radice di (1 - log(x2)/arccos x

In questa pagina 4
In questa pagina 4

Testo. Data

f(x)=1−log⁡(x2)arccos⁡xf(x) = \sqrt{\frac{1 - \log(x^2)}{\arccos x}}

  • (a) dominio, simmetrie, segno di ff;
  • (b) asintoti, punti di continuità e di prolungamento per continuità;
  • (c) ff è inferiormente o superiormente limitata?

Teoria: Discontinuità e prolungamento per continuitàIn un punto interno del dominio f può avere discontinuità di prima specie (salto), di seconda specie (limite infinito o inesistente) o eliminabile; in un punto fuori dal dominio, se i limiti destro e sinistro coincidono e sono finiti, f si prolunga per continuità. Limiti alla frontiera nello studio di funzione.Discontinuità e prolungamento per continuità →, Asintoti di una funzionex = x0 è asintoto verticale se il limite destro o sinistro in x0 è infinito; y = ℓ è orizzontale se f → ℓ per x → ±∞; y = mx + q è obliquo se f(x)/x → m ≠ 0 e f(x) − mx → q.Asintoti di una funzione →, Funzioni trigonometriche e loro inverseSeno, coseno e tangente definiti sulla circonferenza goniometrica (angoli in radianti), le loro proprietà e le inverse arcoseno, arcocoseno e arcotangente; come risolvere a sin t + b cos t ≥ c.Funzioni trigonometriche e loro inverse →.


(a) Dominio, simmetrie, segno

Le condizioni

Quattro funzioni con dominio ristretto:

Condizione Da dove viene
x2>0x^2 > 0 argomento del logaritmo
−1≤x≤1-1 \le x \le 1 dominio dell'arcocoseno
arccos⁡x≠0\arccos x \ne 0 denominatore
1−log⁡(x2)arccos⁡x≥0\frac{1 - \log(x^2)}{\arccos x} \ge 0 radice quadrata

Si semplificano una alla volta:

  • x2>0  ⟺  x≠0x^2 > 0 \iff x \ne 0.
  • L'arcocoseno va da [−1,1][-1, 1] a [0,π][0, \pi], è strettamente decrescente e vale 00 solo in x=1x = 1 (arccos⁡1=0\arccos 1 = 0). Quindi arccos⁡x≠0  ⟺  x≠1\arccos x \ne 0 \iff x \ne 1, e per x∈[−1,1[x \in [-1, 1[ si ha arccos⁡x>0\arccos x > 0.
  • Siccome il denominatore è positivo, la condizione della radice si riduce al numeratore: 1−log⁡(x2)≥0  ⟺  log⁡(x2)≤1  ⟺  x2≤e  ⟺  −e≤x≤e1 - \log(x^2) \ge 0 \iff \log(x^2) \le 1 \iff x^2 \le e \iff -\sqrt e \le x \le \sqrt e (si applica l'esponenziale, crescente, ai due membri). Ma e≈1,65>1\sqrt e \approx 1{,}65 > 1: questa condizione è automaticamente vera per x∈[−1,1]x \in [-1, 1].

domf=[−1,1[ ∖{0}\mathrm{dom} f = [-1, 1[ \,\setminus \{0\}

Simmetrie

Il dominio non è simmetrico rispetto all'origine (−1-1 c'è, 11 no): ff non è né pari né dispari.

Segno

Una radice quadrata è sempre ≥0\ge 0. Anzi, il numeratore 1−log⁡(x2)1 - \log(x^2) è strettamente positivo nel dominio (x2<ex^2 < e), quindi

f(x)>0∀x∈[−1,1[ ∖{0}f(x) > 0 \qquad \forall x \in [-1, 1[ \,\setminus \{0\}

(b) Continuità e limiti alla frontiera

ff è composta da funzioni elementari: è continua in tutto il dominio [−1,1[∖{0}[-1, 1[ \setminus \{0\}.

I punti di frontiera da studiare sono 1−1^- (estremo escluso) e 0±0^\pm (punto tolto). In −1-1 non serve il limite: −1-1 sta nel dominio e ff è continua lì:

f(−1)=1−log⁡1arccos⁡(−1)=1−0π=1πf(-1) = \sqrt{\frac{1 - \log 1}{\arccos(-1)}} = \sqrt{\frac{1 - 0}{\pi}} = \frac{1}{\sqrt\pi}

In 1−1^-. Il numeratore tende a 1−log⁡1=11 - \log 1 = 1, il denominatore arccos⁡x→0+\arccos x \to 0^+:

lim⁡x→1−f(x)=10+=+∞\lim_{x \to 1^-} f(x) = \sqrt{\frac{1}{0^+}} = +\infty

x=1x = 1 è asintoto verticale sinistro.

In 0±0^\pm. log⁡(x2)→−∞\log(x^2) \to -\infty, quindi 1−log⁡(x2)→+∞1 - \log(x^2) \to +\infty; il denominatore tende ad arccos⁡0=π2\arccos 0 = \frac{\pi}{2}:

lim⁡x→0±f(x)=+∞π/2=+∞\lim_{x \to 0^\pm} f(x) = \sqrt{\frac{+\infty}{\pi/2}} = +\infty

x=0x = 0 è asintoto verticale completo, e in 00 ff non è prolungabile per continuità.

Non ci sono asintoti orizzontali od obliqui: il dominio è limitato.

(c) Limitatezza

  • sup⁡f=+∞\sup f = +\infty (dai limiti in 00 e in 1−1^-): ff non è superiormente limitata.
  • f(x)>0f(x) > 0: ff è inferiormente limitata (da 00).

Quanto vale inf⁡f\inf f? Con gli strumenti di questa lezione non si può dire (la prof si ferma qui). Numericamente: su [−1,0[[-1, 0[ i valori partono da f(−1)=1π≈0,564f(-1) = \frac{1}{\sqrt\pi} \approx 0{,}564 e crescono verso +∞+\infty; su ]0,1[]0, 1[ il valore più piccolo è circa 1,471{,}47 (vicino a x≈0,68x \approx 0{,}68). Quindi inf⁡f=min⁡f=f(−1)=1π\inf f = \min f = f(-1) = \frac{1}{\sqrt\pi}; lo si potrà dimostrare con lo studio della derivata.

Grafico interattivo: f(x) = √((1 − log x²)/arccos x) su [−1, 1[ \ {0}: asintoti x = 0 e x = 1

Errori comuni

  • Scrivere log⁡(x2)=2log⁡x\log(x^2) = 2\log x: vale solo per x>0x > 0. In generale log⁡(x2)=2log⁡∣x∣\log(x^2) = 2\log|x|, e qui xx può essere negativo.
  • Calcolare il limite in −1-1: −1-1 sta nel dominio, basta calcolare f(−1)f(-1).
  • Dimenticare che arccos⁡1=0\arccos 1 = 0: va escluso x=1x = 1.

Versione ripasso

Testo. Data f(x)=1−log⁡(x2)arccos⁡xf(x) = \sqrt{\frac{1 - \log(x^2)}{\arccos x}}, determinare dominio, simmetrie, segno, asintoti, continuità e limitatezza.

(a) Dominio, simmetrie, segno

Condizioni

  1. x2>0  ⟺  x≠0x^2 > 0 \iff x \neq 0
  2. −1≤x≤1-1 \le x \le 1 (dominio di arccos⁡x\arccos x)
  3. arccos⁡x≠0  ⟺  x≠1\arccos x \neq 0 \iff x \neq 1
  4. 1−log⁡(x2)arccos⁡x≥0\frac{1 - \log(x^2)}{\arccos x} \ge 0. Poiché per x∈[−1,1[x \in [-1, 1[ si ha arccos⁡x>0\arccos x > 0, basta 1−log⁡(x2)≥0  ⟺  x2≤e1 - \log(x^2) \ge 0 \iff x^2 \le e. Dato che e>1e > 1, la condizione è sempre verificata in [−1,1][-1, 1].

Dominio: domf=[−1,1[ ∖{0}\mathrm{dom} f = [-1, 1[ \,\setminus \{0\}.

  • Simmetrie: Dominio non simmetrico rispetto a 0⇒0 \Rightarrow ff né pari né dispari.
  • Segno: Radice di valore positivo ⇒f(x)>0\Rightarrow f(x) > 0 in tutto il dominio.

(b) Continuità e limiti

ff è continua su tutto il dominio.

  • In x=−1x = -1: f(−1)=1−log⁡1arccos⁡(−1)=1π=1πf(-1) = \sqrt{\frac{1 - \log 1}{\arccos(-1)}} = \sqrt{\frac{1}{\pi}} = \frac{1}{\sqrt\pi}.
  • In x→1−x \to 1^-: lim⁡x→1−f(x)=10+=+∞\lim_{x \to 1^-} f(x) = \sqrt{\frac{1}{0^+}} = +\infty. Asintoto verticale sinistro x=1x=1.
  • In x→0±x \to 0^\pm: lim⁡x→0±+∞π/2=+∞\lim_{x \to 0^\pm} \sqrt{\frac{+\infty}{\pi/2}} = +\infty. Asintoto verticale completo x=0x=0. Non prolungabile per continuità in 00.

(c) Limitatezza

  • Superiormente: Non limitata (sup⁡f=+∞\sup f = +\infty).
  • Inferiormente: Limitata da 00. Poiché il dominio è limitato e il valore minimo locale su [−1,0[[-1, 0[ è f(−1)f(-1), si ha inf⁡f=f(−1)=1π\inf f = f(-1) = \frac{1}{\sqrt\pi}.

Errori tipici

  • Sostituire log⁡(x2)=2log⁡x\log(x^2) = 2\log x: corretto è 2log⁡∣x∣2\log|x|, necessario per x<0x < 0.
  • Dimenticare che x=−1x=-1 è nel dominio (non serve limite).
  • Dimenticare arccos⁡1=0\arccos 1 = 0 (esclude x=1x=1).

Teoria collegata