Questo compito è stato assegnato nel mese di Ottobre 1992 a una classe 5ª del Liceo Scientifico.
Argomenti: Grafico di funzione con parte intera, frazione generatrice di un numero periodico e progressioni geometriche, Principio di Induzione
matrmatica, Progressione aritmetica, Successione definita per ricorrenza e suo limite, Algoritmo, Programma in Pascal, Programma in Python, Dominio di una funzione.
Rappresentare graficamente la funzione y=f(x)=[x2] nell'intervallo [-2; 2].
(N.B. con [x] si intende la parte intera di x, che è il più grande intero che non supera x)
Per rappresentare graficamente la funzione \(y=[x^2]\) nell'intervallo \([-2; 2]\), dobbiamo prima esprimerla come una funzione a tratti. La funzione parte intera \([n]\) restituisce il più grande intero minore o uguale a \(n\). Di conseguenza, il valore di \([x^2]\) rimane costante in tutti gli intervalli in cui \(x^2\) è compreso tra due interi consecutivi.
Analizziamo i valori di \(x^2\) al variare di \(x\) nell'intervallo \([-2; 2]\). \(x^2\) va da \(0\) a \(4\). I punti di discontinuità si trovano dove \(x^2\) assume valori interi, cioè per \(x^2=0, 1, 2, 3, 4\).
Risolvendo per \(x\), otteniamo \(x = \pm \sqrt{k}\), con \(k \in \{0, 1, 2, 3, 4\}\).
A partire da questi valori, possiamo definire la funzione a tratti:
Da notare che la funzione è pari, ovvero simmetrica rispetto all'asse y, poiché \(f(-x) = [(-x)^2] = [x^2] = f(x)\).
Il grafico della funzione è il seguente:
Osservazione: Dal grafico si può notare che gli estremi dei segmenti orizzontali appartenenti alla funzione fanno parte della parabola \(g_1(x)=x^2\) e gli estremi dei segmenti esclusi appartengono alla parabola \(h_1(x)=x^2-1\).
Utilizzando il concetto di progressione geometrica, trovare le frazioni generatrici dei seguenti numeri decimali periodici: \(5,\overline{6}\) e \(1,2\overline{3}\).
La frazione generatrice di un numero decimale periodico può essere trovata esprimendolo come la somma di una serie geometrica infinita.
Possiamo scrivere 5,6̅ come la somma di un intero e una parte decimale infinita:
\[ 5,\overline{6} = 5 + 0,\overline{6} \]
\[ = 5 + 0,6666... \]
\[ = 5 + \frac{6}{10} + \frac{6}{100} + \frac{6}{1000} + ... \]
La parte decimale è una progressione geometrica infinita con primo termine \(a = \frac{6}{10}\) e ragione \(r = \frac{1}{10}\). La somma di una serie geometrica infinita con \(|r| < 1\) è data dalla formula \(S = \frac{a}{1-r}\).
\[ S = \frac{\frac{6}{10}}{1 - \frac{1}{10}} = \frac{\frac{6}{10}}{\frac{9}{10}} = \frac{6}{9} = \frac{2}{3} \]
Quindi, il numero completo è:
\[ 5,\overline{6} = 5 + \frac{2}{3} = \frac{15+2}{3} = \frac{17}{3} \]
Come verifica, 17 ÷ 3 = 5,666....
Questo è un numero periodico misto. Lo separiamo in una parte non periodica e una periodica.
\[ 1,2\overline{3} = 1,2 + 0,0\overline{3} \]
\[ = \frac{12}{10} + 0,03333... \]
\[ = \frac{12}{10} + \frac{3}{100} + \frac{3}{1000} + \frac{3}{10000} + ... \]
La parte decimale periodica è una progressione geometrica infinita con primo termine \(a = \frac{3}{100}\) e ragione \(r = \frac{1}{10}\).
\[ S = \frac{\frac{3}{100}}{1 - \frac{1}{10}} = \frac{\frac{3}{100}}{\frac{9}{10}} = \frac{3}{100} \cdot \frac{10}{9} = \frac{30}{900} = \frac{1}{30} \]
Sommando le due parti, otteniamo:
\[ 1,2\overline{3} = \frac{12}{10} + \frac{1}{30} = \frac{36+1}{30} = \frac{37}{30} \]
Come verifica, 37 ÷ 30 = 1,2333....
Dimostrare che \(7^{2n+1}-5^{2n+1}\) è un numero pari per ogni numero naturale n, prima per via diretta, poi utilizzando il Principio di induzione matematica.
L'esercizio chiede di dimostrare che l'espressione \(7^{2n+1}-5^{2n+1}\) è un numero pari per ogni numero naturale \(n\), cioè per \(n=0, 1, 2, ...\).
Sfruttiamo una proprietà algebrica che afferma che per ogni numero naturale dispari \(k\), la differenza di due potenze \(a^k-b^k\) è sempre divisibile per la differenza delle basi \(a-b\). Questo si può dimostrare con la scomposizione polinomiale:
\[ a^k-b^k = (a-b)(a^{k-1}+a^{k-2}b+...+a b^{k-2}+b^{k-1}) \]
Nel nostro esercizio, l'espressione è \(7^{2n+1}-5^{2n+1}\). L'esponente \(k = 2n+1\) è sempre un numero dispari per ogni numero naturale \(n\).
Applicando la formula di scomposizione, con \(a=7\) e \(b=5\), otteniamo:
\[ 7^{2n+1}-5^{2n+1} = (7-5)(7^{2n}+7^{2n-1}\cdot5+...+5^{2n}) \]
\[ = 2 \cdot (7^{2n}+7^{2n-1}\cdot5+...+5^{2n}) \]
Poiché l'intera espressione è il prodotto di 2 per un numero intero, il risultato è sempre un numero pari. Questo completa la dimostrazione per via diretta.
Sia \(P(n)\) la proposizione \(7^{2n+1}-5^{2n+1}\) è un numero pari.
\[ P(0): 7^{2(0)+1}-5^{2(0)+1} = 7^1-5^1 = 7-5 = 2 \]
\[ 7^{2n+1}-5^{2n+1} = 2k \quad \text{per un certo intero } k \]
\[ \implies 7^{2n+1} = 5^{2n+1} + 2k \]
\[ 7^{2(n+1)+1}-5^{2(n+1)+1} = 7^{2n+3}-5^{2n+3} \]
\[ = 7^2 \cdot 7^{2n+1} - 5^2 \cdot 5^{2n+1} \]
\[ = 49 \cdot (5^{2n+1} + 2k) - 25 \cdot 5^{2n+1} \]
\[ = 49 \cdot 5^{2n+1} + 49 \cdot 2k - 25 \cdot 5^{2n+1} \]
\[ = (49-25) \cdot 5^{2n+1} + 49 \cdot 2k \]
\[ = 24 \cdot 5^{2n+1} + 98k \]
\[ = 2(12 \cdot 5^{2n+1} + 49k) \]
Dato che la proposizione è vera per \(n=0\) e l'essere vera per un certo \(n\) implica che lo sia anche per \(n+1\), per il Principio di induzione matematica, la proposizione \(P(n)\) è vera per tutti i numeri naturali \(n\).
Calcolare la somma dei primi \(n\) numeri pari positivi servendosi del concetto di progressione aritmetica e dimostrare la formula trovata applicando il Principio di induzione matematica.
L'esercizio chiede di calcolare la somma dei primi \(n\) numeri pari positivi e di dimostrare la formula trovata.
I primi \(n\) numeri pari positivi sono \(2, 4, 6, ..., 2n\). Questi numeri formano una progressione aritmetica in cui:
La formula per la somma \(S_n\) dei primi \(n\) termini di una progressione aritmetica è:
\[ S_n = \frac{n(a_1+a_n)}{2} \]
Sostituendo i valori della nostra progressione, otteniamo:
\[ S_n = \frac{n(2+2n)}{2} = \frac{2n(1+n)}{2} = n(n+1) \]
Quindi, la formula per la somma dei primi \(n\) numeri pari positivi è \(S_n=n(n+1)\).
Sia \(P(n)\) la proposizione \(2+4+6+...+2n = n(n+1)\).
\[ P(1): 2 = 1(1+1) \implies 2=2 \]
\[ P(n+1): 2+4+...+2n+2(n+1) = (n+1)(n+1+1) = (n+1)(n+2) \]
Partiamo dal primo membro dell'espressione per \(P(n+1)\):\[ \underbrace{2+4+...+2n}_{\text{Parte che corrisponde a } P(n)} + 2(n+1) \]
\[ = n(n+1) + 2(n+1) \]
\[ = (n+1)(n+2) \]
Dato che il passo base è verificato e il passo induttivo è dimostrato, la formula \(2+4+...+2n=n(n+1)\) è vera per tutti i numeri naturali positivi \(n\).
È data la seguente successione definita per ricorrenza:
\[ a_0=1 \] \[ a_{n+1}=\frac{1}{2}\left(a_n+\frac{5}{a_n}\right) \]a) Calcolare i primi quattro termini della successione.
b) Calcolare il limite della successione per \(n\) che tende a \(+\infty\).
c) Descrivere un algoritmo in linguaggio naturale che permetta di calcolare i primi \(k\) termini della successione, con \(k\) inserito dall'utente. Utilizzando tale algoritmo, scrivere un programma in uno dei linguaggi di programmazione studiati (Pascal e/o Python).
L'esercizio riguarda una successione definita per ricorrenza. La formula fornita è un caso specifico dell'algoritmo di Newton per il calcolo della radice quadrata di un numero.
L'**algoritmo di Newton**, noto anche come **metodo di Erone**, è un potente strumento per trovare approssimazioni successive della radice quadrata di un numero \(N\). La formula iterativa è:
\[ a_{n+1} = \frac{1}{2}\left(a_n+\frac{N}{a_n}\right) \]
Per capire meglio come funziona, calcoliamo le prime approssimazioni di \(\sqrt{2}\). Partiamo da un valore iniziale a caso, ad esempio \(a_0 = 1\).
\[ a_1 = \frac{1}{2}\left(1+\frac{2}{1}\right) = 1.5 \]
\[ a_2 = \frac{1}{2}\left(1.5+\frac{2}{1.5}\right) \approx 1.4166 \]
\[ a_3 = \frac{1}{2}\left(1.4166+\frac{2}{1.4166}\right) \approx 1.414216 \]
Come puoi vedere, i valori ottenuti convergono molto rapidamente a \(\sqrt{2}\) (\(\approx 1.41421356\)). Ogni nuova iterazione raddoppia circa il numero di cifre decimali corrette, rendendo l'algoritmo estremamente efficiente.
Partendo dal termine iniziale \(a_0=1\), calcoliamo i successivi termini applicando la formula data.
\[ a_1=\frac{1}{2}\left(a_0+\frac{5}{a_0}\right)=\frac{1}{2}\left(1+\frac{5}{1}\right)=\frac{1}{2}(6)=3 \]
\[ a_2=\frac{1}{2}\left(a_1+\frac{5}{a_1}\right)=\frac{1}{2}\left(3+\frac{5}{3}\right)=\frac{1}{2}\left(\frac{9+5}{3}\right)=\frac{1}{2}\left(\frac{14}{3}\right)=\frac{7}{3}\approx 2.333 \]
\[ a_3=\frac{1}{2}\left(a_2+\frac{5}{a_2}\right)=\frac{1}{2}\left(\frac{7}{3}+\frac{5}{\frac{7}{3}}\right)=\frac{1}{2}\left(\frac{7}{3}+\frac{15}{7}\right)=\frac{1}{2}\left(\frac{49+45}{21}\right)=\frac{1}{2}\left(\frac{94}{21}\right)=\frac{47}{21}\approx 2.238 \]
\[ a_4=\frac{1}{2}\left(a_3+\frac{5}{a_3}\right)=\frac{1}{2}\left(\frac{47}{21}+\frac{5}{\frac{47}{21}}\right)=\frac{1}{2}\left(\frac{47}{21}+\frac{105}{47}\right)=\frac{1}{2}\left(\frac{2209+2205}{987}\right)=\frac{1}{2}\left(\frac{4414}{987}\right)=\frac{2207}{987}\approx 2.236 \]
Possiamo notare che i termini si avvicinano a \(\sqrt{5} \approx 2.2360679...\).
Se il limite della successione esiste e indichiamo \(\lim_{n \to +\infty} a_n = L\), allora anche \(\lim_{n \to +\infty} a_{n+1} = L\). Sostituendo \(L\) nella relazione di ricorrenza, otteniamo un'equazione per trovare il valore del limite.
Per dimostrare che la successione ammette limite, possiamo usare il **Teorema delle successioni monotone**, che stabilisce che ogni successione definitivamente monotona e limitata è convergente.
Dimostriamo che la successione è limitata inferiormente da \(\sqrt{5}\), cioè \(a_n \ge \sqrt{5}\) per ogni \(n \ge 1\). Possiamo usare la disuguaglianza tra media aritmetica e geometrica. La media aritmetica di due numeri positivi è sempre maggiore o uguale della loro media geometrica.
\[ \frac{a_n+\frac{5}{a_n}}{2} \ge \sqrt{a_n \cdot \frac{5}{a_n}} \]
\[ a_{n+1} \ge \sqrt{5} \]
Poiché \(a_n\) per \(n \ge 1\) è sempre positivo (come si può verificare dai primi termini), la disuguaglianza è valida. In particolare, \(a_1=3 > \sqrt{5}\) e tutti i termini successivi saranno maggiori o uguali a \(\sqrt{5}\). La successione è quindi limitata inferiormente.
Dimostriamo che la successione è monotona decrescente, ovvero \(a_{n+1} \le a_n\) per ogni \(n \ge 1\). Per farlo, consideriamo la differenza \(a_{n+1} - a_n\).
\[ a_{n+1} - a_n = \frac{1}{2}\left(a_n+\frac{5}{a_n}\right) - a_n \]
\[ = \frac{a_n^2+5-2a_n^2}{2a_n} = \frac{5-a_n^2}{2a_n} \]
Dato che abbiamo già dimostrato che \(a_n^2 \ge 5\) (per \(n \ge 1\)) e che \(a_n > 0\), il numeratore \(5-a_n^2\) è sempre minore o uguale a zero. Il denominatore \(2a_n\) è sempre positivo. Pertanto, la frazione è minore o uguale a zero, il che significa che \(a_{n+1} - a_n \le 0\), ovvero \(a_{n+1} \le a_n\).
La successione è monotona decrescente (a partire da \(a_1\)).
Poiché la successione è **definitivamente monotona decrescente** e **limitata inferiormente**, per il Teorema delle successioni monotone, essa **ammette limite finito**. A questo punto possiamo calcolare il valore del limite come segue:
\[ L = \frac{1}{2}\left(L+\frac{5}{L}\right) \]
\[ 2L = L+\frac{5}{L} \]
\[ L = \frac{5}{L} \]
\[ L^2 = 5 \]
\[ L = \pm\sqrt{5} \]
Poiché tutti i termini della successione sono positivi, il limite non può essere negativo. Pertanto, il limite della successione è \(L=\sqrt{5}\).
Algoritmo in linguaggio naturale:
Questo algoritmo è iterativo e si basa su un ciclo.
Programma in Python:
k = int(input("Quanti termini vuoi calcolare? "))
a = 1.0 # Usiamo un float per i calcoli
print(f"a_0 = {a}")
for i in range(k):
a = 0.5 * (a + 5/a)
print(f"a_{i+1} = {a}")
Programma in Pascal:
program SuccessioneRicorrenza;
uses crt;
var
k, i: integer;
a: real;
begin
clrscr;
write('Quanti termini vuoi calcolare? ');
readln(k);
a := 1;
writeln('a[0] = ', a:0:10);
for i := 1 to k do
begin
a := 0.5 * (a + 5/a);
write('a[', i, '] = ');
writeln(a:0:10);
end;
readln;
end.
Per eseguire i programmi senza installare nulla, puoi usare un compilatore o interprete online. Il processo è semplice:
Link utili:
Trovare il dominio delle seguenti funzioni:
a) \(a(x)=\sqrt{\frac{x+2}{x^2+6x-5}}\)Per trovare il dominio di una funzione, dobbiamo identificare i valori di \(x\) per i quali l'espressione è definita. Analizziamo ogni funzione singolarmente.
La condizione per l'esistenza di una radice quadrata è che il suo argomento sia non negativo, ovvero maggiore o uguale a zero. Inoltre, il denominatore della frazione non può essere zero. Dobbiamo quindi risolvere la disequazione fratta:
**Studio del segno del numeratore:**
\(x+2 \ge 0 \implies x \ge -2\)
**Studio del segno del denominatore:**
Risolviamo \(x^2+6x-5 = 0\): \(x = \frac{-6 \pm \sqrt{36-4(1)(-5)}}{2} = \frac{-6 \pm \sqrt{56}}{2} = -3 \pm \sqrt{14}\).
Risulta quindi \(x^2+6x-5 > 0\) per \(x < -3-\sqrt{14}\) o \(x > -3+\sqrt{14}\).
**Combinando i segni:**
Costruendo una tabella dei segni, la frazione è positiva o nulla quando i segni del numeratore e del denominatore sono concordi (o il numeratore è zero). Il denominatore non può essere zero.
\(x < -3-\sqrt{14}\) | \(-3-\sqrt{14} < x < -2\) | \(-2 \le x < -3+\sqrt{14}\) | \(x > -3+\sqrt{14}\) | |
---|---|---|---|---|
\(x+2\) | - | - | + | + |
\(x^2+6x-5\) | + | - | - | + |
Risultato | - | + | - | + |
Il dominio è dove la frazione è positiva o nulla (in corrispondenza di \(x=-2\)).
**Dominio:** \((-3-\sqrt{14}, -2] \cup (-3+\sqrt{14}, +\infty)\)
Per le funzioni razionali, il denominatore deve essere diverso da zero. Dobbiamo escludere i valori di \(x\) che annullano \(x^2-2|x|\).
**Risolviamo \(x^2-2|x| = 0\):**
Se \(x \ge 0\), l'equazione è \(x^2-2x = 0 \implies x(x-2)=0\). Soluzioni: \(x=0, x=2\).
Se \(x < 0\), l'equazione è \(x^2-2(-x) = 0 \implies x^2+2x=0 \implies x(x+2)=0\). Soluzioni: \(x=0, x=-2\). Solo \(x=-2\) è accettabile per \(x < 0\).
Dobbiamo escludere i valori \(-2\), \(0\) e \(2\).
**Dominio:** \(\mathbb{R} \setminus \{-2, 0, 2\}\)
Dobbiamo considerare due condizioni: l'argomento del logaritmo deve essere positivo e il denominatore deve essere diverso da zero.
**Condizione del logaritmo:** \(e^x-1 > 0 \implies e^x > 1 \implies x > \ln(1) \implies x > 0\).
**Condizione del denominatore:** \(|x-2| \ne 0 \implies x-2 \ne 0 \implies x \ne 2\).
Il dominio è l'intersezione di queste due condizioni.
**Dominio:** \((0, +\infty) \setminus \{2\}\)
L'argomento della radice deve essere maggiore o uguale a zero.
Ponendo \(t=e^x\), la disequazione diventa \(t^2-3t+2 \ge 0\). Troviamo le radici di \(t^2-3t+2 = 0\), che sono \(t=1\) e \(t=2\).
La disequazione è verificata per i valori esterni alle radici.
**Caso 1:** \(t \le 1 \implies e^x \le 1 \implies x \le 0\).
**Caso 2:** \(t \ge 2 \implies e^x \ge 2 \implies x \ge \ln(2)\).
**Dominio:** \((-\infty, 0] \cup [\ln(2), +\infty)\)
L'argomento del logaritmo deve essere strettamente maggiore di zero.
Usiamo la formula di duplicazione \(\cos(2x) = 1-2\sin^2(x)\). La disequazione diventa:
\[ 2\sin^2(x)+\sin(x)-1 > 0 \]
Ponendo \(t=\sin(x)\), risolviamo \(2t^2+t-1 > 0\). Le radici dell'equazione \(2t^2+t-1=0\) sono \(t=-1\) e \(t=1/2\).
La disequazione è verificata per \(t < -1\) o \(t > 1/2\). Tornando a \(\sin(x)\), otteniamo:
\(\sin(x) < -1\): nessuna soluzione.
\(\sin(x) > 1/2\): la soluzione è data dagli intervalli in cui il seno è maggiore di 1/2, che si ripetono ogni \(2\pi\).
**Dominio:** \(( \frac{\pi}{6} + 2k\pi, \frac{5\pi}{6} + 2k\pi )\) con \(k \in \mathbb{Z}\)
Per tornare all'elenco completo dei compiti, clicca sul bottone in basso.