Omar al-Khayyam matematico

L’indirizzo geometrico-algebrico

La seconda corrente che contribuisce al rinnovamento dell’algebra islamica nei secoli X, XI e XII, è quella costituita da quei matematici che cercano di far progredire l’algebra mediante la geometria. Lo stimolo iniziale è fornito dai problemi geometrici classici o astronomici, che si traducono in equazioni di terzo grado. Si ricorda ad esempio il problema della duplicazione del cubo, ovvero l’inserzione di due medi proporzionali x e y fra i numeri a e b, per cui

a : x = x : y = y : b.

Questo si traduce nelle equazioni x² = ay o y² = bx e xy = ab, che conducono all’equazione x³ = a²b oppure y³ = ab².

Menecmo (IV sec. a.C.) aveva trovato la soluzione di x³ = a²b come ascissa del punto di incontro della parabola x² = ay e dell’iperbole xy = ab. Risolse con questo stratagemma anche il problema della duplicazione del cubo, in quanto questo si presentava come un caso particolare del precedente. Si trattava infatti di trovare lo spigolo di un cubo, il cui volume fosse il doppio del volume di un cubo dato, cioè di risolvere l’equazione x³=2a³, cosa che egli ottenne con l’intersezione della parabola x²=ay e dell’iperbole xy=2a².

Ancora più interesse suscitava però, presso gli arabi, il problema posto da Archimede (287-212 a.C.) nell’opera Sulla sfera e sul cilindro (II, 4):

“Dividere una sfera data in modo tale che il rapporto fra i volumi dei segmenti ottenuti sia uguale ad un rapporto dato.”

Se si indica con r il raggio della sfera e con x £ r l’altezza di uno dei segmenti sferici, l’altro segmento avrà altezza 2r- x³ r. Il volume V₁ del segmento di altezza x e quello V₂ dell’altro segmento dovranno dunque stare fra loro nel rapporto dato K, con K£ 1, cioè V₁:V₂= K e se V indica il volume della sfera, si avrà:

,

da cui 

e poiché  e , si ha ,

da cui

.

Una soluzione del problema era già stata data da Eutocio (VI sec.), nel suo commento all’opera di Archimede, con l’intersezione di una parabola e di un’iperbole, ma questa soluzione non era conosciuta dagli arabi, che si accanirono nella ricerca.

Il primo ad occuparsi del problema e a darvi una espressione algebrica è al-Mahani, che però non riesce a costruire la radice dell’equazione. Altri matematici islamici del x sec., ad esempio al-Khazin e ibn al-Haytham (965-1093), riprendono il problema, studiando altri problemi geometrici classici (quali quelli della duplicazione del cubo, trisezione dell’angolo, costruzione dei poligoni regolari di 7 e 9 lati inscritti nel cerchio) e lo risolvono mediante intersezione di coniche. Al-Biruni (973-1048) affronta invece il problema della trisezione dell’angolo e dell’inscrizione di un ennagono regolare nel cerchio. Egli ottiene per quest’ultimo l’equazione

x³ = 3x + 1,

in cui x rappresenta la corda di un arco uguale ai 2/9 della circonferenza. Da un lato il grande numero dei problemi che si riconducono ad equazioni di terzo grado, dall’altro l’incapacità di risolvere queste equazioni con una formula per radicali, portano all’esigenza di costruire una teoria sistematica e generale delle equazioni di terzo grado, analoga a quella per le equazioni di primo e secondo grado.

Il creatore di questa teoria è Omar al-Khayyam (1048 Nishapur, nel Khorassan, 1131), noto universalmente come poeta per i suoi famosi Rubai’yat. Verso il 1074 egli scrive, a Samarcanda, il suo grande trattato Sulle dimostrazioni dei problemi di al-jabr e al-muqabala, in cui definisce l’algebra come teoria delle equazioni, nettamente distinta dall’aritmetica. Le grandezze incognite possono essere numeri interi o grandezze geometriche (linee, superfici, volumi) e la risoluzione necessita sia di soluzioni numeriche, che di verifiche geometriche. Egli riconosce il suo fallimento nei confronti della soluzione per radicali delle equazioni cubiche, ma afferma “Forse uno di quelli che verranno dopo di noi riuscirà a trovarla.”

Il suo trattato presenta una classificazione delle equazioni di secondo e di terzo grado. Queste ultime sono divise in tre specie: le binomie, le trinomie e le quadrinomie, per un totale di 14 tipi.

La prima specie con tiene semplicemente l’equazione binomia x³=a.

La seconda è formata dalle trinomie dei seguenti tipi:

1. senza termine di secondo grado, cioè

x³+ bx = a

x³ + a = bx

bx + a = x³

1. senza termine di primo grado, cioè

x³+ cx² = a

x³+ a = cx²

x³= a + cx².

Infine la terza specie è costituita da

1. equazioni in cui tre termini positivi sono uguali ad un termine positivo, cioè

x³+ cx²+ a = bx

x³= a+ bx+ cx²

x³+ a+ bx = cx²

x³+ bx + cx² = a

1. equazioni in cui due termini positivi sono uguali a due termini positivi, cioè

x³+ cx² = bx+a

x³+ a = cx³+ bx

x³ +bx = cx²+a.

In tutte queste si devono intendere a, b, c costanti positive.

Le specie di ciascun tipo, che differiscono fra loro solo per i segni dei coefficienti, sono trattate separatamente e per ciascuno è spiegata la scelta delle coniche da usare. Il metodo è però uniforme, per cui è sufficiente indicare qui un unico esempio per ogni specie.

Omar al-Khayyam è attento a rispettare sempre l’omogeneità dimensionale, per cui nel trattare l’equazione del tipo 1),

x³+ bx = a,

dapprima la pone sotto la forma

x³ + p²x = p²q

e poi la risolve con l’intersezione (Fig. 7) del cerchio x²+ y² = qx e della parabola a²= py.

L’ascissa x= AX del punto P di incontro delle due curve, e diverso dall’origine A delle coordinate, è la radice dell’equazione.

In modo analogo, per l’equazione del tipo 2),

x³+ cx² = a,

si pone a= p³, per cui x² (x + c) = p³ e le coniche scelte sono l’iperbolexy=p² e la parabola y²= p(x + c).

L’equazione x³+cx²+bx = a è trasformata, ponendo b = p² e a = p²s, in

x² (x + c) = p² (s – x)

ed è risolta con l’intersezione fra il cerchio y² =(x +c)(s – x) e l’iperbole x(y+p) = ps.

Infine l’equazione

x³+ bx = cx² + a,

avendo posto b = p²; a = p²s , diventa

x²(c- x) = p²(x- s),

che si può risolvere intersecando il cerchio y² =(x-s)(c-x) con l’iperbole x (p-y) = ps.

Omar al-Khayyam considera, come i suoi predecessori, soltanto le soluzioni positive e quindi, trasferendo il discorso ad un sistema di assi cartesiani, soltanto le intersezioni delle curve nel primo quadrante. Inoltre fra le curve, privilegia i cerchi, le iperboli equilatere, per le quali asintoti ed assi di simmetria siano paralleli agli assi coordinati e le parabole, il cui asse di simmetria sia anche uno degli assi coordinati.

Vengono inoltre discusse le condizioni di esistenza delle radici positive e il numero di queste, ma nonostante l’analisi sia molto profonda, gli è sfuggito il caso di tre soluzioni positive per l’equazione

x³+ bx = cx²+ a.

6. La soluzione di equazioni cubiche numeriche, con metodi approssimati

Uno dei continuatori dell’opera di al-Khayyam è il persiano Sharaf Al-Din al-Tusi, che visse alla fine del XII sec. Egli riprende infatti il discorso sulle soluzioni geometriche delle equazioni cubiche e sviluppa notevolmente lo studio delle curve. Aggiunge a questa teoria, una discussione sistematica dell’esistenza delle radici positive, legata al ruolo del discriminante. Per esempio nell’equazione x³ +a = bx egli afferma che l’esistenza delle radici positive è legata al fatto che sia

.

Questo discriminante non appare però mai in una formula risolutiva del tipo di quella di Tartaglia e Cardano. Probabilmente fu proprio l’impossibilità di ottenere una soluzione algebrica diretta dell’equazione cubica a portare il matematico alla ricerca di soluzioni numeriche approssimate.

A queste al-Tusi giunse nella sua Teoria delle equazioni, grazie ai notevoli progressi compiuti precedentemente sia dagli aritmetici-algebristi, che dai geometri-algebristi. Particolare importanza avevano, in questo senso, gli algoritmi per l’estrazione delle radici quadrate di al-Khwarizmi e al-Uqlidisi, ulteriormente elaborati e migliorati da ibn-Labban (XI sec.) e dal suo allievo an-Nasawi, che li estendono anche alle radici cubiche. Si sa inoltre che al-Biruni aveva composto un’opera intitolata L’estrazione delle radici cubiche e di quelle di grado più elevato ed anche al-Khayyam aveva scritto su questo argomento, ma purtroppo queste opere sono andate perdute e non è perciò possibile stabilire quale influenza esercitarono su al-Tusi. Ecco in dettaglio il procedimento impiegato da questo matematico per la ricerca della soluzione numerica di un’equazione di secondo grado, del tipo x²+ px = N. L’equazione studiata da al-Tusi è

x²+ 31x = 112992

e il metodo consiste nel ritrovare ogni potenza di N a partire dal gruppo di termini che derivano dall’elevazione al quadrato dell’incognita, rappresentata, in simboli moderni da x = x₁ + x₂ + x₃, dove x₁ = a 10²; x₂= b 10; x₃ = c cona, b, c cifre intere comprese fra 0 e 9. Il procedimento di al-Tusi consiste nello scrivere x² e 31x in funzione di x₁,x₂, x₃, ovvero di a, b, c e potenze di 10:

x²=(x₁+x₂+x₃)²=x₁²+x₂²+x₃²+2x₁x₂+2x₁x₃+2x₂x₃=a²10⁴+2ab 10³+(2ac+b²) 10²+2bc 10+c²

31x=31 x₁+31x₂+31x₃=31a10²+31b10+31c.

In un primo tempo si cerca a, cioè il più grande intero tale che a²<11. Si trova a = 3 e si sommano poi tutti i termini che si possono scrivere a partire da a, annotando ciò che resta:

N₁= N – a²10⁴– 31al0²

N₁ = 112 992 – 90 000 – 9300

N₁ = 13 692.

Successivamente si cerca b, cioè il più grande intero tale che 2ab < 13, cioè 6b < 13. Si trova b = 2, per cui si prosegue calcolando

N₂= N₁– 2ab·10³– b²· 10²– 31 b·10

N₂= 13692- 12000 – 400 – 620

N₂ = 672.

infine si cerca c, tale che 2ac < 6. Si ha 6c = 6,da cui c = 1 e si può scrivere

N₃ = N₂ – 2ac·10² – 2bc· 10 – c² – 31c

N₃ = 672 – 600 – 40 – 1 – 31 = 0.

La soluzione è dunque

x = 3· 10²+ 2· 10 + 1,

cioè

x = 321.

L’ultimo matematico arabo, degno di essere qui citato, è al-Kashi, che muore a Samarcanda nel 1429. Come si è già avuto occasione di dire, la sua opera più celebre è la Chiave dell’aritmetica, composta nel 1427, che rappresenta una vera enciclopedia delle conoscenze scientifiche dell’epoca. Essa avrà una grandissima diffusione sia nei paesi arabi che in occidente, essendo destinata non solo ai matematici, ma a tutti gli uomini di cultura, dai letterati ai mercanti. Nella Chiave dell’aritmetica si trovano condensate tutte le proprietà e i metodi dell’aritmetica e dell’algebra, elaborati precedentemente. Viene qui esposta sia l’aritmetica col sistema sessagesimale, che con quello decimale, allo scopo di mostrare che le operazioni si possono effettuare indifferentemente nell’uno e nell’altro sistema. Viene inoltre ripreso il metodo di estrazione delle radici quadrate e viene fornito un valore per pcon sedici decimali esatti.

Categorie:G40.05- Scienza araba e islamica - Arabic and Islamic Science

Tag:Matematica araba, Omar al-Khayyam matematico