Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
x 2 ay
ab x3 a 2b e se
x. y b 2a x 3 2a 3
4
Menecmo (IV sec. a. C.) e le coniche
usa tre tipi di cono: rettangolo, acutangolo e ottusangolo e li
seziona con un piano perpendicolare a una generatrice
parabola iperbole
a x y
ellisse
x y 2a
Risolve il problema della duplicazione
del cubo intersecando due parabole
a3 2 x2 = ay e y2 = 2ax
o un’iperbole e una parabola 5
► Prima Scuola di Alessandria
III sec. a.C. – 30 a.C.
9
Libro I, def. 1 Se una retta,
prolungantesi all’infinito e
A
passante sempre per un punto
fisso, viene fatta ruotare
AO asse del cono lungo la circonferenza di un
cerchio che non si trovi nello
stesso piano del punto in
base del cono modo che passi
E successivamente attraverso
ogni punto di quella
C circonferenza, la retta che
B O ruota traccerà la superficie di
un cono doppio [a due falde]
D
interseca
secondo DE. Se prendo BC
(diametro del cerchio base) DE
L’intersezione del piano con il allora ABC è il triangolo assiale
triangolo assiale ABC è detta (contiene l’asse del cono) 10
diametro della conica.
Caratteristiche delle Coniche e metodi
Apollonio usa l’origine stereometrica delle coniche per ottenere la proprietà
fondamentale di ogni conica (proprietà piana) e questa costituisce la base dei
successivi sviluppi della teoria
Gli ‘strumenti’ o procedimenti utilizzati sono:
- l’algebra geometrica (che sopperisce l’assenza dell’algebra in Grecia), i cui
elementi basilari sono la teoria delle proporzioni (Elementi, V libro) che permette
di eseguire le operazioni elementari (moltiplicazione, divisione, elevamento a
potenza, estrazione di radice) e l’applicazione delle aree (Elementi, II libro) che
risolve problemi che si possono tradurre in equazioni di 1° e 2° grado (Elementi,
II.5, II.14)
- l’uso delle coordinate cioè il fissare enti (segmenti) comuni, in grado di dare la
relazione fondamentale di ciascuna (modernamente stabilire cioè il legame fra
ascisse e ordinate di un sistema di riferimento) diametro della conica (asse x) e
tangente alla conica in un estremo del diametro (asse y). Gli assi possono essere
ortogonali oppure obliqui. Ordinata: (tracciata
ordinatamente, ordinatim applicata)
L’opera è difficile per un lettore moderno poichè Apollonio salta spesso i
passaggi intermedi. I commentatori Pappo e Eutocio ne hanno integrato il testo 11
con dei lemmi.
Uso della teoria delle proporzioni
per eseguire ‘geometricamente’ le operazioni algebriche
(moltiplicazione, divisione, elevamento a potenza, estrazione di radice)
AB : BC = BD : BE E d
C b
a :b c :d ad bc D A
a
B
c
a0 a1 a2 an 1
... Medi proporzionali
a1 a2 a3 an
n
an a1 a1 an
n
a0 a0 a0 a0
12
Uso dell’applicazione delle aree
per “risolvere” un’equazione quadratica
Trovare un quadrato la cui area sia uguale a quella di un dato
rettangolo ABCD
G Si prolunghi AB di un segmento BE =
BC.
Si prenda il punto medio F di AE, si tracci
il cerchio di centro F e raggio FE.
x Sia G il punto di intersezione con la
circonferenza del prolungamento del lato
BE del rettangolo dato, allora BG è il
A F B E segmento cercato.
il triangolo AGE è rettangolo (inscritto in
b un semicerchio) e per il teorema di
Euclide
a
BG2 = ABBE = ABBC
D C
x2 = a b 13
A
Coniche I. 11
Costruzione: PM//AC BC DE
QV//DE
Se PL e PL PM e tale che
PL : PA = BC2 : AB·AC
allora
PL : lato retto
QV =PL ·PV
2
Costruisce HK//BC
HQK alla sezione (cerchio) con
E piano // , dunque QV2 = HV ·VK
Per la similitudine dei triangoli PHV, AKH, ABC
HV : PV = BC : AC
Da PM // AC e dalla similitudine (AHK, ABC) è VK : PA = BC : AB e
moltiplicando i membri delle due proporzioni
HV · VK : PV · PA = BC2 : AC · AB
QV2 PL : PA
14
QV2 : PV · PA = PL : PA QV2=PL ·PV
Apollonio utilizza l’origine
stereometrica delle coniche come
sezioni del cono per ottenere la
proprietà fondamentale delle sezioni
coniche che è piana (sistema di
riferimento: diametro della conica e tangente
alla conica in un estremo del diametro). A
partire da questa proprietà ricava i
successivi sviluppi della teoria.
p
Parabola,
Coniche I.11
QV2=PL ·PV
oggi , grazie a Descartes e Fermat (XVII sec.)
y 2 px 15
Quadrato(QV) è equivalente al Rettangolo (PV·PL)
Iperbole, QV2=PV ·VQ’
Coniche, I.12
QV = y
PV = x
PL = p
PP’= d
Oggi, grazie a Descartes e Fermat:
y 2 x VQ'
dx d p
VQ' p x
VQ' p d
2 p 2
y px x
d
QV2=PV ·VR
QV = y
PV = x
PL = p lato retto
PP’= d diametro
OGGI: y 2 x VR
d dx p
VR p x
p VR d
2 p 2
Quadrato(QV) è equivalente al Rettangolo(PV·VR) y px x 17
d
La tangente alla parabola
Prop. I. 33
“Si prenda un punto T
Q’ sul diametro della parabola,
Q
K oltre il vertice tale che TP = PV,
dove V è il piede dell’ordinata
da Q al diametro PV. La retta
T P V V’ TQ sarà tangente alla parabola”
Apollonio dimostra che TQ è tale che ogni suo punto diverso da Q giace al di
fuori dalla parabola. Il ragionamento è per assurdo:
suppone che K sia un punto del segmento TQ o del suo prolungamento, che cada
all’interno della parabola e mostra con proprietà geometriche che ciò porta
ad un assurdo.
Il suo metodo non è generale, cioè applicabile ad ogni curva
(come nei metodi infinitesimali del XVII secolo),
ma è un teorema relativo a quella curva specifica, la parabola.
18
Le Coniche di Apollonio
LIBRO I definizioni e proprietà fondamentali delle sezioni coniche.
(60 prop.) Nelle Prop. 11, 12, 13 Apollonio trova le proprietà caratteristiche della
parabola dell’iperbole e dell’ellisse.
Alcune proprietà sulle tangenti (la tangente a una curva C in un punto P è
una retta t tale che fra C e t non può essere tracciata nessuna altra retta
passante per P, tale cioè che ogni suo punto diverso da P giace fuori della
curva); per es. Prop. 33: Se si prende un punto T sul diametro PM di una
parabola QPQ’ fuori della curva e tale che TP=PV, dove V è il piede
dell’ordinata da Q al diametro PM, la retta TQ sarà tangente alla
parabola.
LIBRO II Proprietà degli asintoti (nella Prop.14 dimostra che la distanza fra una
(53 prop.) curva e il suo asintoto, se prolungati all’infinito, diventa minore di una
qualsiasi lunghezza data), delle tangenti e dei diametri coniugati (Def. I, 4:
Si dice diametro di una curva piana la retta che taglia in due parti uguali
tutte le corde della curva parallele ad una retta qualunque. Def. II, 6:
Chiamo diametri coniugati di una curva le rette tali che ciascuna è un
diametro che taglia in due parti uguali le rette parallele all’altra).
19
LIBRO III (56 prop.) Proprietà armoniche di polo e polare (vedi per es. Prop. 37)
Proprietà dei fuochi (chiamati così nel Rinascimento per le loro proprietà ottiche).
Apollonio usa la perifrasi «punti che nascono dall’applicazione» e li definisce solo per
l’ellisse e per l’iperbole: Detto AA’ il diametro della conica e F e F’ i fuochi, questi sono
definiti come punti tali che AF·FA’=AF’·F’A’= p AA’/4, dove p è il parametro della
conica.
Apollonio dimostra che in un’ellisse la somma (Prop. 52), in un’iperbole la differenza
(Prop. 51) delle distanze di un punto dai fuochi è uguale all’asse AA’.
«Il libro terzo contiene molti teoremi notevoli utili per la costruzione dei luoghi solidi. La
maggior parte di essi e più belli sono nuovi. Fra l’altro, fu dimostrando questi teoremi che
mi resi conto che Euclide non aveva costruito il luogo geometrico rispetto a tre o quattro
linee …, non era infatti possibile farlo senza queste mie scoperte» (Prefazione al Libro I).
Il problema è il seguente: Date 3 (4) rette giacenti in un piano, trovare il luogo
geometrico dei punti P tali che il quadrato della distanza di P da una di queste rette sia
proporzionale al prodotto delle distanze dalle altre rette (nel caso di 4 rette, il prodotto
delle distanze da due di esse sia proporzionale al prodotto delle distanze dalle altre due),
le distanze essendo misurate secondo angoli dati rispetto alle rette. Tale luogo è una
sezione conica. Pappo generalizzò il problema a n rette, con n>4. Affrontando questo
problema Descartes diede l’avvio alla sua ‘geometria analitica’ edita nel 1637.
20
LIBRO IV Apollonio trova «In quanti modi le sezioni coniche possono incontrarsi
(57 prop.) l’una con l’altra», in particolare ottiene dei teoremi nuovi relativi al
numero di punti in cui una sezione conica incontra i due rami di
un’iperbole (fu Apollonio a considerare i due rami come un’unica curva) e
ne è fiero infatti scrive che sono «degni di essere accettati per amore delle
dimostrazioni stesse, allo stesso modo che accettiamo molte altre cose nella
matematica per questa e nessuna altra ragione».
x3 bx c
- equazioni trinomie senza termine di secondo grado I. x3 c bx
bx c x3
x3 ax2 c
- trinomie senza termine di primo grado II. x3 c ax2
ax2 c x3
- quadrinomie in cui due termini positivi sono uguali a due termini positivi
x3 ax2 bx c
II. x3 bx ax2 c
25
x3 c ax2 bx
L’equazione trinomia del I tipo x3 bx c ,
(“un cubo più lati sono uguali a un numero”) viene scritta come
x3 p 2 x p 2q con b = p e c = p q per il principio di omogeneità
2 2
dimensionale.
La risoluzione si ottiene per intersezione
della circonferenza x2 + y2 = q x
e della parabola y = x2 /p.
x3 p 2 x p 2q
27
Lo studio della variabilità e del moto
XIV sec. Oxford - Parigi
Fu uno dei temi preferiti nelle università, in particolare a
Oxford e a Parigi. I filosofi scolastici del Merton College
di Oxford formularono la cosiddetta regola mertoniana:
“se un corpo si muove di moto uniformemente
accelerato, la distanza percorsa è uguale a quella
che percorrerebbe nello stesso intervallo di tempo un
altro corpo con moto uniforme e velocità pari a quella
raggiunta dal primo corpo nell’istante medio
dell’intervallo di tempo”
La velocità non era definita in modo rigoroso, ma era intesa come una “qualità del
moto”
François Viète
1540-1603
Isagoge in artem analyticem (1591)
►l’interazione fra algebra e geometria cambia: l’algebra è in grado di risolvere
problemi di geometria.
L’algebra è vista come uno speciale procedimento di scoperta (ars analytica):
si parte dall’assunzione di ciò che si cerca e mediante la deduzione si arriva ad una verità nota
33
René Descartes 1596-1650
Filosofo, matematico e fisico.
Dallo studio della matematica (algebra e
geometria) elaborò un metodo per giungere
alla vera conoscenza basato sui seguenti
quattro principi:
“non accettare mai per vera nessuna cosa che non conoscessi con
evidenza essere tale”
“dividere ciascuna difficoltà che stessi esaminando in tante piccole
parti quante fosse possibile e necessario per giungere alla miglior
soluzione di essa”
“condurre con ordine i miei pensieri cominciando dagli oggetti più
semplici e più facili … per salire a poco a poco, come per gradi, alla
conoscenza dei più complessi”
“procedere in ogni caso ad enumerazioni così complete … da essere
certo di non aver omesso assolutamente nulla”
Discorso sul Metodo in Opere scientifiche di Réné Descartes, 1983 34
La Géométrie 1637
Lo scopo dell’opera:
“Tutti i Problemi di Geometria possono facilmente essere riportati a
termini tali che poi per costruirli, non c’è da conoscere
che la lunghezza di alcune linee rette”
Descartes utilizza le prime lettere dell’alfabeto per indicare i parametri e le ultime per
le incognite, per lui sempre concepiti come segmenti.
Crea una rottura rispetto alla tradizione classica greca, interpretando anche x2, x3, …
come segmenti, e non più come aree, volumi, ... Ridimensiona cioè la valenza
dell’omogeneità dimensionale che aveva grande peso all’epoca sui matematici e sui
fisici.
36
Scopo della Géométrie
Gli scopi della Géométrie coinvolgono
due livelli di problemi: uno tecnico e
uno metodologico
tecnico: il programma di Descartes è quello di usare
l’algebra nello studiare i problemi geometrici
(banco di prova è il problema di Pappo)
metodologico: come trovare la costruzione geometrica
di un problema quando la riga e il compasso
sono insufficienti e quali curve accettare nella
costruzione
37
Caratteri della Géométrie
abolizione del requisito di omogeneità nelle formule
algebriche (artificio: introduce un segmento unitario)
Salto qualitativo
considera problemi indeterminati. Le due coordinate x e
y sono legate da una sola equazione. I punti che risolvono
il problema sono infiniti e descrivono una curva
La Géométrie è una geometria di curve non di teoremi
L’estrazione della
radice quadrata
1
FG = 1
FG:IG = IG:GH
IG2 = FG·GH
39
La risoluzione delle equazioni di 2°
grado
O
N
1 P
a
2 1 a2
OM ON MN a b2
M 2 4
L b
40
Il problema di Pappo
Il problema di Pappo, enunciato nella sua forma più semplice, si presenta così:
Date 2n rette, trovare il luogo dei punti tali che il prodotto delle distanze dalle prime n
rette sia uguale al prodotto delle distanze dalle rimanenti.
Pappo lo aveva risolto in casi particolari. Descartes ne diede la soluzione generale:
scrivendo la curva con la sua equazione.
Siano (x,y) le coordinate di un punto generico C e sia d(C, r i ) = | ai x + bi y + ci | la distanza
di C dalla retta i-esima, dove a i , bi , ci sono i parametri della retta ri normalizzati in modo
che ai2 + bi2 = 1.
Descartes è quindi consapevole che una soluzione generale è possibile solo usando il
formalismo dell’algebra:
“ Mi pare di aver così interamente soddisfatto alle ricerche che, secondo Pappo, gli
antichi avevano impostato in questo campo e proverò a darne la dimostrazione in pochi
tratti, giacché sono già annoiato di averne scritto tanto”
41
“Siano AB, AD, EF, GH, ecc. parecchie linee date per posizione, e
occorra trovare un punto, come C, dal quale, condotte su quelle date
altre linee rette, come CB, CD, CF, CH, in modo che gli angoli CBA,
CDA, CFE, CHG siano dati e tali che il prodotto di una parte di queste
linee sia uguale al prodotto delle rimanenti o che l’uno stia all’altro in
un rapporto dato: ciò infatti non rende il problema per nulla più
difficile.
Innanzitutto suppongo il problema come già risolto, e per liberarmi dalla
confusione di tutte queste linee, considero una delle rette date e una di
quelle che bisogna trovare, per esempio AB e CB come le principali, e a
queste cerco così di riferire le altre.” (p. 553).
R
E A G
B
F H
C
D 42
Metodo per la determinazione della retta normale
ad una curva Géométrie, libro II
C(y0, x0)
suppone il problema risolto. Sia CP la normale
alla curva P(x,y)=0 in C
s PM = v-y0
x0
Considera il cerchio
2 di centro
2 2 P(v,0) e raggio s:
y0 x (v y ) s
A M P(v,0)
P ( x, y ) 0
2 2 2
R( x) 0 oppure R( y ) 0
x (v y ) s
R(y) = 0 dovrà avere una radice doppia in y0, cioè dovrà essere della forma
R( y ) ( y y0 ) 2 Q( y )
43
se P(x,y)=0 ha grado m, R(y)=0 ha grado 2m e Q(y) è un polinomio di grado 2m−2
Uguagliando uno a uno i coefficienti delle potenze omologhe si
otterranno 2m+1 equazioni da cui si possono ricavare i coefficienti di
Q(y), nonché i due parametri v e s.
Caratteri e limiti del metodo
è un metodo algebrico rigoroso
l’uso della circonferenza raddoppia il grado di P(x,y)=0
serve solo per curve algebriche e, anche nei casi più semplici, dà
luogo a calcoli lunghi e complessi (soprattutto in presenza di radicali)
Descartes scrive: “Oso anzi dire che questo è il problema più utile e
generale non solo tra tutti quelli che conosco, ma anche tra tutti
quelli che in Geometria ho sempre desiderato conoscere”
In effetti, mentre nella geometria greca e in quella anteriore a lui il problema della
ricerca della retta tangente doveva essere affrontato caso per caso, operando invece
sulle curve tramite le loro equazioni si offre un metodo valido per tutta una
categoria di curve e non si deve ricorrere continuamente alle figure
(all’immaginazione). Pregio sottolineato da Leibniz. 44
Esercizi
1. Trovare la normale alla curva y = x3 in P(1,1) con il
metodo di Descartes e con quello moderno
y x3
2 2 2
( x v) y s
x 2 2 xv v 2 y 2 s 2
R ( x) x 6 x 2 2 xv v 2 s 2 0
( x 1) 2 ( x 4 ax 3 bx 2 cx d ) ( x 2 x 1)( x 4 ax 3 bx 2 cx d )
x 6 (a 2) x 5 ... x 6 x 2 2 xv v 2 s 2
eguaglio i coefficienti delle potenze omologhe ottengo 6 equazioni da cui ricavo
v4
2. Trovare la normale alla curva y = 1/x in P(2,1/2) con il metodo
di Descartes e modernamente
1
y
x
( x v) 2 1 s 2
x2
15
... v 45
8
“E spero che i posteri mi saranno grati, non solo
per quello che ho qui spiegato, ma anche per tutto
ciò che ho omesso intenzionalmente al fine di
lasciar loro il piacere della scoperta”
La maggior parte dei suoi risultati hanno il carattere di brevi saggi o compaiono
nelle lettere che scriveva agli amici. Pubblicò poco e molti dei suoi lavori
apparvero solo dopo la sua morte. Sarà il maggiore dei suoi figli Samuel a
divulgare le sue ricerche in teoria dei numeri sulla base delle annotazioni a
margine della Arithmetica di Diofanto edita da C. G. Bachet de Méziriac. 47
Ad loco planos et solidos isagoge
Introduzione ai luoghi geometrici rappresentati da rette
e da curve di secondo grado 1629
Aq aequatur D in E parabola x2 = Dy
A in E aequatur Zpl iperbole xy= C2
Bq –Aq aequatur Eq cerchio B2 – x2 = y2
50
Retta tangente - FERMAT
Metodo dei massimi e minimi
52
I "Si abbia un’ellisse e sia F un punto sulla curva.
D
Tracciamo le rette BFC e AFD condotte a partire
B F dai fuochi A e B. Siccome il punto F si allontana
da uno dei punti A e B tanto quanto si avvicina
C all’altro, è sufficiente dividere l’uno dei due
A angoli AFC o BFD in due parti uguali tramite la
retta FI che sarà la tangente."
B
2
v F r1 1 r1 1 1 v F r2 2 r2 2 2
α2
r2
v F 1 r1 r1+r2 = cost.
F
r1 r2 =0
r1 r2
r1
v F 2 r2
1 v F 1 v F 2
vF cosα = v
1 F
cosα2, dunque α1=α2 53
La nascita dell’analisi infinitesimale
54
Bibliografia essenziale
Boyer C., History of analytic geometry, The Scripta Mathematica Studies, New York, 1956
Freguglia P., La geometria tra tradizione e innovazione 1550-1650, Bollati Boringhieri,
Torino, 1999, Cap. 4
Kline M., Storia del pensiero matematico, (1972), Torino, Einaudi, I vol., 1991, pp. 106-118, 227-
228, 246-248, 353-354, 359-369, 636-647
Lojacono E., Cartesio, I Grandi della Scienza, Le Scienze, 2000
Katz V. (ed.), Historical Modules for the Teaching and Learning Mathematics, The Mathematical
Association of America, 2005
I testi
Heath T., Apollonius of Perga. Treatise on Conic Sections, Cambridge
University Press, 1896.
Ver Eecke P., Les Coniques d’Apollonius de Perge, De Brouwer, Bruges, 1923
Al Khayyam O., L’oeuvre algébrique, etablie, traduite et analysée par R. Rashed et
A. Djebbar, Paris 1979
Adam CH., Tannery P., Oeuvres de Descartes, 12 voll., Paris, 1897-1913
Descartes R., Opere scientifiche, Classici della scienza, Utet, Torino, 1983
Tannery P., Henry Ch., Oeuvres de Fermat, 4 voll, Paris, 1891-1912
55
Euler L., Introductio in analysin infinitorum , II vol. Lausannae, 1748