Reversibilità e invarianza: due stelle polari per orientare la didattica della matematica. Seguiamo il filo dell’invarianza e vediamo dove porta.
Nell’articolo Ancora sull’insegnare matematica abbiamo parlato della reversibilità e dell’invarianza come il nocciolo – direbbe Stanislaw Ulam – dell’essenza della matematica e, dunque, stelle polari della sua didattica.
Qui riprendiamo quel filo e lo seguiamo sul terreno dell’invarianza, a partire dal rapporto: l’operazione che elimina il superfluo e mette a fuoco l’essenziale.
Dal teorema di Talete a un esempio meno noto ma particolarmente significativo: l’invariante di forma.
Che cos’è?
Consideriamo una figura piana qualsiasi, con perimetro \(P\) e area \(A\).
Si potrebbe considerare il rapporto \(P/A\), ma questo non funziona: non è omogeneo.
- \(P\) ha dimensione di lunghezza
- \(A\) ha dimensione di lunghezza al quadrato
Per ottenere una quantità significativa, dobbiamo riportare area e perimetro alla stessa dimensione. Il modo più naturale è considerare:
\[
\sqrt{A}
\]
che ha dimensione di lunghezza.
È facile verificare che, per cerchi, quadrati, triangoli equilateri e altri poligoni, il rapporto tra il perimetro e la radice quadrata dell’area
\[
C = \frac{\text{Perimetro}}{\sqrt{\text{Area}}}
\]
è un valore caratteristico della sua forma. Per questo è detto invariante di forma (o invariante qualitativo).
Esempi.
Cerchio di raggio \(r\):
\[
C_C = \frac{2\pi r}{\sqrt{\pi r^2}} = 2\sqrt{\pi}.
\]
Quadrato di lato \(l\):
\[
C_Q = \frac{4l}{\sqrt{l^2}} = 4.
\]
Triangolo equilatero di lato \(l\):
\[
C_T = \frac{3l}{\sqrt{\frac{\sqrt{3}}{4}l^2}}
= \frac{6}{\sqrt[4]{3}}.
\]
Triangolo rettangolo con cateti 3 e 4:
\[
C = \frac{3 + 4 + 5}{\sqrt{6}} = \frac{12}{\sqrt{6}} = \sqrt{6}.
\]
Triangolo rettangolo con cateti 5 e 12:
\[
C = \frac{5 + 12 + 13}{\sqrt{30}} = \frac{30}{\sqrt{30}} = \sqrt{30}.
\]
Questi esempi mostrano ovviamente che figure simili hanno lo stesso valore di \(C\) ma dicono anche che questo \(C\) sta alla figura considerata come la taglia di un abito con il suo drop sta ad una persona. Per il quadrato questo numero è 4.
Si può ancora osservare, tra i valori trovati, che è:
\[
2\sqrt{\pi} < 4 < \frac{6}{\sqrt[4]{3}},
\]
ovvero
\[
C_C < C_Q < C_T.
\]
Ritrovando che il cerchio è la figura “più regolare” tra tutte: quella per cui il rapporto \(C\) è minimo.
Per un poligono regolare con \(n\) lati il valore di \(C_n\) diminuisce al crescere di \(n\) e tende, per \(n \to \infty\), al valore del cerchio. È naturale allora formulare l’ipotesi che:
- il cerchio minimizzi \(C\) tra tutte le figure piane;
- il poligono regolare minimizzi \(C\) tra tutti i poligoni con lo stesso numero di lati.
Queste ipotesi sono vere e costituiscono una riformulazione dell’idea isoperimetrica: tra tutte le figure con perimetro fissato, il cerchio massimizza l’area e quindi rende minimo il rapporto \(C\). Un indice che non è solo un identikit geometrico; è anche uno strumento suscettibile di applicazioni in vari contesti. In morfologia urbana, ad esempio, \(C\) viene usato per misurare la compattezza dei centri abitati. Una città "circolare" o pianificata radialmente minimizza la dispersione, presentando un basso valore di \(C\). Al contrario, l'espansione urbana disordinata (urban sprawl) genera confini frastagliati e tentacolari che fanno impennare l'invariante di forma. Misurare \(C\) significa quindi offrire una doppia lettura perchè dove la geometria euclidea vede un'area, l'urbanista vede l'efficienza dei servizi e il consumo di suolo.
Dal punto di vista didattico, il docente può proporre un laboratorio semplice e molto efficace: chiedere agli studenti di costruire figure con la stessa area ma con perimetri sempre più grandi. Dopo poche prove empiriche, gli studenti scopriranno da soli che non esiste un limite superiore: una figura può avere area fissa e perimetro arbitrariamente grande.
La geometria euclidea non vieta il perimetro grande. Ma c’è un limite: le figure restano comunque dotate di un perimetro finito. Almeno finché non entrano in scena alcuni mostri ( con contorni dotati di continuità ma non di derivabilità) e la geometria frattale.
È il caso del fiocco di neve di von Koch, costruzione ricorsiva presentata nell' articolo Perimetro infinito, area finita, per il quale:
- l’area resta finita;
- il perimetro cresce indefinitamente.
Indichiamo con \(s\) il lato del triangolo equilatero iniziale. Allora, dopo \(n\) passi della costruzione, il perimetro è
\[
L_n = 3s\left(\frac{4}{3}\right)^n \longrightarrow \infty,
\]
mentre l’area totale converge al valore
\[
A = \frac{2\sqrt{3}}{5}\,s^2.
\]
Il rapporto classico
\[
C = \frac{P}{\sqrt{A}}
\]
non ha più senso: il perimetro è infinito, quindi \(C = \infty\). L’invariante non distingue più nulla: diventa muto.
Il motivo matematico è chiaro:
- l’invariante è costruito per figure di dimensione 1 (perimetro) e dimensione 2 (area);
- la curva di Koch non si distribuisce né lungo una linea, né su un’area piena: vive "a metà strada”.
Ha bisogno di una dimensione diversa. È qui che entra in gioco la dimensione frattale.
La curva di Koch non è una linea nel senso classico: a ogni scala di osservazione i dettagli si moltiplicano. Formalmente, nella sua costruzione ricorsiva si verifica che:
- a ogni passo il numero dei tratti aumenta di un fattore 4,
- la lunghezza di ciascun tratto si riduce di un fattore 3.
La dimensione frattale \(D\), nel senso di Hausdorff, è definita imponendo che
\[
4 = 3^{D}.
\]
Prendendo il logaritmo:
\[
D = \frac{\log 4}{\log 3} \approx 1{,}2618.
\]
La curva di Koch ha dunque una “dimensione effettiva” maggiore di una linea (dimensione 1), ma minore di una superficie (dimensione 2). È un oggetto che abita uno spazio intermedio, una sorta di terra di mezzo fra linea e area.
Per questo, tentare di misurarla con strumenti costruiti per le figure euclidee è come voler misurare un mare con un cucchiaio. Occorre un altro modo.
Per una curva frattale non si usa più una lunghezza di passo \(\delta\) come nelle linee regolari, ma si cerca un’espressione che tenga conto della dimensione \(D\). Se \(N(\delta)\) è il numero di segmenti di lunghezza \(\delta\) necessari per “coprire” la curva, si considera la quantità
\[
P_D(\delta) = N(\delta)\,\delta^{D}.
\]
Nel caso della curva di Koch, si può mostrare che, scegliendo proprio
\[
D = \frac{\log 4}{\log 3},
\]
la quantità \(P_D(\delta)\) rimane finita e tende a un valore costante quando \(\delta \to 0\). Mentre la lunghezza classica esplode, la “lunghezza frattale” \(P_D\) è ben definita.
La geometria classica fallisce, la geometria frattale ricompone l’armonia: introduce un concetto di lunghezza adatto agli oggetti che intende descrivere.
Se la dimensione cambia, anche l’invariante cambia. L’idea è di costruire un invariante di forma per curve frattali analogo a
\[
C = \frac{P}{\sqrt{A}}
\]
ma adattato alla dimensione \(D\).
Indichiamo con \(P_D\) la “lunghezza frattale” della curva e con \(A\) l’area racchiusa dalla curva (che nel caso del fiocco di Koch resta finita). Possiamo allora definire un invariante frattale di forma:
\[
C_D = \frac{P_D}{A^{D/2}}.
\]
- \(P_D\) ha dimensione di lunghezza alla potenza \(D\);
- \(A^{D/2}\) ha la stessa dimensione (area è lunghezza al quadrato, portata alla potenza \(D/2\) diventa lunghezza alla \(D\)).
Il rapporto è quindi adimensionale, proprio come \(C\), e svolge un ruolo analogo:
- resta finito per la curva di Koch;
- è invariato rispetto alle similitudini frattali;
- permette di confrontare forme frattali simili indipendentemente dalla scala.
È, a tutti gli effetti, un invariante di forma per la geometria frattale.
Significato didattico
La transizione dal perimetro euclideo al perimetro frattale, dal rapporto \(C\) al rapporto \(C_D\), dalla dimensione 1–2 alla dimensione \(D = \log 4/\log 3\), rappresenta un’occasione pedagogica straordinaria.
Gli studenti scoprono che:
- la matematica non “complica”: affina;
- i concetti non “si spezzano”: si generalizzano;
- le idee si ampliano per includere ciò che prima non si poteva descrivere.
Il messaggio didattico è chiaro: quando una misura non funziona più, non ci si ferma: si cerca la misura giusta.
L’invariante classico \(C = P/\sqrt{A}\) non è “sbagliato”: è perfettamente adeguato alle figure del piano euclideo. Ma il mondo delle forme è più vasto: ci sono figure, come quelle frattali, che richiedono una dimensione diversa e un nuovo invariante.
Mostrare questo passaggio agli studenti significa far vedere la matematica in atto: non come un sistema chiuso di regole, ma come una costruzione viva che si modifica per comprendere meglio il mondo.
Un'ulteriore conclusione è che l’invarianza non è un accessorio della matematica: è il suo cuore pulsante. E la reversibilità non è da meno: è ciò che ne rivela l'essenza e il battito vitale.
Nella geometria euclidea classica, l’invariante
\[
C = \frac{P}{\sqrt{A}}
\]
ha illuminato per molto tempo il modo di confrontare forme, mettendo ordine nel rapporto tra contorno ed estensione. Ma quando la ricorsività cresce, quando i dettagli si moltiplicano, quando la forma non è più governata dalla linearità euclidea, allora la matematica compie uno dei suoi gesti più naturali: cambia prospettiva. Nasce la dimensione frattale. Nasce un nuovo perimetro. Nasce un nuovo invariante di forma. Un’ulteriore conferma della straordinaria capacità della matematica di rinnovarsi senza perdere se stessa: di conservare i propri invarianti, proprio mentre ne crea di nuovi.
COMMENTS