UNIVERSITÀ DEGLI STUDI DI CAGLIARI
Facoltà di Scienze Matematiche, Fisiche e Naturali
Corso di Laurea in Matematica
Alle origini del calcolo innitesimale:
il metodo dei massimi e minimi di Fermat
Relatore:
prof. Lucio Cadeddu
Anno Accademico 2007/2008
Tesi di Laurea di:
Giampaolo Lai
2
Credo che sia improbabile che l'ingegno
umano possa inventare un enigma di
cui lo stesso ingegno umano non possa, con paziente applicazione, venire a
capo.
Edgar Allan Poe,
3
Lo scarabeo d'oro.
4
Indice
Premessa
7
Introduzione
9
1 Sintesi del trattato
11
1.1
Descrizione del metodo . . . . . . . . . . . . . . . . . . . . . .
1.2
Esempi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12
1.3
Osservazioni sul metodo
. . . . . . . . . . . . . . . . . . . . .
14
1.4
Variante al metodo
. . . . . . . . . . . . . . . . . . . . . . . .
15
1.5
Tangenti a curve famose
. . . . . . . . . . . . . . . . . . . . .
11
17
1.5.1
Concoide di Nicomede
. . . . . . . . . . . . . . . . . .
18
1.5.2
Versiera di Agnesi . . . . . . . . . . . . . . . . . . . . .
21
1.6
Punti di esso . . . . . . . . . . . . . . . . . . . . . . . . . . .
24
1.7
Sviluppi
26
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2 Disputa con Cartesio
29
3 Conclusioni
37
Bibliograa
39
5
6
INDICE
Premessa
La dicoltà nella comprensione delle idee e dei concetti matematici spesso
risiede nella loro astrattezza e nella lontananza da questioni pratiche, ma
la storia della matematica ci mostra come spesso la risoluzione di problemi
pratici ha portato all'invenzione di concetti matematici sempre più evoluti e
sosticati. E così oggi ci troviamo a dover studiare e capire in poco tempo ciò
che eminenti matematici hanno elaborato in secoli di riessioni e di calcoli.
Un problema che oggi è pienamente compreso, frequentemente sfruttato
e descritto da appropriati strumenti matematici è il problema della ricerca
dei massimi e dei minimi. Esso, nella didattica tradizionale, è abitualmente
arontato dopo che sono stati introdotti i concetti di funzione, di limite e
di derivata; ma più di cinquecento anni fa è stato trattato in maniera sorprendentemente semplice e priva di ostacoli concettuali senza far riferimento
a nessuno dei concetti matematici citati. È utile togliere un po' di ruggine
a questo antico metodo che ha anticipato la nascita di idee cardine della
matematica, per vedere come spesso i problemi formulati nel passato possono rendere più chiari i concetti che nel presente vengono espressi in maniera
meno immediata e comprensibile a chi si avvicina alla matematica.
7
8
INDICE
Introduzione
Il nome di Fermat è sicuramente legato al noto teorema che ha impegnato
molti matematici per la sua dimostrazione, ma sicuramente molti ricordano,
più che l'enunciato del teorema, il fatto che Fermat non abbia lasciato nessuna dimostrazione ma una semplice nota a margine in cui aerma che la
dimostrazione è così lunga da non poter essere contenuta nel margine stesso
[Boyer]. Notevole è anche il fatto che Fermat non fosse matematico di professione, ma svolgesse incarichi di tutt'altro genere e coltivasse anche interessi al
di fuori della matematica; durante la sua vita non pubblicò quasi nulla delle
sue scoperte matematiche. Molto meno noto dell'ultimo teorema di Fermat
è il suo metodo per la ricerca dei massimi e dei minimi, descritto nel trattato, rimasto inedito durante la sua vita, dal titolo
maximam et minimam.
Methodus ad disquirendam
Nel 1665 Fermat muore a Castres, all'età di 64 anni, acclamato come
il più grande Geometra d'Europa, ma non certo sulla base di opere in
stampa. Prima di allora, nel 1660, aveva fatto stampare lui stesso solo una
dissertazione geometrica, per di più anonima, come appendice di un volume
pubblicato a Tolosa, dal padre gesuita Lalouvère, sulla cicloide. Gran parte
dei lavori di Fermat sono citati nelle opere di Mersenne.
La più antica citazione di un'opera manoscritta di Fermat è proprio il
Methodus ad disquirendam maximam et minimam, contenuta in un'opera di
Desargues stampata a Parigi nel 1640, che assegna a Fermat il merito di aver
trovato una bella maniera di trovare le tangenti alle curve.
Il metodo, sul quale peraltro si concentrò l'attenzione a causa di una
polemica con Cartesio, fu citato anche da Herigone nel 1642. Finalmente nel
1679 il glio Samuel Fermat pubblica un'edizione di opere nota come
Opera Mathematica, che contiene il nostro trattato.
Tutti gli opuscoli di Fermat sono in latino.
Varia
Vi sono alcuni scritti in
francese ma appartengono alla corrispondenza. Un certo numero di lettere,
quelle più matematiche (o da lui ritenute tali), sono però nella lingua dei
sapienti.
In quanto segue si esamineranno i punti essenziali del trattato di Fermat
9
10
INDICE
sui massimi e minimi, sintetizzando le idee che stanno alla base del metodo,
illustrando gli esempi fondamentali, elaborando alcuni problemi che Fermat
non ha esaminato a fondo e delineando gli sviluppi che avrebbero potuto
avere le sue idee.
Capitolo 1
Sintesi del trattato
1.1 Descrizione del metodo
Seguiamo la descrizione del metodo con le parole di Fermat:
Ogni teoria sulla ricerca del massimo e del minimo si poggia
sulla posizione di due incognite e della sola seguente regola. Si
stabilisca che l'incognita di un certo problema sia A (una gura
piana, solida o una lunghezza, a seconda del caso) e, espresso il
massimo o il minimo in termini di A, per mezzo di qualsivoglia
potenza, si ponga come nuova incognita A + E, e di nuovo si trovi
il massimo o il minimo in termini di potenze di qualsiasi grado
di A ed E. Si uguaglino, come dice Diofanto, le due espressioni
del massimo o minimo e, eliminati i termini comuni (anchè,
fatto ciò, entrambe le espressioni contengano E o potenze di E),
si divida ogni espressione per E o una sua potenza superiore,
nchè almeno un termine delle espressioni, quella delle due che
si vuole, sarà liberato del tutto dalla presenza di E. Si elidano
poi entrambe le espressioni da E o da sue potenze superiori e si
uguaglino le espressioni rimanenti, o, se da una parte non rimane
nulla, si uguagli l'espressione negativa a quella positiva, che è lo
stesso.
La risoluzione di quest'ultima uguaglianza darà il valo-
re di A, conosciuto il quale, il massimo o il minimo si ricaverà
dall'espressione iniziale
1
.
1 Cfr. testo originale [Fermat 1]: Omnis de inventione maximæ et minimæ doctrina
duabus positionibus in notis innititur et hac unica præceptione: Statuatur quilibet quæstionis terminus esse A (sive planum, sive solidum aut longitudo, prout proposito satiseri
par est) et, inventa maxima aut minima in terminis sub A, gradu aut gradibus, ut libet, involutis, ponatur rursus idem qui prius terminus esse A + E, iterumque inveniatur
11
12
CAPITOLO 1.
In termini moderni, sia
x
SINTESI DEL TRATTATO
l'incognita del problema e sia
da rendere massima o minima, espressa come funzione di
l'incognita
f (x + e).
x variata di una certa quantità e, la funzione f
f (x)
x.
la quantità
Se si considera
assumerà il valore
Ora, in corrispondenza del massimo (o del minimo), il valore
della funzione non cambierà di molto.
le due funzioni (usa il termine
Quindi, dice Fermat, si uguaglino
adæquantur ),
ma non sarà un'uguaglianza
esatta, bensì approssimata. Dopo opportuni passaggi algebrici e dopo aver
e
eventualmente semplicato per
l'espressione così ottenuta, si elimina
si risolve l'equazione nell'incognita
x,
e,
e
il cui valore, sostituito alla funzione,
darà il massimo o il minimo cercato.
1.2 Esempi
Seguiamo anzitutto, per comprendere meglio il metodo, alcuni semplici problemi che Fermat esamina a titolo di esempio.
Figura 1.1: Area del parallelogrammo
Dato il segmento
AC ,
trovare in esso un punto
in maniera tale che il prodotto
AE × EC
E
sia massimo,
ovvero trovare il rettangolo di area massima dato il perimetro.
Sia
AC = b
e sia
a
uno dei due segmenti; l'altro sarà
b − a.
Il prodotto
di cui trovare il massimo sarà
a(b − a) = ab − a2 .
Supponiamo ora di variare
segmenti sarà
a + e,
a
di una certa quantità
l'altro sarà
b−a−e
e.
In tal caso uno dei
e il prodotto da rendere massimo
sarà
(a + e)(b − a − e) = ab − a2 + be − 2ae − e2 .
maxima aut minima in terminis sub A et E gradibus, ut libet, coecientibus. Adæquantur, ut loquitur Diophantus, duo homogenea maximæ aut minimæ æqualia et, demptis
communibus (quo peracto, homogenea omnia ex parte alterutra ab E vel ipsius gradibus
aciuntur), applicentur omnia ad E vel ad elatiorem ipsius gradum, donec aliquod ex homogeneis, ex parte utravis, aectione sub E omnino liberetur. Elidantur deinde utrimque
homogenea sub E aut sub ipsius gradibus quomodolibet involuta, et reliqua æquentur,
aut, si ex una parte nihil superest, æquentur sane, quod eodem recidit, negata armatis.
Resolutio ultimae istius æqualitatis dabit valorem A, qua cognita, maxima aut minima ex
repetitis prioris resolutionis vestigiis innotescet.
1.2.
13
ESEMPI
Ora uguagliamo le due espressioni:
ab − a2 = ab − a2 + be − 2ae − e2 ;
eliminiamo i termini comuni:
0 = be − 2ae − e2 ;
si divide tutto per
e:
0 = b − 2a − e
e si ricava facilmente
b = 2a.
Si deve osservare che:
•
occorre semplicare per
un'identità
•
l'eliminazione di
e
e tutta l'espressione perché altrimenti si ottiene
0 = 0;
e, cioè porre e = 0, corrisponde a passare al limite per
che tende a zero, ma il concetto di limite ancora non esisteva, ecco
perché è importante il metodo di Fermat;
•
proprio perchè non era ancora stato inventato il concetto di limite,
il metodo non ha successo con le funzioni trascendenti, anche se Fermat, applicando il metodo alla ricerca delle tangenti, riesce a esaminare
anche curve trascendenti.
Trovare la tangente a una curva in un punto dato
(in particolare lo applica alla parabola).
L'idea di Fermat è che, data la tangente alla parabola in
da un punto esterno
E,
preso un punto
O
B
condotta
sulla tangente, tale punto risulta
esterno alla parabola, e quindi si può formulare la disuguaglianza
2
2
BC
OI
<
CD
ID
essendo
F
perché
OI < F I
il punto di intersezione del segmento
che qui, prendendo come incognita
dell'incognita sia
CI = e,
CE = x
OI
con la parabola.
An-
e assumendo che la variazione
si può considerare la disuguaglianza suddetta
come una uguaglianza approssimata, che diventerà un'uguaglianza esatta
dopo che si sono svolte le operazioni descritte sopra, cioè i passaggi algebrici,
la semplicazione di
e
e l'annullamento di
e.
14
CAPITOLO 1.
SINTESI DEL TRATTATO
Figura 1.2: Tangente alla parabola
1.3 Osservazioni sul metodo
Per stabilire la certezza del metodo, dice Fermat, prendiamo in considerazione
un esempio tratto da un'opera di Apollonio:
Data una retta
punto
N
OM ID,
dividere
MI
mediante un
in maniera tale che sia minimo il rapporto
ON × N D
MN × NI
Questo problema di Apollonio, come riferisce Pappo, aveva
terminationes,
diciles de-
e la più dicile limitazione è che il rapporto di cui si deve
determinare il minimo è unico, cioè che se si suppone per assurdo che vi
siano due punti che soddisfano il problema dato, nella realtà si trova che solo
uno sarà il punto che risolve il problema.
Pappo assume come vera e non
dimostra tale limitazione, da questa anzi trae altre conseguenze.
Anche Fermat, in realtà, si limita ad applicare questa considerazione senza
fornire una spiegazione, e la applica, oltre al problema di Pappo citato, i cui
dettagli qui omettiamo, alla ricerca delle tangenti all'ellisse.
Figura 1.3: Tangente all'ellisse
In riferimento alla gura (1.3), siano
OZ = b
ON = g
OM = a
(incognita)
La retta
IV
incontra l'ellisse in un punto
E.
Si ha, per la proprietà
dell'ellisse,
DO
EV
2
2
=
ZO × ON
.
ZV × V N
OV = e. Si ha
ZV = b + e
VN =g−e
V M = a − e (incognita)
Sia ora
e quindi
ZO × ON
bg
bg
=
=
(b + e)(g − e)
bg − be + eg − e2
ZV × V N
(1.1)
1.4.
15
VARIANTE AL METODO
e, per la (1.1),
bg
a2
>
.
bg − be + eg − e2
a2 − 2ae + e2
Dopo qualche passaggio si ottiene
bge − 2abg > −ba2 + ga2 − a2 e.
Ora si possono annullare i termini che contengono
e,
considerazione che
equivale ad aermare che, avendo ipotizzato che esistano due soluzioni al
problema, cioè
a
e
a + e,
solo uno in realtà deve essere il punto che soddisfa
il problema. Si ottiene pertanto
ab − ag = 2bg
da cui si può ricavare l'incognita
a.
1.4 Variante al metodo
Fermat propone una variante al metodo mediante un problema già trattato,
quello in cui si vuole dividere un segmento dato
b
in due segmenti il cui
prodotto sia massimo.
È chiaro che il punto che soddisfa la condizione richiesta è il punto medio,
b2
. Nessun'altra coppia
e quindi il massimo prodotto cercato sarà uguale a
4
di segmenti avrà tale prodotto. Ma se si richiede di suddividere lo stesso
segmento in due segmenti il cui prodotto sia uguale a una certa area
z
(non
quella massima), si avranno due punti che soddisfano la condizione richiesta, che si troveranno a destra e a sinistra rispetto al punto che corrisponde
al prodotto massimo. Sia
a
uno dei due segmenti in cui viene diviso arbi2
trariamente il segmento dato: dovrà essere ab − a = z , che è un'equazione
di secondo grado (Fermat la chiama
anceps)
e quindi prova che, nel caso il
prodotto dei due segmenti non sia massimo, si hanno due soluzioni. Fermat
ora propone la risoluzione di questa equazione (con un metodo che sembra
aver tratto da Viète) come segue. Considerando l'equazione (detta da Fermat
2
) eb − e = z (praticamente a ed e sarebbero le due soluzioni che
correlata
corrispondono alla stessa area
z)
ab − a2
ab − eb
(a − e)b
b
e confrontando le due equazioni si ottiene
=
=
=
=
eb − e2 ,
a2 − e 2 ,
(a − e)(a + e),
a + e.
16
CAPITOLO 1.
z
Se ora si prende al posto di
massima, i segmenti
a
ed
e
SINTESI DEL TRATTATO
un'area maggiore, ma sempre minore della
dieriranno meno tra di loro, quindi al crescere
del prodotto fra i due segmenti, diminuisce la dierenza tra
a ed e, dierenza
che si annulla quando si raggiunge la divisione che corrisponde al prodotto
massimo.
Si applica questo metodo ai seguenti problemi.
Dividere un segmento dato in due segmenti in maniera
tale che il prodotto del quadrato di uno dei due per
l'altro sia massimo.
Figura 1.4: Volume del parallelepipedo
Sia
AB = b
il segmento dato e sia
AC = x
una delle due parti che si
ottiene dividendo arbitrariamente il segmento (quindi non la divisione che
darebbe il prodotto massimo).
Il prodotto in questione sarebbe il volume
del parallelepipedo (cfr. g. 1.4) che ha per base il quadrato di lato
altezza la parte rimanente
b−x
x
e per
del segmento assegnato. Tale volume è dato
da
V = x2 (b − x) = bx2 − x3 .
Si può considerare l'equazione
correlata
V = be2 − e3
e confrontando le due equazioni che forniscono il volume si ottiene
bx2 − x3
bx2 − be2
b(x − e)(x + e)
bx + be
Come sopra, ponendo
=
=
=
=
e = x
be2 − e3 ,
x3 − e3 ,
(x − e)(x2 + ex + e2 ),
x2 + ex + e2 .
si ottiene la suddivisione che fornisce il
prodotto massimo richiesto:
2bx = 3x2
ovvero
2b = 3x.
Determinare il massimo della quantità
Ora anzichè utilizzare la seconda incognita
l'incognita
b2 x − x 3 .
e nell'equazione correlata, usiamo
(x + e):
b2 (x + e) − (x + e)3 = b2 x + b2 e − x3 − 2x2 e − 2xe2 − e3 .
1.5.
17
TANGENTI A CURVE FAMOSE
Confrontando le due equazioni si ottiene:
b2 x − x3 = b2 x + b2 e − x3 − 3x2 e − 3xe2 − e3 ,
3x e + 3xe2 + e3 = b2 e.
2
Dividendo per
e
e annullando i termini in cui rimane
e
si ottiene
3x2 + 3xe + e2 = b2 ,
3x2 = b2 .
Con questo metodo delle equazioni correlate Fermat riprende anche il
problema di Pappo già risolto.
Fermat sottolinea che usare la tecnica delle equazioni correlate (cioè per
intenderci scrivere due equazioni, una con l'incognita
e
x e una con l'incognita
che poi vengono confrontate) potrebbe portare a complessità di calcolo
perchè bisogna dividere le espressioni per un binomio, mentre quello che lui
chiama secondo metodo, quello cioè di porre la seconda delle due equazioni
con l'incognita
(x + e)
fornirà abbondantemente ai più esperti Analisti una certamente mirabile facilità e innumerevoli scorciatoie.
1.5 Tangenti a curve famose
La teoria delle tangenti - dice Fermat - consente di risolvere molti problemi.
Le curve di cui cerchiamo le tangenti hanno le loro proprietà caratteristiche
esprimibili in termini di sole rette o in termini di altre curve complicate
a loro volta da rette o altre curve.
Il primo caso è stato già esaminato,
ed è quello esemplicato dalla parabola, che è il luogo di punti del piano
equidistanti dal fuoco e dalla direttrice.
La proprietà caratteristica della
parabola pertanto è esprimibile tramite una retta. Fermat esemplica quello
che lui chiama
primo caso
anche con la cissoide di Diocle e la concoide di
Nicomede, ma si propone di applicare il metodo delle tangenti anche a curve
la cui proprietà caratteristica è espressa in termini di altre curve, come la
cicloide e la quadratrice di Dimostrato. In questi problemi sfrutta un'idea
interessante: per applicare il suo metodo, dice
2
, si possono prendere anzichè
i punti sulla curva, quelli sulla tangente, concetto che in termini moderni si
può tradurre dicendo che l'arco della curva si assimila alla tangente.
2 Cfr. testo originale [Fermat 1]: ... jam inventam tangentem supponentes ad datum in
curva punctum, proprietatem specicam curvæ, non in curva amplius, sed in invenienda
tangente, per adæqualitatem consideramus et, elisis (quae monet doctrina de maxima
et minima) homogeneis, t demum æqualitas quae punctum concursus tangentis cum
diametro determinat, ideoque ipsam tangentem.
18
CAPITOLO 1.
SINTESI DEL TRATTATO
Supponendo di aver già determinato la tangente alla curva
in un dato punto, consideriamo la proprietà caratteristica della curva non sulla curva ma, tramite un'uguaglianza, sulla tangente da trovare e, eliminati i termini omogenei, si faccia di nuovo
l'uguaglianza che determina il punto di intersezione della tangente
col diametro, e pertanto la stessa tangente.
1.5.1
Concoide di Nicomede
Fermat, dopo aver trovato la tangente alla cissoide, applica lo stesso metodo
alla concoide di Nicomede, indicando però solo le linee essenziali del procedimento per non dilungarsi troppo. Eettivamente la procedura richiede
lunghi e laboriosi calcoli, che sono qui di seguito illustrati.
La concoide di Nicomede (g. 1.5) è il luogo geometrico dei punti
piano tali che, dato un punto
una retta passante per
O
P
del
O, data una retta m con distanza d da O, data
m in un punto M , si abbia
che incontra
P M = k.
(1.2)
Figura 1.5: Concoide di Nicomede
Da questa proprietà si può ricavare l'equazione algebrica.
Deve essere
infatti, dalla (1.2),
(x − xM )2 + (y − yM )2 = k 2 .
Ma
OM P
xM = ON = d, mentre per esprimere yM
(1.3)
si può osservare che la retta
passa per l'origine e ha coeciente angolare
m=
e quindi si ha
yM =
Sostituendo
xM , yM
y
yM
,
=
x
xN
y
y
xM = d.
x
x
nella (1.3) si otterrà l'equazione della curva:
(x2 + y 2 )(x − d)2 = k 2 x2 .
Figura 1.6: Tangente alla concoide di Nicomede
(1.4)
1.5.
19
TANGENTI A CURVE FAMOSE
Ciò premesso, in riferimento alla gura (1.6), sia
E
il vertice della curva,
sia P il punto nel quale si vuole trovare la tangente, sia P A tale tangente, sia
P C la parallela all'asse x e alla retta m assegnata. Per la denizione della
curva, si ha M P = N E = k . Si prenda un punto D fra C e E e si conduca
la retta parallela a CP . Tale retta incontrerà la tangente nel punto B . Si
applichi ora la proprietà della curva alla tangente anzichè alla curva stessa:
si dovrà unire
B
al polo
O
e la retta
BO
incontrerà la retta
m
in
H
e dovrà
essere
HB = N E = k.
Sia l'incognita del problema
cercata sull'asse
y ).
CA = a
(1.5)
(cioè la posizione della tangente
Gli elementi noti saranno:
EN = z (per la proprietà della curva)
ON = d (per la proprietà della curva)
P C = y (ordinata del punto in cui si cerca la tangente)
OC = x (ascissa del punto in cui si cerca la tangente).
Sia inoltre
CD = e.
Per poter applicare la (1.5) occorre esprimere
HB
in funzione delle quan-
tità note e ciò può essere fatto dalla proporzione
HB : N D = OB : OD.
(1.6)
Ora, si può scrivere
N D = N C + CD = OC − ON + CD = x − d + e,
OD = OC + CD = x + e,
q
OB =
2
2
DB + OD ;
OB in funzione delle quantità note,
ACP, ADB si può scrivere la proporzione
per esprimere anche
dei triangoli
DB : AD = P C : CA,
e quindi ricavare (essendo
AD = AC − CD)
DB =
AD · P C
(a − e)y
=
a
CA
Si può scrivere quindi
s
OB =
(a − e)2 y 2
+ (x + e)2 ,
a2
dalla similitudine
20
CAPITOLO 1.
SINTESI DEL TRATTATO
e nalmente ricavare dalla (1.6)
N D · OB
x−d+e
HB =
=
x+e
OD
s
(a − e)2 y 2
+ (x + e)2 .
a2
Ora si può applicare la (1.5):
x−d+e
x+e
s
(a − e)2 y 2
+ (x + e)2 = z.
a2
Sviluppando i calcoli, che sarebbe tedioso riportare per intero, si ottiene
a2 x2 y 2 − 2aex2 y 2 + e2 x2 y 2 + a2 x4 + 2a2 ex3 + a2 e2 x2 +
(1.7)
+a2 d2 y 2 − 2ad2 ey 2 + d2 e2 y 2 + a2 d2 x2 + 2a2 d2 ex + a2 d2 e2 +
+a2 e2 y 2 − 2ae3 y 2 + e4 y 2 + a2 e2 x2 + 2a2 e3 x + a2 e4 +
−2a2 dxy 2 + 4adexy 2 − 2de2 xy 2 − 2a2 dx3 − 4a2 dex2 − 2a2 de2 x+
+2a2 exy 2 − 4ae2 xy 2 + 2e3 xy 2 + 2a2 ex3 + 4a2 e2 x2 + 2a2 e3 x+
−2a2 dey 2 + 4ade2 y 2 − 2de3 y 2 − 2a2 dex2 − 4a2 de2 x − 2a2 de3 =
= a2 x2 z 2 + 2a2 exz 2 + a2 e2 z 2
Ora per applicare il metodo di Fermat per la ricerca delle tangenti si dovrebbe
dividere tutto per
e
e annullare i termini in cui rimane
è possibile semplicare per
e,
e.
Si osserva che non
e se si annullano i termini che contengono
e
si
ottiene
a2 x2 y 2 + a2 x4 + a2 d2 y 2 + a2 d2 x2 − 2a2 dxy 2 − 2a2 dx3 = a2 x2 z 2
(1.8)
che con qualche semplicazione si può dimostrare essere equivalente alla (1.4).
Nella (1.7), perciò, si possono eliminare i termini della (1.8), che è un'identità,
e si ottiene
−2aex2 y 2 + e2 x2 y 2 + 2a2 ex3 + a2 e2 x2 +
−2ad2 ey 2 + d2 e2 y 2 + 2a2 d2 ex + a2 d2 e2 +
+a2 e2 y 2 − 2ae3 y 2 + e4 y 2 + a2 e2 x2 + 2a2 e3 x + a2 e4 +
+4adexy 2 − 2de2 xy 2 − 4a2 dex2 − 2a2 de2 x+
+2a2 exy 2 − 4ae2 xy 2 + 2e3 xy 2 + 2a2 ex3 + 4a2 e2 x2 + 2a2 e3 x+
−2a2 dey 2 + 4ade2 y 2 − 2de3 y 2 − 2a2 dex2 − 4a2 de2 x − 2a2 de3 =
= 2a2 exz 2 + a2 e2 z 2
1.5.
21
TANGENTI A CURVE FAMOSE
Da qui, ora, si può applicare il metodo, dividendo tutto per
e:
−2ax2 y 2 + ex2 y 2 + 2a2 x3 + a2 ex2 +
−2ad2 y 2 + d2 ey 2 + 2a2 d2 x + a2 d2 e+
+a2 ey 2 − 2ae2 y 2 + e3 y 2 + a2 ex2 + 2a2 e2 x + a2 e3 +
+4adxy 2 − 2dexy 2 − 4a2 dx2 − 2a2 dex+
+2a2 xy 2 − 4aexy 2 + 2e2 xy 2 + 2a2 x3 + 4a2 ex2 + 2a2 e2 x+
−2a2 dy 2 + 4adey 2 − 2de2 y 2 − 2a2 dx2 − 4a2 dex − 2a2 de2 =
= 2a2 xz 2 + a2 ez 2 .
Eliminando i termini che contengono
e,
si può facilmente ricavare
−2ax2 y 2 + 2a2 x3 − 2ad2 y 2 + 2a2 d2 x + 4adxy 2 − 4a2 dx2 +
+2a2 xy 2 + 2a2 x3 − 2a2 dy 2 − 2a2 dx2 = 2a2 xz 2 .
a=
1.5.2
y 2 (x − d)2
.
2x3 + xy 2 + d2 x − xz 2 − dy 2 − 3dx2
Versiera di Agnesi
Come applicazione del metodo per la ricerca delle tangenti elaborato da
Fermat, proviamo a studiare un'altra curva celebre, la versiera di Agnesi.
2a, una retta di equazione y = 2a tanC(0, 2a) e il fascio di rette con centro
Data una circonferenza di raggio
gente alla circonferenza nel punto
nell'origine degli assi, si consideri il luogo dei punti che hanno per ascissa
quella dei punti di intersezione del fascio con la tangente alla circonferenza
in
C
e per ordinata quella dei punti di intersezione del fascio con la circon-
ferenza. L'insieme dei punti così ottenuti costituisce una curva detta versiera
di Agnesi (1.7).
Figura 1.7: Versiera di Agnesi
Si voglia determinare la tangente alla curva in un suo punto
P.
La pro-
prietà caratteristica della curva (cfr. g. 1.8) è contenuta nella proporzione
OB : BD = P H : P D
da cui, ponendo
BC = b
(1.9)
22
CAPITOLO 1.
SINTESI DEL TRATTATO
OC = d
P B = x,
si ha
OB = d√− b
q
BD = OB · BC = (d − b)b (per
P H = BC = b
√
P D = P B − BD = x − bd − b2
il teorema di Euclide)
e quindi
d−b
b
√
√
=
.
bd − b2
x − bd − b2
Sviluppando i calcoli si ottiene
x2 (d − b) = d2 b
(1.10)
che è un'altra maniera di esprimere la proprietà (1.9).
y
H
KI
C
A
Q
F
E
B
R
D
P
x
O
Figura 1.8: Tangente alla versiera
Ora secondo il metodo di Fermat immaginiamo di aver già tracciato la
P , consideriamo un punto Q sulla curva molto vicino
P e il corripondente punto R sulla tangente già tracciata. Siano
AB = a (incognita)
BE = e
P B = x. Se la dierenza e si annulla, i punti Q ed R coincideranno in P .
tangente alla curva in
a
Proseguendo nell'applicazione del metodo, si applichi la proprietà caratteristica della curva alla tangente anziché alla curva. Si dovrà scrivere dunque
1.5.
23
TANGENTI A CURVE FAMOSE
la proporzione
OE : EF = RI : RF .
(1.11)
Si ha anzitutto, per il teorema di Euclide,
q
EF =
OE · CE
e poichè
CE = BC − BE = b − e
OE = OC − CE = d − b + e
si può scrivere
EF =
q
(d − b + e)(b − e).
Si ha poi
RF = ER − EF
ma
ER =
AE · P B
AB
ER =
(a − e)x
a
e poichè
AE = AB − BE = a − e
si ha
e quindi si può scrivere
RF =
(a − e)x q
− (d − b + e)(b − e).
a
Si ha inne
RI = CE
e perciò sostituendo tutto nella (1.11) si ottiene
d−b+e
q
(d − b + e)(b − e)
=
b−e
(a−e)x
a
−
q
(d − b + e)(b − e)
.
(1.12)
Seguono i calcoli:
(d − b + e)[
q
(a − e)x q
− (d − b + e)(b − e)] = (b − e) (d − b + e)(b − e)
a
q
q
x(a − e)(d − b + e)
−(d−b+e) (d − b + e)(b − e) = (b−e) (d − b + e)(b − e)
a
q
x(a − e)(d − b + e)
= (b − e + d − b + e) (d − b + e)(b − e)
a
24
CAPITOLO 1.
SINTESI DEL TRATTATO
q
x(a − e)(d − b + e) = ad (d − b + e)(b − e)
x2 (a − e)2 (d − b + e)2 = a2 d2 (d − b + e)(b − e)
x2 (a − e)2 (d − b + e) = a2 d2 (b − e)
(a2 − 2ae + e2 )(dx2 − bx2 + ex2 ) = a2 d2 b − a2 d2 e
a2 dx2 −a2 bx2 +a2 ex2 −2aedx2 +2aebx2 −2ae2 x2 +de2 x2 −be2 x2 +e3 x2 = a2 d2 b−a2 d2 e.
Tenendo presente la (1.10) si ottiene
a2 ex2 − 2aedx2 + 2aebx2 − 2ae2 x2 + de2 x2 − be2 x2 + e3 x2 = −a2 d2 e.
Ora si può dividere tutto per
e
ottenendo
a2 x2 − 2adx2 + 2abx2 − 2aex2 + dex2 − bex2 + e2 x2 = −a2 d2
e si possono eliminare i termini contenenti
e,
ottenendo
a2 x2 − 2adx2 + 2abx2 = −a2 d2
ax2 − 2dx2 + 2bx2 = −ad2
ax2 + ad2 = 2dx2 − 2bx2
a=
Ricavando
2dx2 − 2bx2
.
x2 + d2
a si ottiene la posizione della tangente cercata in funzione delle
altre quantità note.
1.6 Punti di esso
Fermat conclude questa parte dedicata alle tangenti con un'interessante procedura per trovare i punti di esso. Il metodo si basa su questa considerazione: l'angolo formato dalla tangente a una curva in un suo punto di esso
con l'asse
y
è minimo. Applicando perciò il metodo dei massimi e minimi a
tale angolo, si può trovare il esso. Trovare ad esempio i punti di esso della
funzione
y = x3 + 2x2 − 1.
Figura 1.9: Punto di esso
1.6.
25
PUNTI DI FLESSO
Sia
F
con l'asse
il esso e
y.
Sia
H
A
il punto di intersezione della tangente alla curva in
un punto qualunque della curva. Per ogni
H
F
si ha (g.
1.9)
d
Fd
AC < HBC.
In corrispondenza del esso l'angolo formato dalla tangente a
F
con l'asse
y
è minimo. Si ha cioè
FC
HD
<
.
AC
BD
HD
, dove B è l'intersezione della
BD
con l'asse y . Occorre come prima cosa trovare BD ,
Perciò il rapporto da rendere minimo è
H
tangente alla curva in
e lo si può fare sempre col metodo di Fermat.
Figura 1.10: Ricerca della tangente al graco
Si consideri dunque un punto
I
sulla tangente
BH
(g. 1.10). La parallela
x passante per I incontra la curva in un punto K .
triangoli BLI, BDH si ha
all'asse
dei
Per la similitudine
BD : HD = BL : IL.
Ma
KL > IL
e quindi
BD
BL
>
.
HD
KL
Ora si deve esprimere questa disuguaglianza mediante i dati. Si ha
BD = a (incognita)
HD = x
OL = y (ordinata del punto I e del punto K )
KL = x + e (ordinata del punto K ).
BL = OL − OB = OL − (OD − BD) = OL − OD + BD = yK − yH + a =
= (x + e)3 + 2(x + e)2 − 1 − x3 − 2x2 + 1 + a =
= x3 + 3x2 e + 3xe2 + e3 + 2x2 + 4xe + 2e2 − 1 − x3 − 2x2 + 1 + a =
3x2 e + 3xe2 + e3 + 4xe + 2e2 + a.
Deve essere quindi
a
x
ax + ae
ae
a
a
>
>
>
>
=
3x2 e+3xe2 +e3 +4xe+2e2 +a
x+e
3
2 2
3
3x e + 3x e + e x + 4x2 e + 2e2 x + ax
3x3 e + 3x2 e2 + e3 x + 4x2 e + 2e2 x
3x3 + 3x2 e + e2 x + 4x2 + 2ex
3x3 + 4x2 .
26
CAPITOLO 1.
SINTESI DEL TRATTATO
Ora si può esprimere il rapporto che deve essere minimo:
HD
x
1
= 3
.
= 2
2
3x + 4x
3x + 4x
BD
Sostituendo
x
con
x+e
dovrà essere
3x2 + 4x
3x2 + 4x
6ex + 3e2 + 4e
6x + 3e + 4
6x + 4
x
≈
≈
≈
≈
=
=
3(x + e)2 + 4(x + e)
3x2 + 6ex + 3e2 + 4x + 4e
0
0
0
− 32 .
Si ottiene così la posizione del punto di esso, come si può anche vericare
applicando il metodo in uso ai giorni nostri.
Con analoghe considerazioni, dice, si possono determinare gli asintoti.
1.7 Sviluppi
Fermat fu una personalità invidiabile. Lo possiamo immaginare, pacico ma
acuto, mentre nei ritagli di tempo rimasti liberi dalla sua attività di Consigliere del parlamento di Tolosa si faceva venire idee matematiche brillanti e
innovative senza preoccuparsi della fama che poteva derivargliene, visto che
non si è dato da fare per pubblicare i suoi risultati. Dalle sue opere traspare
una sottile ironia che non può non renderlo simpatico. Ma al di là di queste
considerazioni poco scientiche, è indubbio il merito che ha avuto, anche se
la storia ha deciso altrimenti, e oggi siamo qui per restituirgli parte di quel
merito, non tanto per il gusto di togliere la polvere del tempo dalle sue idee
ma soprattutto per riettere sulla validità che possono avere da un punto
di vista strettamente matematico ma anche più in generale didattico i suoi
metodi. Non potrebbe forse rendere la matematica un po' più attraente lo
studio di questo metodo e la sua applicazione ai casi pratici? Di un metodo,
si intende, che è semplice da capire, agevole (almeno in linea di principio)
nella sua applicazione, potente nel raggiungimento dei risultati.
Ma la Storia, si diceva, ha deciso altrimenti. È ad altri che spetta l'onore
di fare da padri (uciali) del calcolo dierenziale. Decisamente più a nord
della città di Tolosa, nell'anno accademico 1665-1666, mentre infuriava la
peste, Isaac Newton fu costretto a ritirarsi a casa per evitare il contagio e
in quei mesi elaborerà i fondamenti del calcolo innitesimale. Nel 1669 compone il
De analysi per æquationes numero terminorum innitas
(pubblicato
1.7.
27
SVILUPPI
nel 1611), che contiene le sue ricerche sulle serie innite. Del 1671 è il
Metho-
dus uxionum et serierum innitorum (pubblicato nel 1742), dove parla di
uenti, quantità che scorrono (le nostre funzioni) e ussioni, le velocità con
cui variano le ussioni, cioè le nostre derivate. Nel 1676 compone la terza
esposizione del suo calcolo innitesimale, dal titolo
De quadratura curvarum,
dove introduce il metodo delle prime e ultime ragioni, cioè di rapporti che
svaniscono, utilizzando concetti che molto si avvicinano all'idea di limite. Nel
noto trattato
Philosophiae naturalis principia mathematica
del 1687, oltre a
comparire un tentativo di denizione del limite di una funzione, consolida i
suoi elementi di calcolo innitesimale fornendo algoritmi di derivazione simili
a quelli odierni.
Nel frattempo, intorno al 1673, Leibniz intuiva che la determinazione
della tangente a una curva dipendeva dal rapporto fra le dierenze delle ordinate e delle ascisse quando queste diventavano innitamente piccole, e che
le quadrature (cioè i calcoli di aree) si potevano esprimere in termini dei rettangoli innitamente piccoli che formavano l'area. Fu Leibniz a introdurre i
dx e dy per indicare le minime variazioni possibili di x e y e il simydx per indicare la somma dei rettangoli innitesimi che compongono
simboli
bolo
R
un'area. La prima esposizione del suo calcolo dierenziale fu pubblicata da
Nova methodus pro maximis et minimis, itemque
tangentibus, qua nec irrationales quantitates moratur.
Leibniz nel 1684 col titolo
È facile capire che per le numerose pubblicazioni di tali matematici il
contributo di Fermat agli sviluppi del calcolo dierenziale sia stato oscurato.
Ma è indubbio che il suo metodo per la ricerca dei massimi e minimi si basa,
anche se non lo richiama esplicitamente, su un concetto di derivata di una
funzione e che nella sua ricerca delle tangenti fa uso di variazioni innitesime
di variabili, concetto che sta alla base dell'analisi.
28
CAPITOLO 1.
SINTESI DEL TRATTATO
Capitolo 2
Disputa con Cartesio
È interessante osservare che, sebbene Fermat non si sia occupato di mettere
per iscritto i suoi lavori, sia stato protagonista di una tta corrispondenza.
Nelle conversazioni tra i suoi amici di penna si ritrovano le radici di una
disputa (matematica) con un mostro sacro.
Tale disputa, esaminando la
corrispondenza di Fermat [Fermat 2], sembra trarre origine dai commenti
sfavorevoli che egli ebbe nei confronti della
Dioptrique
di Cartesio. Lo stesso
Cartesio replica a questi commenti in una lettera a Mersenne
1
e approtta
per vendicarsi criticando il Metodo dei Massimi e Minimi di Fermat che
Mersenne gli aveva inviato:
Mi riuscirebbe più semplice tacere sullo scritto che mi avete
inviato, poichè non saprei dire niente a vantaggio di colui che lo ha
composto. Ma ho capito che è la stessa persona che ha criticato la
mia
Dioptrique
e che voi mi mandate ciò che egli ha inviato dopo
aver letto la mia
Geometria
ed essersi meravigliato che io non
abbia ottenuto gli stessi risultati. Penso di interpretare, quindi,
che egli abbia intenzione di entrare in concorrenza e mostrare che
lui ne sa più di me. Inoltre apprendo dalle vostre lettere che egli
ha fama di essere molto sapiente in geometria. Per tutti questi
motivi credo di essere obbligato a rispondergli.
Figura 2.1: Tangente alla parabola
Cartesio sostiene anzitutto di aver rilevato un errore nel metodo di Fermat, relativamente all'esempio che fornisce per trovare le tangenti alla parabola.
In riferimento alla gura 2.1, dal punto B si conduca la retta
1 Lettera di Cartesio a Mersenne del 18 gennaio 1638.
29
BE
che
30
CAPITOLO 2.
incontra l'asse
DC
in
E
DISPUTA CON CARTESIO
in maniera tale che il segmento
E alla parabola. Sia
a e delle sue potenze di qualsiasi grado,
Fermat. Se si pone BC = b e CD = d, si ha
che si possa condurre dal punto
massimo (cioè
BE )
BE sia il più grande
EC = a e si trovi il
in termini di
come previsto dal metodo di
2
2
2
anzitutto BE = a + b .
Per la proprietà della parabola si può scrivere
2
2
BC : CD = OI : ID
(dove si applica la proprietà caratteristica della parabola non al punto
sulla curva ma al punto
O
F
sulla tangente). Si ha quindi
2
BC
OI =
· ID
CD
2
e perciò
2
b2
· ID.
d
a + e (o a − e,
OI =
Se ora al posto di
a
prendiamo
che è lo stesso dal punto di
vista del procedimento) si deve esprimere di nuovo il massimo (cioè sempre
BE ) in termini di qualsiasi
DI = d + e, diventa
grado di
2
OI =
2
a
e
e.
Poichè ora si ha
IE = a + e
e
b2
(d + e),
d
2
OE = IE + OI = a2 + 2ae + e2 + b2 +
b2
(d + e)
d
Bisogna ora uguagliare le due quantità massime, cioè i due valori del
segmento di tangente ottenuti prima con
a
e poi con
a2 + b2 = a2 + 2ae + e2 + b2 +
a + e:
b2
(d + e)
d
da cui si ottiene, applicando il procedimento solito (cioè dividendo tutto per
e
e eliminando i termini che contengono
2a +
Da qui non si ottiene il valore di
a,
e),
b2
= 0.
d
come assicura Fermat, e perciò la sua
regola è falsa.
Cartesio poi osserva che nello stesso esempio della parabola Fermat conduce il suo ragionamento come se la parabola non fosse essenziale, cioè che
se sostituisse al termine
parabola
il termine
niente cambierebbe.
Tutto ciò porta a concludere che
iperbole
o qualsiasi altra curva,
31
il suo metodo (o meglio ciò che egli crede che sia) è tale che
senza industria e per caso si può facilmente cadere nella strada
che bisogna seguire per trovare il risultato, metodo che non è
altro che una posizione falsa fondata sul modo di dimostrare che
riduce all'impossibile [oggi diremmo per assurdo] e che è il meno
apprezzato e il meno ingegnoso di tutti quelli di cui si serve la
matematica. Il mio metodo invece è basato sulla conoscenza della
natura delle equazioni che, per quanto ne so, non è stata mai
spiegata se non nel terzo libro della mia Geometria; ne segue che
non avrebbe potuto essere stato inventato da una persona che
ignorasse i fondamenti dell'algebra e segue il più nobile modo di
dimostrare che possa esistere, quello a priori.
Successivamente Mersenne informerà Fermat che Roberval e Etienne Pascal hanno prodotto una memoria a difesa del suo metodo (oggi perduta), e
Fermat replica con alcuni brevi chiarimenti, che andranno senz'altro diretti
a Cartesio tramite Mersenne. Ma il grosso della polemica giunge in una seconda lettera di Cartesio a Mersenne
2
, dove, tra l'altro, Cartesio propone
un altro esempio in cui il metodo di Fermat non funziona.
Figura 2.2: Tangente alla circonferenza
Data la circonferenza
BDN
ed il punto
E
esterno, da questo si conduca
una retta in maniera tale che la parte di questa retta che sarà al di fuori
della circonferenza, tra questa e il punto dato
E,
sia la più grande.
Dopo
EDN passante per il centro del cerchio, e dopo aver
posto ED = b e il diametro DN = c, si prenda BC perpendicolare a DN e
sia CD = a. Si deve fare in modo che BE sia massimo. Dalla proporzione
aver condotto una retta
CD : BC = BC : CN
si ha anzitutto
2
BC = ac − a2 .
Inoltre
2
CE = (ED + DC)2 = (b + a)2 = a2 + 2ab + b2
2
2
2
BE = CE + DC = a2 + 2ab + b2 + ac − a2 = 2ab + b2 + ac.
Ora sia
CD = a + e.
Si ottiene
2
BC 1 = (a + e)c − (a + e)2 = ac + ec − a2 − 2ae − e2
2 Lettera di Cartesio a Mersenne del 3 maggio 1638
(2.1)
32
CAPITOLO 2.
DISPUTA CON CARTESIO
2
CE 1 = (a + e)2 + 2(a + e)b + b2 = a2 + 2ae + e2 + 2ab + 2eb + b2
2
2
2
BE 1 = CE 1 + BC 1 = ac + ec + 2ab + 2eb + b2 .
(2.2)
Uguagliando le due quantità che dovrebbero essere massime, cioè la (2.1)
e la (2.2), si ottiene:
2ab + b2 + ac = ac + ec + 2ab + 2eb + b2
cioè
c + 2b = 0
che non dà la soluzione cercata.
Cartesio poi applica un suo metodo, per così dire algebrico (come è ovvio,
giacché egli è il fondatore della geometria analitica) e giunge alla soluzione.
a
a + e, ottiene con una similitudine tra triangoli un'equazione di secondo
grado nella quale, come si direbbe oggi, imponendo che il ∆ sia nullo si
In particolare, partendo dall'idea di Fermat di chiamare l'incognita prima
e poi
ottiene la soluzione.
Queste, in sintesi, alcune obiezioni di Cartesio.
Il dibattito continua
per corrispondenza. Questa volta è Fermat stesso che replica al suo illustre
collega
3
.
Anzitutto Fermat osserva che Cartesio, nonostante le sue critiche, ha accettato il suo metodo per la ricerca delle tangenti, poichè, più che correggerne
errori, ne fornisce chiarimenti, almeno secondo le sue intenzioni.
Resta da
chiarire, dice Fermat, come questo metodo per la ricerca delle tangenti si basi
sul metodo dei massimi e minimi e non su altri concetti che Cartesio accusa
di aver dato per scontati e che invece compaiono nella sua
Geometria.
Si vuole risolvere il seguente problema (si può fare riferimento sempre
EB no alla circonferenza in
maniera tale che sia il più grande che dal punto E possa essere condotto senza
intersecare la circonferenza (si cerca cioè la tangente). Prendendo CD = a e il
segmento EB come il massimo da cercare, si ottiene un'equazione impossibile,
alla gura 2.2): condurre da
E
un segmento
da cui Cartesio, come si è visto, deduce che il metodo non funziona. Fermat
risponde che non ha senso prendere
EB
come il più grande, limitazione che
invece assegna Cartesio. Il problema, invece, può essere molto più facilmente
risolto come segue.
Poichè
EB
BC
da E
tocca il cerchio, tale segmento sta alla perpendicolare
proporzione minore di quanto qualunque altro segmento condotto
EB ,
ma un
al
B , non stia a BC . Non si deve
punto B sulla circonferenza tale
cerchio, dall'una e dall'altra parte rispetto ad
dunque cercare il massimo di
in
3 Lettera di Fermat a Mersenne del giugno 1638.
33
EB : BC
che il rapporto
sia minimo. Trovato così il punto
B,
si conoscerà
la tangente.
L'errore di Cartesio, in sostanza, rileva Fermat, è quello di ridurre la
ricerca della tangente a un segmento che deve essere massimo. Il problema
deve invece essere ricondotto, in base alle caratteristiche della curva in esame,
alla ricerca di un particolare rapporto che deve essere reso minimo. E con ciò
Fermat risponde anche all'obiezione in base alla quale il metodo di Fermat
non prende in considerazione la proprietà caratteristica della curva in esame.
Ma c'è di più. A benecio del suo interlocutore, Fermat compone un allegato dal titolo
Cartesio.
Metodo dei massimi e minimi spiegato e inviato da Fermat a
Il metodo in verità era già abbastanza chiaro, come si è potuto leg-
gere no ad ora anche in questa modesta sintesi, e in eetti Fermat aggiunge
poco ai fondamenti teorici del suo metodo, solo lo espone con una maggior
dovizia di particolari e chiarimenti.
Figura 2.3: Tangente alla parabola
Un'importante osservazione è che Fermat (ri)descrive il suo metodo partendo dalla parabola ma estendendolo poi a una curva generica. Condotta
la tangente in
A
alla curva da un punto esterno
D,
è ovvio che il punto
stando sulla tangente, sarà fuori dalla curva e quindi
EF
minore del segmento che dalla curva giunge allo stesso punto
nostro caso
IF ).
E,
sarà maggiore o
F
dell'asse (nel
In particolare sarà maggiore se la curva è convessa come in
questo caso, sarà minore se la curva è concava. Il metodo infatti si adatta a
ogni tipo di curve e consente di determinarne anche la concavità, tramite la
proprietà della curva stessa. Sebbene
EF
sia diverso da
IF ,
Fermat, come
è noto, lo considera come se in eetti fosse uguale, e in seguito lo confronta
con
IF
tramite
adæquatio, seguendo la proprietà caratteristica della curva.
Figura 2.4: Tangente a una curva generica
Ma per sottolineare in che modo il metodo può essere applicato alla ricerca delle tangenti, Fermat considera il seguente esempio.
Dato il punto
A,
bisogna far ricorso non al massimo (perchè si troverebbe l'innito, come si
vedrà fra poco) ma al minimo. Si deve infatti cercare (cfr. g. 2.4) il punto
O
sull'asse tale che
OA
sia il minore che si possa condurre da
O
alla curva.
O col metodo, si conduca AD perpendicolare a OA. Fermat dimostra
OA è il minimo e AD è perpendicolare a OA, AD sarà tangente alla
Trovato
che se
curva, mediante una dimostrazione per assurdo, che omettiamo. Ora, se la
curva assegnata ha la concavità verso il basso, sia
DA la tangente sulla quale
34
CAPITOLO 2.
DISPUTA CON CARTESIO
OA. Appare dalla costruzione che OA è la più
corta di tutte quelle che da O sono condotte alla curva, in maniera tale che
cercando O e essendo assegnato A si trova agevolmente la tangente. Rimane
perciò solo da cercare il punto O col metodo solito.
si conduce la perpendicolare
Il metodo dunque, sostiene Fermat, ha il suo fondamento. Dicoltà possono sorgere dal punto di vista dei calcoli, ma seguendo la strada tracciata
nell'esempio della parabola si può vedere come il metodo proceda con facilità
e perfezione.
Non si sa se i chiarimenti di Fermat siano stati convincenti, o se siano
intervenuti a placare gli animi i mediatori della corrispondenza o se semplicemente Cartesio abbia deciso di esercitare l'invidiabile dote della diplomazia.
Fatto sta che il geometra analitico per eccellenza risponde così a Fermat
4
:
Non ho avuto meno gioia di ricevere la vostra lettera nella quale mi fate il favore di promettermi la vostra amicizia di
quanto ne avrei avuta se mi fosse giunta da parte di una signora di cui avessi passionalmente desiderato le buone grazie. E
i vostri altri scritti che hanno preceduto mi fanno ricordare la
Bradamante dei nostri poeti, che non voleva ricevere come servitori delle persone che non si fossero preventivamente battute con
lei. Non mi voglio tuttavia paragonare a quel Ruggiero che è stato il solo capace di resisterle; ma tale quale io sono, vi assicuro
che onoro estremamente il vostro merito.
E vedendo la vostra
ultima maniera che avete usato per trovare le tangenti alle curve,
non ho altro da rispondervi se non che essa è molto buona e che,
se l'aveste spiegata all'inizio in questo modo, non vi avrei potuto
contraddire.
Non concede però l'ultima parola, perchè dice di non vedere ancora per
quale motivo il metodo per la ricerca dei massimi e minimi si possa applicare
alla ricerca delle tangenti considerando la tangente come la perpendicolare al
raggio piuttosto che considerando la tangente come la più grande sotto certe
condizioni. Ma in eetti, concede Cartesio,
[. . . ] è impossibile comprendere tutti i casi che possono essere
proposti nei termini di una sola regola, se non ci si riserva la
libertà di cambiare qualcosa all'occorrenza, come ho fatto in ciò
che ho scritto, dove non mi sono assoggettato ai termini di alcuna
regola ma ho solo spiegato il fondamento del mio procedimento e
ne ho dato qualche esempio, anchè ciascuno la applicasse poi,
a seconda della necessità, ai diversi casi.
4 Lettera di Cartesio a Fermat del 27 luglio 1638.
35
Chiaro riferimento alla sua
Geometria.
36
CAPITOLO 2.
DISPUTA CON CARTESIO
Capitolo 3
Conclusioni
Esaminare gli scritti di Fermat è come una caccia al tesoro. Non sempre egli
porta a termine i problemi che pone.
A volte fornisce le linee generali del
procedimento, a volte rende esplicita solo l'idea che funge da chiave risolutiva,
a volte invece lascia al lettore solo il problema da risolvere, o come sda per
i suoi rivali, o promettendo di trattarlo in seguito. Ma in quest'ultimo caso,
preso da tanti interessi, evidentemente dimentica i problemi che egli stesso
pone, poichè non se ne trova più traccia negli scritti che ci rimangono. E così
i problemi vengono sepolti dalle sabbie del tempo e per noi che li riscopriamo
ora risulta abbastanza arduo ricostruire il suo modo di ragionare. È il caso ad
esempio del problema degli asintoti. Dopo aver fornito il metodo per trovare
i punti di esso, perfettamente funzionante, Fermat dice:
A coronamento possono anche essere trovati gli asintoti di
una curva, che mostrano mirabili proprietà nel caso di curve non
limitate
1
.
È un vero peccato che Fermat non abbia mai ripreso questo argomento o,
se anche lo ha fatto, niente ci sia rimasto (eettivamente dice [Fermat 1] di
aver mandato a Roberval un esempio di ricerca di asintoti, ma nella corrispondenza che ci è rimasta non se ne trova traccia). Oggi, partendo dal suo
metodo dei massimi e minimi e con una buona dose di pazienza, potremmo
forse trovare la strada per giungere agli asintoti come vi è giunto lui, ma non
saremmo in ogni caso sicuri che è la stessa strada da lui percorsa. Anzi, per
la verità non siamo proprio sicuri di giungervi, visti i precedenti nei tentativi di dimostrare il Grande Teorema di Fermat, risolti solo recentemente. E
così non potremo mai sapere quali sono le meravigliose proprietà delle curve
innite che aveva scoperto.
1 Sed et coronidis loco possunt etiam et, data curva, inveniri ipsius asymptoti, quæ in
curvis innitis miras exhibent proprietates.
37
38
CAPITOLO 3.
CONCLUSIONI
L'esame degli scritti di Fermat è come una miniera. Da un problema spesso ne scaturisce un altro e da una semplice lettera della sua corrispondenza
spesso si possono leggere righe dense di matematica. Ma tutto ciò esula dagli
spazi e dai tempi del presente lavoro, dove si è esaminata la validità del metodo per la ricerca dei massimi e minimi e la sua applicazione alla ricerca delle
tangenti e dei punti di esso, per assegnare a Fermat un posticino accanto ai
fondatori del calcolo innitesimale.
Bibliograa
[Boyer] Boyer Carl B.,
Storia della matematica, Milano, Mondadori, 1990.
Guido, Le origini del calcolo innitesimale
nell'era moderna, Milano, Feltrinelli, 1962.
[Castelnuovo] Castelnuovo
[Fermat 1]
×uvres de Fermat
publiées par le soins de MM. Paul Tannery
et Charles Henry, Paris, Gauthier-Villars et Fils, MDCCCXCI - Tome
premier (×uvres mathématiques diverses - Observation sur Diophante) Methodus ad disquirendam maximam et minimam, pagg. 133 et ss.
[Fermat 2]
×uvres de Fermat
publiées par le soins de MM. Paul Tannery
et Charles Henry, Paris, Gauthier-Villars et Fils, MDCCCXCI - Tome
deuxième (Correspondance), pagg. 126 et ss.
39
Scarica

Alle origini del calcolo infinitesimale: il metodo