L’UNIVERS NUMÈRIC DE LA RECTA
Departament: Matemàtiques Alumne: Marcos Salgado Corbillón Tutor : David Anton Llapart
"Ningú entri aquí que no sàpiga geometria" Plató
"Caminem a les espatlles dels gegants que ens van precedir" Newton
"Pren el que necessitis, opera com cal, i obtindràs el que desitges" Leibniz
Agraïments a Manel Dolz, Núria Vila, Josep Pla i Carrera i, per suposat, a David Anton
2
INTRODUCCIÓ (segona edició) ..................................................................................................................6 INTRODUCCIÓ (primera edició).................................................................................................................7 I Construccions clàssiques o amb regla i compàs..........................................................................................8 1.Els nombres racionals(Q) o arrels de polinomis de primer grau ............................................................9 1.1.Fraccions o decimals periòdics........................................................................................................9 1.2.Representacio en la recta dels nombres racionals .........................................................................11 2.Representació a la recta de les arrels dels polinomis de primer grau ...................................................15 3.Les arrels quadrades .............................................................................................................................16 3.1.Estudi de les diagonals de rectangles amb costats naturals ...........................................................16 3.2.Construcció d’arrels quadrades en dues passes. ............................................................................18 3.3.Construcció d’arrels quadrades en tres passes...............................................................................21 3.4.Mètode inductiu.............................................................................................................................24 3.5.Mètode deductiu ............................................................................................................................27 4.Representació a la recta de les arrels dels polinomis de segon grau ....................................................30 5.Un cas particular: el nombre d’or() ...................................................................................................31 6.Limitacions del mètode grec.................................................................................................................33 6.1.Arrels cúbiques construïbles amb regla i compàs. ........................................................................33 6.2.La solució de les equacions de 3r i 4rt grau....................................................................................33 6.3.L’impossibilitat d’expressar la solució general d’una equació de 5e grau o superior amb radicals .............................................................................................................................................................34 II Construccions modernes, recurrents o iteratives mitjançant mètodes numèrics......................................36 1.Fraccions continues ..............................................................................................................................37 1.1.L’arrel de 2 ....................................................................................................................................37 1.2.Qualsevol arrel quadrada ...............................................................................................................38 1.3.El cas de .....................................................................................................................................39 1.4.La fracció contínua com a mètode numèric...................................................................................39 1.5.Vicissituds del mètode...................................................................................................................40 2. Mètode de bisecció ..............................................................................................................................41 2.1.El teorema de Bolzano...................................................................................................................41 2.2.Descripció de la prova de Bolzano ................................................................................................41 2.3.Aplicació del mètode al cas particular de 3 2 ...............................................................................42 2.4.Representació gràfica ....................................................................................................................43 2.5.Algoritme computacional ..............................................................................................................44 2.6.Vicissituds del mètode de la bisecció ............................................................................................44 3.Construcció de nombres transcendentals..............................................................................................45 3.1.El nombre pi ..................................................................................................................................45 3.2.El nombre e ...................................................................................................................................50 4.La recta real ..........................................................................................................................................53 III Construccions contemporànies, amb nombres hiperreals.......................................................................54 1.La teoria de Cantor: tipus d’infinits......................................................................................................55 1.1.Conjunts numerables .....................................................................................................................55 1.2.Conjunts no numerables: els nombres reals ..................................................................................56 1.3.Jerarquia d’infinits: la hipòtesi del continu ...................................................................................58 1.4.Propietat arquimediana ..................................................................................................................59 1.5.Axioma de Cantor-Dedekind.........................................................................................................59 2.Nombres hiperreals...............................................................................................................................60 2.1.Negant axiomes ............................................................................................................................60 2.2.Introducció.....................................................................................................................................60 2.3.Definició i nomenclatura ...............................................................................................................61 2.4.Els nombres infinitèsims ...............................................................................................................62 2.5.Propietats .......................................................................................................................................63 3. Utilitat dels hiperreals..........................................................................................................................64 3.1.Càlcul diferencial...........................................................................................................................64 3
3.2.Problemes d’optimització: exemple ..............................................................................................68 3.3.Càlcul integral................................................................................................................................70 L’ENTREVISTA.........................................................................................................................................72 eleg ............................................................................................................................................................73 CONCLUSIÓ ..............................................................................................................................................74 Annexos .......................................................................................................................................................75 A. El mètode mètric egipci ......................................................................................................................75 B. La secció àuria ....................................................................................................................................79 Rectangles àurics .................................................................................................................................79 C. La sèrie de Fibonacci ..........................................................................................................................81 1.El clàssic problema dels conills........................................................................................................81 2.Relacio entre la successió de Fibonacci i el nombre d’or.................................................................82 D. La lúnula d’Hipòcrates .......................................................................................................................83 E. Els 3 grans problemes de la geometria clàssica ..................................................................................85 1.La duplicació del cub........................................................................................................................85 2.La trisecció de l’angle.......................................................................................................................85 3.La quadratura del cercle ...................................................................................................................85 F. Fórmules de Cardano-Ferrari ..............................................................................................................86 1.Fórmula pels polinomis de tercer grau .............................................................................................86 2.Procediment pels polinomis de tercer grau.......................................................................................86 3.Fórmula pels polinomis de quart grau ..............................................................................................87 G. Mètode de la secant ............................................................................................................................88 1.Representació gràfica .......................................................................................................................88 2.Descripció de l’algoritme .................................................................................................................89 3.Aplicació...........................................................................................................................................90 H. Mètode de Newton..............................................................................................................................91 1.Representació gràfica .......................................................................................................................91 2.Descripció de l’algoritme .................................................................................................................92 3.Aplicació...........................................................................................................................................92 4.Algortime computacional .................................................................................................................93 I. Qui és pi?..............................................................................................................................................94 1.Introducció........................................................................................................................................94 2.Àrea ..................................................................................................................................................94 3.Característiques de ........................................................................................................................95 4.Incògnites sobre .............................................................................................................................95 5.Altres aspectes de ..........................................................................................................................95 J. Qui és e?...............................................................................................................................................97 1.Introducció........................................................................................................................................97 2.Taula de valors..................................................................................................................................97 3.Característiques ................................................................................................................................98 K. Proves d’irracionalitat.........................................................................................................................99 L. Tipus de funcions ..............................................................................................................................101 1.Injectiva ..........................................................................................................................................101 2.Exhaustiva ......................................................................................................................................101 3.Bijectiva..........................................................................................................................................101 M. Propietats dels nombres reals...........................................................................................................102 1.Cos commutatiu..............................................................................................................................102 2.Cos totalment ordenat.....................................................................................................................102 3.Cos complet ....................................................................................................................................102 4.Cos arquimedià ...............................................................................................................................102 5.Número d’elements.........................................................................................................................102 N. Propietats dels nombres hiperreals ...................................................................................................103 1.Cos commutatiu..............................................................................................................................103 2.Cos totalment ordenat.....................................................................................................................103 4
3.Cos complet ....................................................................................................................................103 4.Número d’elements.........................................................................................................................103 O. Propietats dels nombres racionals.....................................................................................................104 1.Cos commutatiu..............................................................................................................................104 2.Cos totalment ordenat.....................................................................................................................104 3.Cos arquimedià ...............................................................................................................................104 4.Número d’elements.........................................................................................................................104 P. Comparativa ......................................................................................................................................105 Índex de figures .........................................................................................................................................109 BIBLIOGRAFIA .......................................................................................................................................111
5
INTRODUCCIÓ (segona edició) La matemàtica neix a l’Antic Egipte amb una finalitat eminentment pràctica, en especial la geometria que els grecs perfeccionarien i sintetitzarien en Els elements d'Euclides i que podríem considerar com a la matemàtica per antonomàsia. Amb el temps, els mètodes grecs esdevingueren insuficients, incapaços de representar tots els nombres irracionals, el descobriment dels quals va ser traumàtic per a Pitàgores i per a la resta dels matemàtics de l'època que consideraven que tots els nombres eren racionals. Per suplir les deficiències de la representació de punts en la recta geomètrica pel mètode de la regla i el compàs es van proposar mètodes reiteratius d’aproximació i sèries numèriques que permetien representar irracionals algebraics i transcendentals, és a dir, tots els reals. Conseqüentment, segons l’axioma de Cantor-Dedekind, i tenint en compte que el conjunt de nombres reals és un cos complet i ordenat, s’estableix que tot punt en la recta geomètrica és un nombre real. Aquesta conclusió resultà susceptible d’anàlisi per tal com és característic en matemàtiques la infinita extrapolació i generalització dels conceptes fins a punts inimaginables, com és el cas de l’estudi d'espais de n dimensions o el fet que la geometria euclidiana, esdevingui només un cas particular dels infinits espais de Rienman. Així doncs, el meu estudi pretén comprovar o falsar l’axioma de Cantor-Dedekind i, en cas de falsar-lo, esbrinar què és realment un punt en la recta geomètrica. Abans de poder determinar aquesta qüestió, s’han analitzat i s'han exposat els mètodes de representació dels nombres reals. Partint d’un segment arbitrari, que considerem com a unitat, hem construït una recta pràcticament "buida de punts", que consta només dels enters. A partir d’aquí hem procurat trobar mètodes per representar nombres cada cop més complexos fins a arribar als reals, moment en el qual ens hem plantejat l’existència d’altres cossos complets i ordenats. Així doncs, el treball es divideix en tres blocs: la representació mitjançant regla i compàs, la representació mitjançant mètodes reiteratius(motivada per les limitacions del mètode anterior) i, finalment, la resposta a la meva pregunta inicial: "que és realment un punt en la recta?". D’aquesta manera es pretén donar una visió global de la recta numèrica o geometria i tot l'extens univers de nombres que l’envolten.
6
INTRODUCCIÓ (primera edició) Què és un punt en la recta geomètrica? Aquesta pregunta és una constant en la meva investigació, que vull que es faci seriosament el lector a cada pas. No és, tot i que pugui semblar-ho a primera vista, una pregunta òbvia, absurda o inútil. Si ho fos, la resposta que concep ara el lector i la que considerarà desprès d’una lectura meditada del treball seria la mateixa. Però puc assegurar que no tan sols no serà així, sinó que probablement faci trontollar el que fins ara considerava axiomàtic e indubtable, faci canviar la seva idea de recta numèrica, de la geometria i fins i tot potser de la mateixa matemàtica (grans pretensions les meves, possiblement). Amb l’ajuda d’aquesta pregunta clau, que vol partir de zero i fonamentar-ho tot de nou, m’he guiat com si es tractés d’un fanal que m’il·luminava el camí d’una abrupta, obscura i complexa cova. He procurat, així, sortir a l’exterior per trobar la veritat que s’amaga darrera dels falsos reflexos, de les excessives simplificacions que es fan en l’aprenentatge, per tal de facilitar el procés de comprensió,diuen, i que, tal com succeeix al meu nivell, és una realitat i sensació traslladable als meus lectors, ja que ni tan sols els il·lustrats en aquestes arts, poden arribar a saber-ho tot ni tan sols en les seves respectives especialitats en un món potser massa complex per la seva compressió absoluta, i on, a més, el seu enteniment augmenta dia rere dia. Així doncs, he procurat recórrer de nou la bellíssima, però també escarpada, senda cap al coneixement vertader de la meva qüestió, lluny de prejudicis i vagues concepcions. Però si bé el dubte inicial, el "què", era la meva llum, els meus peus foren el "com", com podem representar el punt a la recta. I sens dubte fou l’aparell motor, la meva intel·ligència, el que em permeté avançar assegurant cada punt del recorregut de la mateixa manera com ho fa l’alpinista o el senderista: deixant una marca en la seva ruta, una prova permanent de la seva estada i que pot ser un model o itinerari a seguir per a la resta. De la mateixa manera que jo he anat redescobrint (narcisisme apart), les grans senyals d’aquesta ruta, vull ara invitar-vos a redescobrir-ho tot junts, i si és possible, descobrir-vos noves esteles que ens guien en el firmament. Aquesta descripció idealista i platònica no és, ni molt menys, gratuïta per tal com la matemàtica és la ciència predilecta de la raó, la reina sobre totes elles i concretament la geometria és la essencial per a Plató i els antics grecs. A més, no és tracta ni molt menys d’un treball sobre matemàtica aplicada ni res de semblant que estigui en íntima relació amb la realitat física, sinó que té sentit independentment d’ella. És, doncs, un treball sobre matemàtica fonamental, sobre els seus fonaments, on conflueixen les diferents disciplines Deixant de banda el que ha significat per a mi aquest viatge abstracte que només puc definir amb metàfores, potser una mica hiperbòliques, qui sap, i concretant més en el meu trajecte durant aquest període, sense arribar a desvelar les meves passes i conclusions, diré que el meu mètode de treball era senzill: vaig partir dels nombres naturals, els més immediats que tothom sap representar sense dificultats. Tot partint d’aquests em vaig preguntar què hi ha per sobre dels naturals, què hi ha enmig dels nombres naturals en una recta, en aquell moment, pràcticament buida. Procedint així vaig redescobrir successivament els diferents nombres de la recta i amb els coneixements propis d’un batxillerat he procurat trobar mètodes per la seva representació, ajudat pel meu tutor, quan feia falta. En aquest sentit, la recerca de successius conjunts numèrics que s’anessin englobant els uns amb els altres també es pot entendre com la recerca d’un cos ideal que respongués al meu dubte inicial i que per tant fos ordenat, per tal com la recta ho és, i complet, per tal com vull omplir-la de punts. 7
I Construccions clàssiques o amb regla i compàs En dibuix lineal ens ensenyen el mètode geomètric de la regla i el compàs. Per tant aquest mètode prové del fet que ja sabem: -Trobar la paral·lela per un punt exterior a una recta -Trobar la perpendicular per un punt exterior a una recta -Dividir un segment en dues parts iguals -Dividir un angle en dues parts iguals -Dibuixar qualsevol polígon regular El nostre objectiu es portar el mètode a construccions més complexes com la representació de les arrels de polinomis de primer i segon grau amb coeficients enters, que representen tots els nombres racionals i alguns irracionals. Per aconseguir-ho haurem de ser capaços de dibuixar a la recta fraccions i arrels quadrades, per la qual cosa requerirem dels teoremes de Tales i Pitàgores respectivament. Amés analitzarem alguns casos particulars, com el cèlebre nombre d’or. Aquesta secció és, doncs, un recorregut per la matemàtica de l’antiga Grècia, on es mostra la seva eficiència i exactitud. Tot i això, en últim lloc, ens trobarem amb les mateixes limitacions que van impedir avançar als antics geòmetres, obsessionats en la resolució dels tres clàssics problemes irresolubles, com es demostra posteriorment.
8
1.Els nombres racionals(Q) o arrels de polinomis de primer grau En aquest primer capítol veurem que tot nombre racional (fracció o decimal periòdic) admet una representació geomètrica amb regla i compàs. En conseqüència, les arrels dels polinomis de primer grau amb coeficients enters també admetran aquest tipus de construcció clàssica. En el desenvolupament d’aquesta secció serà fonamental el teorema de Tales.
1.1.Fraccions o decimals periòdics OBSERVACIÓ Els decimals exactes poden ser considerats decimals amb període 0 o 9. Justificació Expressem-lo amb un exemple: 2 1,9 2,0 Òbviament 2 2,0 ja que els ceros darrere la coma no tenen valor numèric.
Pel que fa a 2 1,9 ,aquests infinits nous darrera la coma no difereixen en res de la unitat. Es pot demostrar algèbricament amb el següent procediment: 18 x 1,9 10 x 19,9 10 x x 19,9 1,9 9 x 18 x x2 9
PROPOSICIÓ 1 A tota fracció li correspon una expressió decimal periòdica Justificació L’expressió general d’una fracció és a on b 0 i a , b Z b Per obtenir la seva expressió decimal només cal fer la divisió corresponent. Anem a veure amb uns exemples que el resultat sempre serà periòdic. 1 0,3333... 0.3 3 3 1 1,0 0.9 3
253 7 43 36,142857 142857 142857 .... 10 30 20 60 40 50 10 ...
9
Aquest últim cas es especialment il·lustratiu ja que el seu període 142857 es composa de sis xifres. Si ens fixem en els residus, veiem que són: 10, 20, 30, 40, 50, 60. És a dir, que apareixen a la desena tots els nombres del 1 al 6. Però no pot aparèixer el 7 perquè és el dividend, així que comencen a repetir-se els residus, formant un període. PROPOSICIÓ 2 Tota expressió decimal periòdica té una fracció generatriu Justificació Justifiquem-ho amb un exemple comentat: x 17,3596 anomenem x al nombre periòdic(en aquest cas mixt) que volem obtenir en forma de fracció 100 x 1735,96 Multipliquem a ambdues bandes per 10n on n es el nº de xifres decimals exactes del nombre periòdic.
10000 x 173596,96 Multipliquem a ambdues bandes per 10m on m es el nº de xifres decimals periòdiques 10000 x 100 x 173596,96 100 x Restem a ambdues bandes 10nx 9900 x 173596,96 100 17,3596 9900 x 173596,96 1735,96 9900 x 171861 Substituïm la x de la dreta per el seu valor, per tal de poder operar. Cal prestar especial atenció al fet que d’aquesta manera aconseguim eliminar el decimal periòdic, ja que es contraresta a si mateix. 171861 9900 Aïllem la x
x
x
3 57287 57287 57287 2 2 2 2 2 3 5 11 2 3 5 11 3300 2
RESUM A partir de la observació inicial i de les proposicions 1 i 2 podem concloure que “ser fracció” equival a “ser decimal periòdic”. Aquets “constitueixen” els nombres racionals, que es poden expressar com a fracció o com a decimal periòdic.
10
1.2.Representacio en la recta dels nombres racionals TEOREMA DE TALES 1 2 Els segments definits per dues rectes paral·leles creuades per altres dues rectes qualsevol són proporcionals.
Figura 1: Teorema de Tales 3
Prova Existeixen diverses proves d’aquest teorema. De fet hi ha un llibre, no recordo el títol, on se’n pot trobar una recopilació considerable de proves; unes cent. De totes maneres, a l’enllaç citat a peu de pàgina podeu trobar la proposició i la prova. 4 COROL·LARI 1 Podem construir amb regla i compàs un segment que mesuri un nombre racional qualsevol (tant expressat com a fracció o com a decimal periòdic). Prova L’idea és dibuixar una recta que estigui creuada per altres dos, els segments de les quals formats amb l’eix de les abscisses siguin proporcionals, de manera que podem traslladar a la recta numèrica una fracció qualsevol, com explicaré a continuació. Em centraré en la representació de racionals positius, ja que per simetria els negatius es representen igual.
1
Proposició 5 del Llibre I dels Elements de Euclides Les referències al llibre Els Elements de Euclides son de: http://www.euclides.org/menu/elements_cat/indexeuclides.htm 3 Sempre que no es digui el contrari, les imatges estan fetes per mi en geogebra 4 Per una prova més “moderna” podeu accedir a: http://www.juntadeandalucia.es/averroes/iesarroyo/matematicas/materiales/3eso/numeros/proporcionalidad/teoremadetales/teo remadetales.htm 2
11
Per comoditat expressaré el nombre racional com a fracció mixta amb la part fraccionària a irreductible. Això és c on 0 a b i M .C .D.( a , b ) 1 amb a, b, c N b PAS 1-Dibuixem dues circumferències prenent com a centre el punt C, buscat a la posició de la recta x corresponent al nombre natural c que composa la fracció mixta. El radi de cada una de les circumferències ve donat per la fracció, és a dir, el radi petit, CA , és igual al numerador a, i el radi gran, CB , es igual al denominador b, de la fracció mixta.
Figura 2: Representació de fraccions (1)
PAS 2- Tracem una recta que creua les dues circumferències i parteix del seu centre. Aquesta recta talla la circumferència petita en un punt D i a la circumferència gran en un punt E. Fixem-nos que: a CA CD (1) b CB CE (2)
12
Figura 3: Representació de fraccions (2)
PAS 3-Fixem-nos ara en el punt F ubicat a la posició de la recta x corresponent al nombre natural c+1. D’aquesta manera CF 1 (3). Tracem la recta r que passa per E i F.
Figura 4: Representació de fraccions (3)
13
PAS 4-Tracem des de D, la recta s, paral·lela a la recta r. Aquesta recta talla a la recta x en un punt G. Anem a veure que el punt G esta ubicat en la posició corresponent a la fracció donada a c b Sigui k CG (4) a Només cal veure que k b En efecte, pel teorema de Tales CG CF
CD CE
Ara bé a CA CD (1) b CB CE (2) CF 1 (3) k CG (4)
Per tant
a k a 5 , d’on k QED 1 b b
Figura 5: Representació de fraccions (4)
5
Quod erat demonstrandum, es a dir, com volíem demostrar
14
2.Representació a la recta de les arrels dels polinomis de primer grau Ja estem en condicions de poder anunciar COROL·LARI 2 L’arrel d’una equació polinòmica de 1rgrau amb coeficients enters és construïble amb regla i compàs Prova Les equacions esmentades són de la forma ax b c on a , b , c Z i a 0 cb La solució de les mateixes es x , de manera que x Z a Exemple 3 x 18 13 ; x
13 18 5 2 1 1,6 3 3 3
Figura 6: Representació de la solució d’una equació de primer grau
15
3.Les arrels quadrades En aquest capítol veurem com qualsevol arrel quadrada d’un nombre natural es pot representar geomètricament amb regla i compàs. Per aconseguir-ho, primerament farem un estudi exhaustiu de la construcció de les arrels quadrades amb radicands positius inferiors a cent com a diagonals de rectangles, en una, dues i tres passes. Però observant que aquest mètode no prova la possibilitat de dibuixar a la recta totes les arrels quadrades, buscarem un mitja per verificar que sí que es pot fer, per inducció. Malgrat això, aquest mètode resultarà lent i rudimentari, i tot i millorar-lo, ens trobarem amb la necessitat de estipular un procediment ràpid, deductiu, que ens permet representar qualsevol arrel quadrada en un reduït nombre de passes.
3.1.Estudi de les diagonals de rectangles amb costats naturals TEOREMA DE PITÀGORES 6 En un triangle rectangle de costats a i b i amb hipotenusa c es verifica que c 2 a 2 b 2 Prova Existeixen diverses proves d’aquest teorema. De fet hi ha un llibre, el nom del qual no recordo, on es pot trobar una recopilació considerable, de més de cent proves. De totes maneres també podreu trobar un bon grapat de proves i enllaços a la web del peu de pagina. 7 PRIMERA PART En el quadre següent s’exposen el valor dels quadrats de les diagonals de tots els rectangles possibles amb costats de valors dins els deu primers nombres naturals. Per simetria només cal omplir mig quadre. 12=1 22=4 32=9 42=16 52=25 62=36 72=49 82=64 92=81 102=100
6 7
12=1 22=4 32=9 2 5 10 8 13 18
42=16 17 20 25 32
52=25 26 29 34 41 50
62=36 37 40 45 52 61 72
72=49 50 53 58 65 74 85 98
82=64 65 68 73 80 89 100 113 128
92=81 82 85 90 97 106 117 130 145 162
102=100 101 104 109 116 125 136 149 164 181 200
Proposició 47 del Llibre I dels Elements de Euclides http://roble.pntic.mec.es/jarran2/cabriweb/1triangulos/teoremapitagoras.htm
16
SEGONA PART Ara procedirem a enumerar els resultats obtinguts a la taula, posant-les en una llista ordenada: 2, 5, 8, 10, 13, 17, 18, 20, 25, 26, 29, 32, 34, 37, 40, 41, 45, 50, 52, 53, 58, 61, 65, 68, 72, 73, 74, 80, 82, 85, 89, 90, 97, 98, 100, 101, 104, 106, 109, 113, 116, 117, 125, 128, 130, 136, 145, 149, 162, 164, 181, 200 Observem que 112 12 122 . Això ens separa els resultats de la taula en dos blocs. Fins el 117 podem dir que estan tots els nombres que es descomponen en suma de dos quadrats naturals. A partir de 117 la taula és incomplerta, doncs si ampliéssim les files i columnes apareixerien resultats intermitjos als ja trobats. TERCERA PART
8
11 10 55 nombres i a la nostra llista ordenada només hi apareixen 52. Això es 2 perquè hi ha resultats obtinguts amb operacions diferents. Aquests són:
A la taula hi ha
50 5 2 5 2 7 2 12 65 7 2 4 2 8 2 12 85 7 2 6 2 9 2 2 2 QUARTA PART Un estudi interessant és observar que 25 i 100 són els dos únics quadrats perfectes de la taula. Corresponen a les ternes pitagòriques (en negreta) i es tracta de dos triangles semblants, 5 2 3 2 4 2 i 10 2 6 2 8 2 Per trobar un altre terna pitagòrica hauríem d’haver ampliat les files fins a 12 i haguéssim trobat la terna 13 2 5 2 12 2 , aquesta ja no semblant a les dues anteriors. En el nostre estudi, però, aquests resultats són precisament els menys rellevants doncs l’arrel d’aquests nombres és natural i no necessitem per tant una construcció utilitzant él Teorema de Pitàgores. CINQUENA PART: CONCLUSIÓ Les arrels quadrades dels nombres que apareixen com a resultat d’aquesta taula corresponen, pel Teorema de Pitàgores, a les diagonals de rectangles amb costats naturals (p.e. 113 7 2 8 2 ). Aquestes arrels quadrades admetran una simple construcció amb regla i compàs sobre una recta x donada. Són les arrels quadrades construïbles amb un sol pas.
8
1 2 3 ... n
n(n 1) 2
n XXXX OXXX O O X X n+1 OOOX OOOO
17
Figura 7: Diagonal d’un rectangle amb costats naturals
3.2.Construcció d’arrels quadrades en dues passes. Serà possible obtenir qualsevol arrel utilitzant el teorema de Pitàgores en un màxim de dos passes? PRIMERA PART En la taula anterior les construccions s’assolien amb un sol pas. Partint dels resultats de la taula anterior elaborarem ara una altra taula que ens servirà per obtenir arrels construïbles en dos passes. (1) Aquesta taula n’és el resultat:
18
2 5 8 10 13 17 18 20 25 26 29 32 34 37 40 41 45 50 52 53 58 61 65 68 72 73 74 80 82 85 89 90 97 98
12=1
22=4
32=9
42=16
52=25
62=36
72=49
82=64
92=81
3 6 9 11 14 18 19 21 26 27 30 33 35 38 41 42 46 51 53 54 59 62 66 69 73 74 75 81 83 86 90 91 98 99
6 9 12 14 17 21 22 24 29 30 33 36 38 41 44 45 49 54 56 57 62 65 69 72 76 77 78 84 86 89 93 94 101 102
11 14 17 19 22 26 27 29 34 35 38 41 43 46 49 50 54 59 61 62 67 70 74 77 81 82 83 89 91 94 98 99 106 107
18 21 24 26 29 33 34 36 41 42 45 48 50 53 56 57 61 66 68 69 74 77 81 84 88 89 90 96 98 101 105 106 113 114
27 30 33 35 38 42 43 45 50 51 54 57 59 62 65 66 70 75 77 78 83 86 90 93 97 98 99 105 107 110 114 115 122 123
38 41 44 46 49 53 54 56 61 62 65 68 70 73 76 77 81 86 88 89 94 97 101 104 108 109 110 116 118 121 125 126 133 134
51 54 57 59 62 66 67 69 74 75 78 81 83 86 89 90 94 99 101 102 107 110 114 117 121 122 123 129 131 134 138 139 146 147
66 69 72 74 77 81 82 84 89 90 93 96 98 101 104 105 109 114 116 117 122 125 129 132 136 137 138 144 146 149 153 154 161 162
83 86 89 91 94 98 99 101 106 107 110 113 115 118 121 122 126 131 133 134 139 142 146 149 153 154 155 161 163 166 170 171 178 179
SEGONA PART Ara procedirem a enumerar els resultats inferiors a 100 obtinguts a la taula, posant-les en una llista ordenada, tornant a marcar en negreta els quadrats perfectes que descartarem 3, 6, 9, 11, 12, 14, 17, 18, 19, 21, 22, 24, 26, 27, 29, 30, 33, 34, 35, 36, 38, 41, 42, 43, 44, 45, 46, 48, 49, 50, 51, 53, 54, 56, 57, 59, 61, 62, 65, 66, 67, 68, 69, 70, 72, 73, 74, 75, 76, 77, 78, 81, 82, 83, 84, 86, 88, 89, 90, 91, 93, 94, 96, 97, 98, 99.
19
TERCERA PART Ara intercalarem aquests resultats amb els ja obtinguts amb la primera taula: 2, 3, 5, 6, 8, 9, 10, 11, 12, 13, 14, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 29, 30, 32, 33, 34, 35, 36, 37, 38, 40, 41, 42, 43, 44, 45, 46, 48, 49, 50, 51, 52, 53, 54, 56, 57, 58, 59, 61, 62, 65, 66, 67, 68, 69, 70, 72, 73, 74, 75, 76, 77, 78, 80, 81, 82, 83, 84, 85, 86, 88, 89, 90, 91, 93, 94, 96, 97, 98, 99, 100 QUARTA PART Ara enumerarem els nombres inferiors a 100 els quals no s’han pogut obtenir ni amb una ni amb dues passes: 7, 15, 23, 28, 31, 39, 47, 55, 60, 63, 71, 79, 87, 92, 95 Així, doncs, queda refutada la tesi que conjeturava que es podia obtenir qualsevol arrel en un màxim de dues passes.(1) CINQUENA PART Exemples gràfic de la construcció amb regla i compàs 1a manera: encadenant els triangles: utilitzant la hipotenusa del primer triangle com a costat del segon.
Figura 8: Arrel quadrada en dues passes encadenant triangles
20
2a manera:superposant els triangles: construint sobre la recta la primera arrel i establint-la com a base del triangle que servirà per a construir la segona arrel
Figura 9: Arrel quadrada en dues passes superposant triangles
Aritmèticament estem construint, per exemple, 115 90 2 5 2 3 2 9 2 5 2 3 2 5 2 9 2 És a dir, he trobat els nombres més petits de 100 que són suma de tres quadrats
3.3.Construcció d’arrels quadrades en tres passes. Afegim un nou quadrat a la taula, que correspon a un nou pas en la construcció de l’apartat anterior. Un altre manera equivalent de fer-lo seria posar les sumes de dos quadrats en les files i les sumes de dos quadrats en les columnes. Centrem-nos en trobar construccions en tres passes pels nombres naturals inferiors a cent les arrels dels quals encara no hem pogut construir ni amb una ni amb dues passes.
3 6 9 11 12 14 17 18 19 21
12=1
22=4
32=9
42=16
52=25
62=36
72=49
82=64
92=81
4 7 10 12 13 15 18 19 20 22
7 10 13 15 16 18 21 22 23 25
12 15 18 20 21 23 26 27 28 30
19 22 25 27 28 30 33 34 35 37
28 31 34 36 37 39 42 43 44 46
39 42 45 47 48 50 53 54 55 57
52 55 58 60 61 63 66 67 68 70
67 70 73 75 76 78 81 82 83 85
84 87 90 92 93 95 98 99 100 102
21
22 24 26 27 29 30 33 34 35 36 38 41 42 43 44 45 46 48 49 50 51 53 54 56 57 59 61 62 65 66 67 68 69 70 72 73 74 75 76 77 78 81
23 25 27 28 30 31 34 35 36 37 39 42 43 44 45 46 47 49 50 51 52 54 55 57 58 60 62 63 66 67 68 69 70 71 73 74 75 76 77 78 79 82
26 28 30 31 33 34 37 38 39 40 42 45 46 47 48 49 50 52 53 54 55 57 58 60 61 63 65 66 69 70 71 72 73 74 76 77 78 79 80 81 82 85
31 33 35 36 38 39 42 43 44 45 47 50 51 52 53 54 55 57 58 59 60 62 63 65 66 68 70 71 74 75 76 77 78 79 81 82 83 84 85 86 87 90
38 40 42 43 45 46 49 50 51 52 54 57 58 59 60 61 62 64 65 66 67 69 70 72 73 75 77 78 81 82 83 84 85 86 88 89 90 91 92 93 94 97
47 49 51 52 54 55 58 59 60 61 63 66 67 68 69 70 71 73 74 75 76 78 79 81 82 84 86 87 90 91 92 93 94 95 97 98 99 100 101 102 103 106
58 60 62 63 65 66 69 70 71 72 74 77 78 79 80 81 82 84 85 86 87 89 90 92 93 95 97 98 101 102 103 104 105 106 108 109 110 111 112 113 114 117
71 73 75 76 78 79 82 83 84 85 87 90 91 92 93 94 95 97 98 99 100 102 103 105 106 108 110 111 114 115 116 117 118 119 121 122 123 124 125 126 127 130
86 88 90 91 93 94 97 98 99 100 102 105 106 107 108 109 110 112 113 114 115 117 118 120 121 123 125 126 129 130 131 132 133 134 136 137 138 139 140 141 142 145
103 105 107 108 110 111 114 115 116 117 119 122 123 124 125 126 127 129 130 131 132 134 135 137 138 140 142 143 146 147 148 149 150 151 153 154 155 156 157 158 159 162
22
82 83 84 86 88 89 90 93 94 96 97 98 99
83 84 85 87 89 90 91 94 95 97 98 99 100
86 87 88 90 92 93 94 97 98 100 101 102 103
91 92 93 95 97 98 99 102 103 105 106 107 108
98 99 100 102 104 105 106 109 110 112 113 114 115
107 108 109 111 113 114 115 118 119 121 122 123 124
118 119 120 122 124 125 126 129 130 132 133 134 135
131 132 133 135 137 138 139 142 143 145 146 147 148
146 147 148 150 152 153 154 157 158 160 161 162 163
163 164 165 167 169 170 171 174 175 177 178 179 180
S’han trobat tots! Això prova que tots els nombres naturals inferiors a 100 es poden expressar com la suma de un màxim de quatre quadrats. Per exemple: 71 1 70 1 9 61 1 9 25 36 12 3 2 5 2 6 2 92 4 88 4 16 72 4 16 36 36 2 2 4 2 6 2 6 2 o bé 92 4 23 4 (1 4 9 9) 4 (12 2 2 3 2 3 2 )
D’aquesta manera qualsevol arrel d’un nombre més petit de 100 és construïble utilitzant Pitàgores en un màxim de tres passes. Intuïm que no es pot construir l’arrel de qualsevol nombre en tres passes, però quin és el primer contraexemple, és a dir, el primer nombre que no es pot expressar com a suma de quatre quadrats? Deixo la resposta en mans del lector 9
9
Primera resposta obtinguda d’un entusiasta lector: Abans del 625 hi ha un nombre no expressable com a suma de quatre quadrats usant nombres del 1 al 10 ja que 625 es el resultat de la suma de subconjunts possibles, és a dir,de totes les possibles combinacions de sumes de quatre quadrats:
10 10 10 10 # P ( A ) 625 1 2 3 4 El nombre serà inferior a 625 ja que hi hauran nombres expressables de diverses maneres, com ja va succeí en la primera taula. Aquest mètode també hagués servit per saber el nº de nombres que constaven en la primera taula:
10 10 10! 10! # P ( B ) 10 45 55 1 2 1! (10 1)! 2! (10 2 )!
23
3.4.Mètode inductiu TEOREMA Donat un nombre natural n qualsevol sempre es pot construir amb regle i compàs un segment que mesuri n
Prova: Ho demostrarem per inducció: cas n 1 1 1 que evidentment es construïble amb regla i compàs cas n cas n 1 Suposem que ja tenim construït un segment que mesuri n Anem a utilitzar-lo per construir un segment que mesuri n 1 Construïm un triangle de costats n i 1
Figura 10: Triangle explicatiu pel mètode inductiu de representació de arrels quadrades
Pel teorema de Pitàgores la diagonal d compleix: d 2
n
2
12 n 1
per tant, d n 1 QED
24
Exemples de representacions gràfiques
Figura 11: Representació del mètode inductiu encadenant els triangles
Figura 12: Representació del mètode inductiu superposant els triangles
25
Figura 13: Representació del mètode inductiu per superposició prescindint dels triangles
OBSERVACIÓ Però si bé es pot construir qualsevol arrel, la quantitat de passes o triangles necessaris, mitjançant aquest mètode, es igual al nombre del radicand menys 1, es a dir, si vull representar 1729 , haure de fer 1728 triangles. L’algoritme de construcció que es desprèn de la demostració del teorema és lent i rudimentari. Per obtenir l’arrel quadrada de 1729 no cal fer 1728 circumferències, doncs no és necessari partir del triangle de catets igual a la unitat i tampoc afegir només una unitat a cada pas. Una millora notable és partir de l’arrel quadrada més propera. Per construir el residu prenem com altura del triangle de base
412 el següent quadrat ( 6 2 ) , construint
Per construir el residu restant prenem com altura del triangle de base quadrat ( 3 2 ) , construint Es a dir: 1729 412 1729 412 1729 412 1729 412 1729 412
2
2
412 6 2 3 2
2
2
412 6 2
2
1717 .
1717 el següent
1726 , i així sucessivament...
48 6 2 12 6 2 32 3 6 2 3 2 12 2 6 2 3 2 12 1 2 1
Per tant 1729 412 6 2 3 2 12 12 1 es pot construir en 5 passes
26
Tot i això segueix sent un mètode poc satisfactori, perquè quan més gran es el radicand de l’arrel, més passes necessita, en general, ja que més distància hi ha entre els quadrats successius de nombres grans que de petits, el qual es així perquè es tracta d’un creixement exponencial. Per aquesta raó hi havia la necessitat de trobar un procediment més ràpid i eficient.
3.5.Mètode deductiu SEGON TEOREMA DE TALES 10 Sigui AB el diàmetre d’una circumferència, i C un punt qualsevol de la mateixa exceptuant els punts que conformen el diàmetre; aleshores Cˆ =90º Prova
Figura 14: Triangle explicatiu pel mètode deductiu de representació de arrels quadrades
R OA OC OCA és isòsceles els angles Aˆ Pˆ1 ídem Bˆ Pˆ2 11 Els angles d’un triangle sumen 180º 180 2 ( ) 180 Cˆ 90 i són angles complementaris QED
10 11
Proposició 32 del Llibre III dels Elements de Euclides Proposició 32 del Llibre I dels Elements de Euclides
27
TEOREMA DE L’ALTURA En un triangle rectangle el quadrat de l’altura sobre la hipotenusa és igual al producte de les projeccions dels catets sobre la hipotenusa. Prova
Figura 15: Triangle explicatiu del teorema de l’altura
i són angles complementaris en ACB , en ADC i en BDC Per tant, com ADC i BDC comparteixen dos angles, són triangles semblants. Si els posem en posició de Tales (figura 15), traslladant les mesures del petit dins del gran, veurem més clarament que són triangles semblants. Aleshores h n d’on h 2 m n QED m h COROL·LARI 1 Es pot representar l’arrel quadrada de qualsevol nombre en un sol pas Prova Pel teorema de l’altura, si m=1, aleshores h 2 n 1 n Per tant h n QED
28
Figura 16: Representació pel mètode deductiu de arrels quadrades
Descripció depurada del mètode: 1. Partim de la unitat 1= AD 2. Afegim n= DB
3. Trobem amb regla i compàs el punt mig i fem la circumferència de radi n 1 2
4. Tracem la perpendicular per D i trobem així C 5. DC n x
29
4.Representació a la recta de les arrels dels polinomis de segon grau Ja estem en condicions d’anunciar COROL·LARI 2 L’arrel d’una equació de 2ngrau (amb coeficients enters) i discriminant positiu són construïbles amb regle i compàs, sempre i quan el radicand no sigui inferior a 0. Justificació Considerem ax 2 bx c amb a, b, c Z i b 2 4ac 0 b 2a Combinant el teorema de Tales i el teorema de Pitàgores podem representar un segment que mesuri x. QED
Aleshores les arrels d’aquest polinomi vénen donades per l’expressió x
Exemple 3 x 2 4 x 11 0 ; x
4 4 2 4 ( 3) 11 2 148 2 148 ; representem com a exemple 2 (3) 3 3
Figura 17: Representació de la solució d’una equació de segon grau
30
5.Un cas particular: el nombre d’or() 1 5 2 Com hem vist a l’apartat anterior, podem construir les arrel de polinomis combinant els mètodes utilitzats per construir arrels quadrades i fraccions, com s’aprecia en la figura 16, pel cas 1 5 1 5 , i amb el mateix sistema haguéssim pogut fer x x 2 2
El nombre d’or és la solució de l’equació 12 x 2 x 1 0 , es a dir x
Figura 18: Representació de phi com a solució d’una equació
Però aquest no és l’únic camí per construir , ja que també el trobem com a diagonal d’un pentàgon de costat 1. Com sabem construir qualsevol polígon amb regla i compàs, sabem construir . Aquest fet ho podem demostrar per semblança de triangles. Considerem els triangles BCF i ABD Com és un pentàgon regular, i els triangles que es formen són isòsceles, aleshores AB BC BF b A més, per ser isòsceles també es compleix que CF FD a , AD DB c per tant DB FD FB , c a b (1)
12
trobareu una explicació més acurada d’això al annex B
31
Figura 19: Representació de phi com a diagonal d’un pentàgon
Com que ABD i BCF són triangles semblant, podem establir que
a b , b c
a c b 2 (2) a (a b) b 2 per (1) aleshores a 2 ab b 2 0 Aleshores, si considerem un pentàgon de costat 1,es a dir, b 1 , obtenim a 2 a 1 0 , on 1 5 1 5 ja que a no pot ser perquè aleshores seria més petit que b , hi això es a 2 2 1 5 impossible. Per això, si volguéssim obtenir , hauríem de considerar com unitat la 2 diagonal i no el costat, ja que la proporció ha de ser la mateixa. Ho podem comprovar aritmèticament si considerem c 1 , que és la diagonal del pentàgon. Si partim de (2) a c b 2 (c b) c b 2 per (1) c a b aleshores c 2 bc b 2 0 1 5 1 5 1 5 ja que es un 2 2 2 nombre negatiu, impossible, ja que les distancies no poden ser negatives en valor absolut.
que si c 1 queda 1 b b 2 0 , de manera que b
Curiosament
1 5 1 5 1 5 1 5 de manera que si considerem , 1 2 2 2 2
32
6.Limitacions del mètode grec En aquest últim capítol de la secció ens adonarem que tot i l’eficiència del mètode grec, aquest pateix una greu limitació exemplificada en tres problemes clàssics que van significar la crisi del mètode de la regla i el compàs. Aquesta dificultat per representar nombres algebraics, o nombres reals en general, no serà superada fins molts segles desprès, amb mètodes moderns que tractarem a la secció següent.
6.1.Arrels cúbiques construïbles amb regla i compàs. Un pot pensar erròniament que si les arrels d’índex dos es representen en el pla (2dimensions), les arrels cúbiques es representaran en l’espai(3 dimensions).Ara bé, això no és cert, ja que la fórmula que descriu la diagonal d’un ortoedre és l’arrel quadrada de la suma dels seus costats. Així doncs, per exemple, la diagonal del cub de costat unitat és igual a 3 . Aleshores, doncs, ¿com es pot construir una arrel cúbica amb regla i compàs? La resposta és senzilla: no es pot. De fet, només es poden representar nombres racionals, arrels quadrades, i consegüentment de les arrels dels polinomis de segon grau, com determina Galois(1811-1832), geni creador d’una teoria revolucionària. 13
6.2.La solució de les equacions de 3r i 4rt grau 14 Des de els temps babilònics (2.500 a.C.) ja es coneixia la resolució de les equacions de 2n grau, però no va ser fins 4 mil·lennis més tard que començaren els seriosos avenços en la resolució de les equacions de 3r i 4rt grau, l’autoria de les quals es controvertida i va ser molt polèmica. Scipione del Ferro, al 1515, va resoldre un dels tres casos de l’equació de 3rgrau, ja que com no s’utilitzaven els nombres negatius (Descartes els anomena nombres falsos), s’havia reestructurat en tres casos generals que són x 3 px q , x 3 q px , x 3 px q (el terme en x2 sempre es pot eliminar amb una substitució adequada). Ferro va confiar el secret de la resolució del cas x 3 px q a un alumne seu, Fiore, que va desafiar a Tartaglia, professor universitari que coneixia el mètode per resoldre els tres casos(l’autoria del qual tampoc és segura), raó per la qual va guanyar no només el repte, sinó també molta fama. Aleshores Cardano, interessat en la resolució d’aquestes equacions, li va demanar que les hi expliques a canvi d’una recomanació, i Tartaglia finalment cedeix i li envia l’explicació (en forma de poema) però que li guardi el secret. Però Cardano, amb l’excusa que havia trobat altres fonts més antigues a Tartaglia, va incomplir la promesa. Aquestes fonts són els documents de Scipione del Ferro on s’explicava la resolució de l’equació de 3r grau amb el mateix mètode de Tartaglia, però només d’un cas. De totes maneres, a partir del mètode de Tartaglia, Cardano i el seu molt ben dotat alumne Ferrari milloren i amplien els seus coneixement sobre aquesta temàtica, sent capaços de resoldre qualsevol equació en la seva forma general x 3 px 2 qx r Finalment Cardano publica, en la millor obra fins l’època sobre el tema de l’àlgebra, Ars Magna(1545), on tracta no només l’equació de 3r grau, sinó també la de 4rt grau, gràcies al fet que Ferrari trobés un mètode per transformar-les en equacions de 3r grau. Per si això fos poc 13 14
Continuar en el punt 6.3. Les trobareu explícitament a l’annex F
33
per a l’època, també parla dels nombres imaginaris que tenen algunes equacions com a solució. En realitat, més que fórmules, van trobar mètodes de resolució que es poden resumir en les seves formules, però que no són recomanables,especialment en el cas de les equacions de 4rt grau, ja que és tan complexa que, si no ho fa un ordinador, resulta molt més fàcil fer el procediment en diverses passes. En l'annex es troben les fórmules i procediments. 15
6.3.L’impossibilitat d’expressar la solució general d’una equació de 5e grau o superior amb radicals El teorema de Abel-Ruffini es el resultat de les investigacions de Ruffini entre 1799-1813 per a intentar demostrar que l’equació de grau cinc és irresoluble, la qual cosa va corroborar Abel l'any 1824. Finalment, i en un període de 1824-1829, va formular definitivament que: No es poden resoldre amb radicals les equacions polinòmiques generals de grau igual o superior a cinc, aplicant únicament un nombre finit de sumes,restes,multiplicacions, divisions y extraccions d'arrels als coeficients de l’equació. Això no vol dir que aquestes equacions no tinguin solució, sinó que els casos generals a n x n a n 1 x n 1 ...a1 x a 0 0 no es poden solucionar mitjançant una fórmula, cosa que si que es pot fer amb les equacions de grau inferior a 5 o casos específics de certes equacions de grau superior a 5, com demostra Galois que amb la seva teoria (1828-1831) no només demostra les paraules d’Abel amb més claredat i detall (fent especial èmfasi en el perquè si en els de grau inferior a 5 i no als superiors o iguals a 5), sinó que va un pas més endavant i determina quines són les condicions de resolució d’equacions polinòmiques amb radicals, i obra tota una nova branca de les matemàtiques que uneix la teoria de grups amb la de cossos. Parlem una mica d’ell: geni precoç i de gran sensibilitat política, va viure frenèticament fent front a tot tipus d’adversitats, des de la incomprensió fins a la repressió passant pel pur atzar i a vegades per culpa del seu fort caràcter. Envià a la acadèmia de ciències tres memòries durant la seva vida on s’aprecià l’evolució de la seva teoria, tot i que sempre eren rebutjades. Per diverses circumstancies no va poder finalitzar la seva teoria que, escrita de manera concisa, no va ser compresa fins més endavant. Deixant de banda la seva vida personal 16 ,als 17 anys comença a treballar en la teoria de equacions per tal de trobar quins criteris determinen la solubilitat de les equacions utilitzant els radicals mitjançant formules. El mètode que segueix per resoldre aquest antic problema dona lloc a la teoria de grups. En l’evolució d’aquesta teoria en el món científic, trobem la primer menció desprès de Galois per part de Liouville(1846) i Tannery(1908), que són els primers en entendre’l i els encarregats de donar a conèixer i interpretar els seus escrits, on ja s’albirava el concepte de cos que desenvoluparien Rienman i Dedekind. És cert que en treballs anteriors al de Galois o de coetanis seus ja preveien aquests conceptes, però va ser Galois qui estructurà clara i genèricament aquestes nocions
15
trobareu més informació sobre el conflicte de l’autoria d’aquests descobriments a: http://www.portalplanetasedna.com.ar/disputas_matematicas.htm http://gaussianos.com/la-semana-de-la-cubica-la-historia-de-su-resolucion/ 16
S’exposa amb detall a: http://www.ugr.es/~eaznar/galois.htm http://divulgamat.ehu.es/weborriak/historia/MateOspetsuak/Galois.asp http://web.jet.es/gemart/galois.htm#v
34
A més a més, el que ens interessa més d'ell és que determina què es pot construir amb regla i compàs, i què no, des de la impossibilitat d’alguns polígons regulars fins l’afirmació que els tres grans problemes de la geometria clàssica són construccions impossibles, ja que els nombres necessaris per la seva resolució no són construïbles. 17 Pel que fa als segments, podem dir que es pot construir tot aquell nombre que es pugui expressar com a arrel d’un polinomi irreductible de grau potencia de dos. Pierre Wantzel prova mitjançant la teoria de Galois per extensions algebraiques de cossos, que alguns polígons no són construïbles amb regla i compàs. Tot i això, va ser Gauss qui trobar una expressió analítica que determines per quins casos els polígons es podien construir amb regla i compàs en funció del nombre de costats. Així doncs, pel que fa als polígons, són construïbles sempre i quan es pugui dibuixar l’angle 2 on n es el nombre de costats del polígon. Observem que aquest angle és el format per n les rectes que uneixen el centre amb dos vèrtex consecutius. Aquests resultats ens impedeixen la representació exacta mitjançant regla i compàs de moltíssim nombres, de manera que necessitem de nous mètodes que ens permetin la representació de qualsevol arrel de qualsevol polinomi.
17
En “La imposibilidad o no de algunas construcciones con regla y compás” de Irene Peral Walias i Maria Asunción Sánchez Torres de la U.A.M. es presenta un treball lleugerament similar al meu, però que es fonamenta en la teoria de Galois per respondre a la constructivitat o no de segments com els que impliquen els tres problemes clàssics de la geometria grega o certs polígons. A més s’expliquen les construccions que hem donat per obvies en la introducció d'aquesta primera secció. El podeu descarregar a: http://www.uam.es/otros/fcmatematicas/Trabajos/Bartolome/Trabajo.doc.
35
II Construccions modernes, recurrents o iteratives mitjançant mètodes numèrics L’objectiu d’aquesta secció és, deixant de banda el mètode clàssic de les construccions geomètriques, endinsar-nos en les representacions modernes mitjançant mètodes numèrics. Com a introducció tornarem a dibuixar els radicals, ara amb el nou mètode. Però aquest nou mètode ens permetrà també construir l’arrel de qualsevol polinomi, aproximant tant com vulguem, anant més enllà de les limitacions imposades per Galois. A més de representar a la recta numèrica els nombres algebraics (nombres expressables com a arrels de polinomis), tractarem la construcció de dos nombres transcendentals (nombres no expressables com a arrels de polinomis) cèlebres mitjançant sèries numèriques: i e . Amb les construccions següents veurem que quantes més vegades reiterem un procediment, més precisa serà l’aproximació, que convergeix al nombre que busquem en la seva iteració última. El seu apropament el podem comparar amb l’espiral arquimediana. Així doncs, al finalitzar la secció serem capaços de representar qualsevol nombre real, ja que en aquesta secció aprenem a representar tots els irracionals(algebraics i transcendents) i en la secció anterior els racionals.
36
1.Fraccions continues En aquest primer capítol veurem com podem aprofitar una identitat notable per establir un algoritme reiteratiu que ens aproximi el valor numèric d’una arrel quadrada.
1.1.L’arrel de 2 OBSERVACIÓ observem que 2
( 2 1) ( 2 1) * 2 12 2 1 1
* ( a b) ( a b) a 2 b 2 Així tenim
2 1
1 2 1
d’on 2 1
1 1 2
Observem que a l’expressió algebraica obtinguda cal utilitzar el mateix nombre buscat per calcular-lo, i per tant cal utilitzar la mateixa expressió algebraica. Si substituïm a l’expressió 1 algebraica 2 1 aquesta mateixa expressió a la 2 del denominador un primer cop, 1 2 1 1 obtenim: 2 1 1 1 1 11 2 1 2 1 2 1 1 Si substituïm un segon cop obtenim: 2 1 1 1 1 2 2 1 1 11 2 1 2 1 2 1 Si substituïm un tercer cop obtenim: 2 1 1 2 1 2 1 2 1 2 Observem l’estructura simètrica de l’expressió algèbrica , que es repeteix cíclicament amb cada 1 substitució: 2 1 1 2 1 2 1 2 2 ... Aquest resultat s’anomena fracció contínua de 2 ,quant més cops es substitueixi, més precís serà el nombre trobat a l’arrel buscada.
37
1.2.Qualsevol arrel quadrada Multiplicant pel conjugat i aïllant podem obtenir qualsevol arrel quadrada. ( a 1) ( a 1) a 1
a 1 a 1
a
2
12 a 1 , ja que és un producte notable
a 1
a 1 a 1
, aïllem
a
Ara ja podem substituir l’expressió a , en la a de l’expressió a 1 a 1 a 1 a 1 1 1 1 a 1 a 1 a 1 1 1 1 1 1 a 1 a 1 1 1 1 a 1 1
a 1 a 1 a 1 a 1
.... 1 1
a 1
1
Per fer la seva representació gràfica no caldria fer res més que representar la fracció obtinguda en la reiteració enèsima. En el cas de phi, utilitzant aquest mètode, seria: ( 5 1) ( 5 1) 4 , ja que és un producte notable 5 1
4 5 1
5 1
4 5 1
, aïllem
5
Amb l’expressió obtinguda podem substituir-la dins seu indefinidament, 5 1
4 5 1
1 1
4 4 5 1
1 1
1 1
4 4 4 5 1
1 1 1
1 1 1
4 4 4 4 5 1
=... 1 1 1
però també podem aprofitar la definició característica de phi per fer el següent: 5 1 11
4 5 1
5 1 2
4 5 1
.sumem 1 als dos costats
5 1 2 22 2 , dividim entre dos als dos costats, de manera que 1 2 2 2 ( 5 1) 5 1
obtenim al primer terme el nombre i al segon terme 1 1 1 1 1 1 , de manera que mitjançant substitució infinita de phi, ens anem
aproximant cada vegada més a phi.
38
1.3.El cas de Sabem que en l’expressió x 2 x 1 0 , x , de tal manera que podem dir que 2 1 0 , 1 1 2 1; 1 ; 1 , on si substituïm successivament phi, ens ; anem apropant al mateix com demostren aquests exemples: 1 1 1 2 25 5 1 1 1 1.6 a) 1 1 1 3 3 3 3 1 1 1 2 2 1 1 1 1 3 53 8 1 1 1.6 b) 1 1 5 5 5 5 1 1 3 1 1 1 1 1 1 5 8 5 13 1 1 1.625 c) 1 1 8 8 8 8 1 1 5 1 1 1 1 1 1
1.4.La fracció contínua com a mètode numèric La expressió d’una fracció d’un nombre com a fracció contínua ens dóna una successió que 1 1 1 s’apropa a aquest nombre. Per exemple, 2 1 2 ;2 ;2 ;... 2 ans ans
39
1.5.Vicissituds del mètode La clau del mètode rau en el fet que multiplicant pel conjugat del polinomi obtenim un nombre racional, de manera que podem establir relacions reiteratives, ja que l’arrel es troba a les dues bandes. Però si tinguéssim arrels de grau major a 2, no es pot assegurar la viabilitat del mètode, que ens resultaria massa complicat amb múltiples punts de reiteració, el qual s’anirien doblant en cada repetició. Per exemple:
(3 2 1) (3 2 1) 3 2 2 1 ; 3 2 1
3
22 1
3
( 2 1) ( 2 1) 2 1 ; 2 1 3
2
3
3
2
3
2 1 3
2
3
22 1 2 1
1
Aquesta seria la forma de la primera reiteració:
3
2 1 1
3 3 3 3
22 1 2 1 22 1 2 1
1 1
Ara hi hauria les quatre arrels, desprès en serien setze,etc., de manera que resulta massa complex. Caldria tenir en compte que, en aquest cas, augmenta exponencialment amb base dos, però quant major sigui l’índex de l’arrel, en general, els punts de reiteració augmentaran sempre que no siguin múltiples dels successius índex del radicand desprès de fer la multiplicació amb el seu conjugat.
40
2. Mètode de bisecció És un dels mètodes numèrics pròpiament dits més senzills que permet la construcció d’arrels de polinomis de qualsevol grau, i per tant la representació de qualsevol algebraic. Aquest mètode es basa en el teorema de Bolzano, que garanteix que entre dos imatges de signe contrari d’una funció, si es continua en aquest interval, tallarà la recta. Amb aquest coneixement podrem establir un procediment per apropar-nos al punt on talla la recta.
2.1.El teorema de Bolzano El mètode de la bisecció està íntimament relacionada amb el teorema de Bolzano, per això explicarem primerament aquest concepte. TEOREMA [ a, b] R x f ( x) f es continua en [a, b]
Si f ( a ) f (b) 0 c [a, b] on f (c) 0 La demostració que va fer Bolzano del seu teorema dóna peu al mètode numèric de la bisecció
2.2.Descripció de la prova de Bolzano Estudiem el cas on f ( a ) 0 i f (b) 0
d1
ab 2
f ( d 1 ) 0 , aleshores ja hem obtingut l’arrel de la funció, c d 1
a d1 2 d b d2 1 2
f ( d 1 ) 0 , en aquest cas per tant com a valor aproximatiu de l’arrel serà: d 2
f ( d 1 ) 0 , en aquest cas per tant com a valor aproximatiu de l’arrel serà:
De manera recurrent trobarem d 3 , d 4 ,... Bolzano demostra que aquesta successió s’apropa a c
41
2.3.Aplicació del mètode al cas particular de
3
2
Primerament necessitem obtenir la funció amb l’arrel que volem representar. Per fer-ho considerem que la incògnita x és igual al nombre que volem representar, x 3 2 , d’on tenim que x ha de ser arrel de f ( x ) x 3 2 Com f (1) 3 0 i f ( 2) 6 0 , pel teorema de Bolzano sabem que hi ha una arrel entre 1 i 2. Ara apliquem l’algoritme d’aproximació: ab 63 1,5 2 2 i per tant f ( d 1 ) f 1,5 1,5 3 2 1,375 0 d1
d1 b 1,5 1 1,25 2 2 i per tant f ( d 2 ) f 1, 25 1, 25 3 2 0,046 0
Prenem doncs, d 2
Prenem doncs, d 3
d1 d 2 1,5 1,25 1,375 2 2
i per tant f ( d 3 ) f 1,375 1,375 3 2 0,5996 0 Prenem doncs, d 4
d 3 d 2 1,375 1,25 1,3125 2 2
i per tant f ( d 4 ) f 1,3125 1,3125 3 2 0,261 0
d 4 d 2 1,3125 1,25 1,28125 2 2 i per tant f ( d 5 ) f 1,28125 1,28125 3 2 0,1033 0
Prenem doncs, d 5
Prenem doncs, d 6
d 5 d 2 1,28125 1,25 1,265625 2 2
i per tant f ( d 6 ) f 1,265625 1, 265625 3 2 0,027 0 Prenem doncs, d 7
d 6 d 2 1,265625 1,25 1,2578125 2 2
i per tant f ( d 7 ) f 1,2578125 1,2578125 3 2 0,01 0 Prenem doncs, d 8
d 6 d 7 1,265625 1,2578125 1,26171875 2 2
i per tant f ( d 8 ) f 1,26171875 1,26171875 3 2 0.00857 0
Les xifres subratllades dels resultats són les xifres que corresponen a la solució. Com podem veure és un mètode lent que necessita de moltes reiteracions.
42
2.4.Representació gràfica Podem fer dos coses: representar el successius punts d obtinguts a la funció (mera interpretació dels resultats), o fer els punts mitjos successius entre a i b, que és el que significa geomètricament el mètode de la bisecció
Figura 20: Representació gràfica del mètode de la bisecció
De manera més depurada:
Figura 21: Representació gràfica del mètode de la bisecció depurat
43
2.5.Algoritme computacional Partim de f ( a ) f (b ) 0 ab (1) Sigui c 2 (2) Si f (b) f (c ) 0 , prendre a = c, per el contrari fer b = c. (3) tornar a (1) Aquestes instruccions expressen l’idea general del mètode, on caldria afegir el número de reiteracions que volem fer. Ara mostrem un exemple amb la calculadora wiris:
on i en 1..50 és el nombre de reiteracions a fer. Quan més reiteracions es facin, més precís serà el nombre, en aquest cas c és igual a 1.2599210498959…, on totes les xifres esmentades són exactes. Les 50 fraccions obtingudes les podrem representar per Tales. Tenim així una aproximació geomètrica a la solució.
2.6.Vicissituds del mètode de la bisecció La seva lentitud. Per això mostrem a l’annex G i H altres mètodes numèrics que serveixen per trobar fraccions que s’aproximin a l’arrel d’un polinomi i que milloren la velocitat de convergència del mètode de la bisecció. Aquests són el mètode de la secant i el mètode de Newton.
44
3.Construcció de nombres transcendentals Aquests nombres són aquells que no es poden expressar com a solució de cap equació polinòmica amb coeficients enters, és a dir, que no existeix cap expressió exacta ni relació algebraica que el defineixi, la qual cosa es tradueix en la impossibilitat de representar-ho amb mètodes exactes per regla i compàs o utilitzant el mètode de la bisecció ja que cap funció els defineix. La seva transcendència els fa tan especials, que només amb sèries numèriques podem obtenir el valor que fixarà el seu punt a la recta geomètrica.
3.1.El nombre pi Obtenció tradicional de Arquimedes i la successió de perímetres 19 Arquimedes, al segle III a.C., va idear un mètode eficaç per trobar el nombre i que s’ha utilitzat durant molts segles fins ser substituït per diferents algoritmes. Aquest consisteix a dibuixar una circumferència i en aquesta inscriure(dibuixar per dins) i circumscriure (dibuixar per fora) polígons del mateix nombre de costats, de manera que el seus perímetres respectius siguin menors i majors respectivament (de manera que la seva mitjana ens aproxima més al perímetre de la circumferència) i tendeixin al perímetre de la circumferència quan el nombre de costats dels polígons tendeix a infinit. Tenint en compte que el diàmetre de la circumferència és un nombre conegut, i el perímetre dels respectius polígons és la suma dels seus costats, P d per calcular el nombre podem aplicar El procediment és senzill: 1-Dibuixem un polígon de n costats. 2-Fem una circumferència que passi pels punts del polígon, inscrivint el polígon dins de la circumferència. 3-Dibuixem els punts mitjos de cada costat. 4-Traçem la perpendicular de cada costat en el seu respectiu punt mig per trobar els punts de tall amb la circumferència. 5-Tracem en els punts de tall amb la circumferència paral·leles dels respectius costats. 6-Els punts d’intersecció entre les successives paral·leles són els vèrtex del nou polígon, el circumscrit. Les següents representacions són de polígons de 3,6,12 i 24 costats respectivament:
18
Trobareu més informació al annex I utilitzant el mètode d’exhaustió d’Eudoxo, matemàtic del segle V a.C. Es tracta d’una de les primeres aplicacions matemàtiques del concepte d’infinit i constitueix la versió grega del càlcul integral 19
45
Figura 22: Pi,mètode d’exhaustió: triangle (1)
Figura 23: Pi,mètode d’exhaustió: triangle (2)
Figura 24: Pi,mètode d’exhaustió: hexàgon (1)
Figura 25: Pi,mètode d’exhaustió: hexàgon (2)
Figura 26: Pi,mètode d’exhaustió: dodecàgon (1)
Figura 28: Pi,mètode d’exhaustió: 24-àgono (1)
Figura 27: Pi,mètode d’exhaustió: dodecàgon (2)
Figura 29: Pi,mètode d’exhaustió: 24-àgono (2)
46
Figura 30: Pi,mètode d’exhaustió: 24-àgono (3)
47
Obtenció moderna de Algoritmes 20 A partir del segle XVII, els matemàtics van començar a rellevar els mètodes geomètrics d’Arquimedes per series numèriques, influenciats, segurament, pels conceptes de càlcul
1665, Isaac Newton 1 x3 1 3 x5 1 3 5 x 7 1 3 5 7 x9 ... 2 3 2 4 5 2 4 6 7 2 4 6 8 9 1 1 on per x arcsin 2 2 6 arcsin( x ) x
1671,Sèrie de Gregory x3 x5 x7 x9 ... 3 5 7 9 1 1 arcsin on per x 3 3 6 arctan( x ) x
1706, fórmula de Machin
1 1 4 arctan arctan 4 5 239
1655, Producte de Wallis
4n 2 2 2 4 4 6 6 8 8 11 ... 2 1 3 3 5 5 7 7 9 9 2 n 1 4 n 1
1682, Sèrie de Leibniz
(1) n 1 1 1 1 1 1 1 ... 3 5 7 9 11 13 4 n 0 2n 1
Sèries d’Euler
2 n n!2 1 1 2 1 2 3 1 2 3 4 1 ... 3 35 357 357 9 2 n 0 ( 2 n 1)!
4 1 1 1 1 1 1 1 ... 4 90 14 2 4 3 4 4 4 5 4 6 4 n 1 n
( 4)
1735, (resolució al problema de Basilea) 2 1 1 1 1 1 1 1 (2) 2 2 2 2 2 2 2 ... 6 1 2 3 4 5 6 n 1 n 20
trobareu més algoritmes a: http://mathworld.wolfram.com/PiFormulas.html
48
Fracció de Brouncker
4
1 3 5 7 9
12 22 32 42 52 11
62 72 13 15 ...
Alguns exemples amb la Wiris són:
Obtenció senzilla de manipulant la realitat Si P 2r , i r
1 1 aleshores P 2r 2 2 2
Així doncs, si tallem qualsevol objecte circular que tingui com a radi 0,5cm o 0,5dm o 0,5m,... i mesurem la llargada de l’objecte, estarem mesurant el perímetre que és igual a
49
3.2.El nombre e
21
Definició Euler enuncià el nombre e com 22 :
1 e 1 H
H
on H x on x R , es a dir, on H és un nombre infinit
o el que és el mateix en termes de límits
1 n 1 e lim 1 lim n n n n n
n
Algoritme immediat a la definició n
1 Si desenvolupem el binomi de Newton en 1 obtenim: n 0 1 2 n 1 n n 0 1 n 1 1 n n 1 n n 1 1 n n 2 1 1 1 1 1 1 ... n 0 1 2 1 n n n n n n Si tenim en compte que 1 elevat a qualsevol nombre és 1, i que el producte de 1 entre qualsevol nombre és ell mateix, exceptuant el 0, el qual no apareix en el desenvolupament del binomi de Newton, podem ometre’l de tota l’equació, de manera que obtenim: n 1 2 n 1 n n 1 n 1 n 1 n 1 1 1 1 ... n 1 2 1 n n n n n n
n n! podem substituir en la sèrie com: m m! ( n m )!
Si tenim en compte que n
2
n! n! 1 1 1 ... 1 1 n 1!( n 1)! n 2!( n 2 )! n n! 1 ... ( n 1)! ( n ( n 1))! n
n 1
n! 1 n!( n n )! n
n
que es redueix a
21 22
Trobareu més informació al annex J Publicat en 1736 en l’obra Mechanica del matemàtic suïs Leonahard Euler
50
n ( n 1)! 1 n ( n 1) ( n 2 )! 1 n ( n 1)! 1 1 1 2 ... n 1 n 1 1 n 1!( n 1)! n 2!( n 2 )! ( n 1)! n n n n
1 1 n 1 n ( n 1) 1 n 2 ... n 1 n 1 1 1! n 2! n n n n n
1 1 ( n 1) 1 1 n ... n 1 1 n2 1! 2! n n nn n n
1 1 n 1 1 1 ... n 2 n 1 1 n 1! n 2! n n n
n
1 1 n 1 1 1 1 1 ... n 2 n n 1! n 2! n 2! n n n
1 1 1 1 1 1 1 1 ... n 2 n n 1! 2! n 2! n n 1 1 1 1 1 1 0 on n 0 , de manera que 2! 2! n 2! 2! 2! Així doncs, podem generalitzar que n
1 1 1 1 1 e lim 1 1 ... 1! 2! 3! n n 0 n! n on, recordem, n! 1 2 3 4 ... n
Altres algoritmes
n2 e n 1 2 n!
n3 n 1 5 n!
e
n4 e n 1 15 n!
n5 e n 1 52 n!
n6 n 1 203 n!
e
51
nn ( n 1) ( n 1) e lim ( n 1) ( n 1) ( n 2 ) ( n 2 ) on n 2 n Mitjançant fraccions continues existeixen les següents igualtats:
2
e 2
3
2
4
3
5
5
6
6
7
7
8 9 ... Que es pot normalitzar com: 8
1
e 2
1
1
1
2
1
1
1
1
1
4
1
1
1 6 ... on s’aprecia la regularitat 1,2,1, 1,4,1, 1,6,1...1,2n,1 1
52
4.La recta real Per finalitzar aquesta secció, recordem que ara no solament estem en condicions de representar tot nombre racional per Tales i arrels quadrades per Pitàgores de manera exacta, sinó que podem aproximar tant com vulguem qualsevol arrel de qualsevol polinomi, a més de construir també, aproximadament, els nombres transcendents e i . Fins ara, doncs, hem representat a la recta geomètrica tots els nombres reals possibles, que, si tenim en compte que els nombres reals són un cos complet 23 , podríem pensar que hem omplert completament la recta amb tots els punts possibles, com afirma l’axioma de CantorDedekind.
Figura 31: Posició a la recta real de l’aproximació a la mil·lèsima d’alguns nombres reals
Però tot i això, i contràriament al que es pugui pensar, encara queden nombres per descobrir.
23
Annex M
53
III Construccions contemporànies, amb nombres hiperreals En aquesta secció examinarem la concepció de Cantor de la recta numèrica, que és la concepció habitual, on s’estableix que la recta està formada pel conjunt dels nombres reals. Segons això podríem dir que ja podem representar tots els punts de la nostra recta geomètrica, per tal com hem après a representar tots els reals a les seccions anteriors. Però no satisfets amb aquesta resposta, ens hem tornat a preguntar si hi ha quelcom més a la recta geomètrica, ara que és totalment completa i no sembla ser porosa. Desprès d’haver investigant més profundament en aquests temes, hem trobat uns nous nombres que neguen aquest axioma i la propietat arquimediana per tal com estan constituïts per nombres infinits e infinitèsims. Estem parlant dels hiperreals, un nou cos poc conegut per la majoria dels matemàtics tot i que sovint l’utilitzen de manera implícita en la anotació del càlcul integral. Aquests nombres són un model matemàtic creat per lògics amb ultraproductes i que configura un nou mètode d’ anàlisi, l’anomenat: Anàlisi No Estàndard Aquests nombres van ser la primera resposta als problemes que resolen avui el càlcul diferencial i el càlcul integral. El primer en utilitzar aquests mètodes va ser Leibniz, en contra del complex mètode de fluxions de Newton, però no va ser fins el 1966 que Abraham Robinson formalitzés i fonamentés aquests mètodes i nombres.
54
1.La teoria de Cantor 24 : tipus d’infinits 25 Cantor va ser el geni creador de la teoria de conjunts de manera similar a com Galois confeccionà la teoria de grups. Ambos van patir el rebuig de la comunitat científica i ambos van configurar una teoria completament nova pràcticament des de zero. 26 La seva teoria li va fer afirmar que tot punt a la recta representa un nombre real. Si fos així, podríem dir que estem en condicions de representar qualsevol nombre per tal com em après a representar tots els nombres reals en les seccions anteriors. Vegem, doncs, quins són els seus arguments.
1.1.Conjunts numerables La paradoxa de Galileu: bijecció 27 entre parells i naturals Si tenim un cub amb boles vermelles i blaves, per comparar la quantitat de boles de cada color podem emparellar-les. De ser possible emparellar totes les boles de diferent color, aleshores els conjunts són equivalents. Si no és així, les boles sobrants en el cub pertanyen al conjunt major. Per comparar la grandària de dos conjunts infinits també es poden emparellar els elements del primer conjunt amb els dels segon Així doncs, considerem el conjunt de tots els nombres naturals i el conjunt de tots els nombres naturals parells. A cada nombre natural li correspon biunívocament un nombre natural parell que és el doble que ell, és a dir, es poden numerar tots els parells. Naturals parells 2 1 4 2 6 3 8 4 10 5 .... ... 2n n Aquesta correspondència biunívoca entre els elements dels dos conjunts prova que hi ha tants nombres naturals com parells . La resposta de Cantor Cantor considera que el que Galileu qualifica de paradoxal es una propietat característica dels conjunts infinits. Aquest procediment per comparar la grandària de diferents conjunts, Cantor l’utilitza per definir equivalències entre conjunts infinits: Dos conjunts són equivalents si es pot establir una correspondència biunívoca,es a dir, una relació de bijecció (com la anterior). Si dos conjunts infinits són equivalents significa que tenen el mateix tipus d’infinit Ell demostra que es poden enumerar(posar en bijecció amb els nombres naturals) totes les fraccions (nombres enters) mitjançant un algoritme de la forma següent:
24
Més informació sobre Cantor a: http://www.cayocesarcaligula.com.ar/Textos/Cantor/georg_cantor_y_la_teoria_de_transfinitos.htm 25 Trobareu més informació amb caràcter més formal a “sobre la aritmètica transfinita de Cantor” de Antonio León Sánchez, que podeu llegir a http://www.interciencia.es/PDF/Mathematics/SobreLaAritmeticaTransfinitaDeCantor.pdf 26 Tot i que aquesta és la concepció general, en Labyrinth of Thought. A history of Set Theory and its Role in Modern Mathematics. de Jose Ferreirós s’intenta trobar els precedents, tot i que es reconeix que es Cantor qui generalitza aquests conceptes, es dóna la importància que es mereixen tot un seguit de altres matemàtics que hi contribuïren. Podeu descarrega un article que comenta i resumeix l’obra a http://divulgamat.ehu.es/weborriak/historia/Gaceta/Historia43.pdf 27 Consulteu l’annex L
55
Figura 32: Enumeració dels enters 28
En aquest infinit que em trobat tant en el conjunt de nombres parells, com de nombres naturals ó 0 i de nombres enters l’anomenat aleph zero i s’escriu Els nombres alephs, també s’anomenen cardinals. Cantor demostra que també es podien enumerar els racionals i tots els nombres algèbrics (arrels d’un polinomi)
1.2.Conjunts no numerables: els nombres reals Quan Cantor intenta enumerar els nombres reals, prova que és impossible. l’argument diagonal Primer va determinar que en un conjunt compres entre 0 i 1, no es podien enumerar tots els possibles nombres reals. Per facilitar la demostració, ho va fer en codi binari(el qual no afecta a la validesa de la prova). Així doncs, ell va demostrar que independentment de l'ordenació que pugui tenir la llista de nombres decimals il·limitats, sempre es pot construir un de nou que no estigui contingut en la llista. Per construir aquest número dibuixem una diagonal que passi pel primer dígit decimal del primer número, pel segon dígit decimal del segon número,.... el nombre format per els dígits contraris (canviar el 0 per el 1 i el 1 per el 0) als traçats per la diagonal, no pertany a la llista ja que difereix almenys en un dígit en tots els nombres
28
imatge extreta de http://www.cayocesarcaligula.com.ar/Textos/Cantor/georg_cantor_y_la_teoria_de_transfinitos.htm
56
0.00000000... 0.10000000... 0.01000000... 0.11000000... 0.00100000... 0.10100000... 0.01100000... 0.11100000... … Si tenim en compte que tenim dues possibilitats per dígit (0 ó 1), i que hi ha infinits dígits, podem concloure que en el conjunt (0,1) hi ha
elements.
Definim aquest segment, de moment, com:
(0,1) x R , 0 x 1
bijecció entre el segment i la recta Si traiem un punt al segment unitat i el dobleguem, podem obtenir el segment (0,1) en forma de cercle, ja que els extrems es toquen en el punt tret. Aquest punt que hem tret representa l’infinit, i es el punt de projecció de totes les rectes secants que creuen el cercle per arribar a un punt de la recta. Les infinites rectes secants que creuen el cercle van a parar als infinits punts de la recta.
Figura 33: Bijecció entre la circumferència i la recta numèrica
bijecció entre la recta i la superfície Altrament Peano demostra que es pot construir una corba que passa per tots els punts d’un quadrat,és a dir, que es poden bijectar superfície i recta.
[0,1] [0,1] [0,1] x a ( x), b( x )
57
Figura 34: Bijecció de Peano entre la recta i la superfície 29
1.3.Jerarquia d’infinits: la hipòtesi del continu La hipòtesi del continu entén que entre Així doncs, podem establir que així successivament, es a dir, que del continu.
i
no hi ha cap altre cardinal entremig.
= . De la mateixa manera podríem establir que 2 = i n n 1 , el qual es coneix com la hipòtesis general
2
L’axioma d’elecció ens diu que: donada una col·lecció de conjunts, on cada un consti almenys d’un element, es pot agafar exactament un element de cada conjunt y formar amb ells un nou conjunt, encara que hi hagi una col·lecció infinita de conjunts. Aplicant l’axioma d’elecció podem establir una escala d’infinits cardinals. Altrament també podem considerar espais de n dimensions ( ) bijectables amb aquests conjunts. Aquesta hipòtesi pot ser acceptada o no, és un axioma independent. Es poden fer matemàtiques amb ella 30 i sense ella 31 . En general, és una hipòtesi poc utilitzada. De tota manera, aprofundir en aquest aspecte de la teoria de Cantor no correspon al nostre estudi..
29
imatge extreta de http://www.cayocesarcaligula.com.ar/Textos/Cantor/georg_cantor_y_la_teoria_de_transfinitos.htm Godel,1938 31 Cohen,1963 30
58
1.4.Propietat arquimediana Considerem un segment x qualsevol tan petit com vulguem i un segment m tan gran com es vulgui. Aleshores s’estableix que sempre el segment x podrà superar el segment m si es multiplica suficients cops. De manera més formal podem dir que:
x R i m R ,aleshores n N que compleix nx m 0 i M 0 , aleshores n N que compleix n M
1.5.Axioma de Cantor-Dedekind La bijecció que Cantor fa entre un segment format per nombres reals i la recta numèrica(III-1.2) li fa afirmar el següent: Es poden representar tots els nombres reals en una recta de manera que cada un d’ells ocupi una posició unívoca en aquesta recta; els nombres reals estan formats pel continu de punts d’aquesta recta; la Recta Real. Però aquest enunciat es completament gratuït per tal com la prova que fa Cantor el que estableix es que es pot bijectar un segment amb la recta geomètrica. Però si aquest segment en comptes de pertànyer al conjunt de nombres reals englobes un altre conjunt, a ser possible més dens, aleshores cada punt de la recta no correspondria biunivocament amb els nombres reals, sinó amb altres nombres. Tot esta tan fonamentat com sembla? Es possible l’existència d’un conjunt de nombres més dens? Es possible formalitzar-ho i treballar amb ells?
59
2.Nombres hiperreals 32 En l'estudi de funcions, ens han ensenyat que un màxim absolut ha de ser sempre un nombre 2 real. Si la funció tendeix a l'infinit (p.e. f ( x ) x ) , sempre podrem trobar un nombre real superior als anteriors nombres, de manera que es conclou afirmant que aquesta funció no té màxim absolut, per tal com no hi ha un nombre real, en aquesta funció, que no sigui superat per cap altre. Però aquesta consideració és valida? L'infinit no és un nombre real, però be és un nombre, i és també el límit al que tendeix aquesta funció. No podríem afirmar, doncs, que l'infinit és el màxim absolut d'aquesta funció? Vet aquí la nostra resposta. En aquesta recta final del treball albirarem al fi una mica de veritat al assumpte tractat: "què és un punt en la recta geomètrica?". Podríem dir, inclús, que la resta de treball només es una mera excusa per presentar, definir i formalitzar aquest nou cos, desconegut per la gran majoria, fins i tot per un percentatge important dels matemàtics. Sincerament, benvolgut lector, els coneixia?
2.1.Negant axiomes La negació de l’axioma de Cantor-Dedekind implicaria l’existència d’un nou conjunt de nombres que englobaria el conjunt dels reals. Anàlogament com succeïa amb el pas dels racionals als reals, on entremig de dos racionals sempre podem trobar un nombre real, podríem considerar que entre dos nombres reals hi ha quelcom més que nombres reals. Així doncs podríem dir que parlem d’uns nombres que filen més prim, que tenen una precisió major. D’altra banda, si neguem la propietat arquimediana estarem admeten l’existència de nombres que limitessin la infinitud dels nombres reals. Així doncs, estaríem creant un conjunt de nombres més dens, tal i com succeeix amb el pas de racionals a reals. Tot això es possible?
2.2.Introducció El concepte d’infinitament gran i infinitament petit es remunta a l’època grega 33 . Però no va ser fins al segle XVII que es fes habitual l’ús de nombres infinits(nombre més gran que qualsevol nombre real) i infinitèsims(nombre més petits que qualsevol nombre real). 34 Tot i això aquest mètode s’ha vist desplaçat pel concepte de límit, que no requereix la utilització d’aquests nombres que no pertanyen al grup dels nombres reals i que per tant no compleixen les mateixes propietats 35 . L’ús d’aquests nombres s’anomena Anàlisis No Estàndard (NSA) 36 . La diferencia fonamental entre Anàlisis No Estàndard i l’ús de límits, es que la utilització del primer implica la negació de la propietat arquimediana i de l’axioma de Cantor-Dedekind.
32
El llibre més complet de caràcter formal que tracta el tema i l’ús d’aquests nombres es Elementary Calculus: An Infinitesimal Approach de Jerome Keisler. El podeu descarregar a http://www.math.wisc.edu/~keisler/ 33 les paradoxes de Zeno, l’atomisme de Democrit, el mètode d’exhaustió d’Eudoxo(versió grega del càlcul integral),... 34 Els nombres infinits i els infinitèsims varen ser introduïts pel matemàtic alemany Leibniz al 1684 35 dificultant aparentment la seva utilització, que s’ha vista marginada fins avui i que no s’ha formalitzat fins el 1966 per Abraham Robinson 36 deixant clar el rebuig per aquest mètode per part de la comunitat científica. A http://en.wikipedia.org/wiki/Nonstandard_analysis podreu trobar més informació al respecte.
60
L’afirmació dels nombres infinitèsims nega la propietat Arquimediana, ja que afirma l’existència d’un nombre més petit que qualsevol altre, de manera que no sempre es pot obtenir un nombre menor dins d’un interval, sinó que el menor nombre es un infinitesimal. Altrament, com existeix un nombre més petit als reals, la seva combinació crea uns nous nombres, els hiperreals, que estan entre els nombres reals. Així doncs, el conjunt dels nombres reals és porós i per tant no cobreix tota la recta i per tant cada punt de la recta no correspon a un nombre real sinó a un hiperreal.
2.3.Definició i nomenclatura Així doncs definim un infinitèsim com:
0 i x on x R , Així doncs podem definir un nombre infinit com: 1 x on x R , i
Figura 35: Els hiperreals a la recta geomètrica 37
Caldria recordar, en aquest sentit, com definia Euler el nombre e , ja que ell és dels pioners en l’anàlisi no estàndard i la utilització de nombres infinits. Pel que fa a la nomenclatura d’aquests nombres és variada. En Elementary Calculus utilitzen H pels nombres infinits (probablement en honor a Euler) i èpsilon, , pels infinitèsims (segurament en honor a Littlewood 38 ). Tot i això també s’utilitza delta, , en l’anàlisi corrent, com veurem a la següent capítol o inclús i com s’ha fet a Mèxic en alguns instituts de secundària, on han fet un “experiment sociològic” per demostrar que és més instintiu l’ús de hiperreals que de límits. D’altra banda si bé utilitzem R per referir-nos als nombres reals, utilitzarem R* o *R (s’utilitzen ambdues)
37
imatge extreta de Elementary Calculus: An Infinitesimal Approach de Jerome Keisler A “Los matemáticos no son gente seria”, de Alsina i Guzmán, (pag.41) s’explica que Littlewood per resoldre un problema d’anàlisi va considerar una expressió “que es menor que , on es pot fer tan petita com es vulgui”. Quan el impressor va enviar a Littlewood les proves per la seva correcció, es llegia “que es menor que .”, on, amb l’ajuda d’una lupa i al costat del punt es podia veure una petita èpsilon. Sens dubte el impressor s’havia pres moltes molèsties i interès en el fet de poder-la fer tant petita com es volgués. 38
61
2.4.Els nombres infinitèsims Leibniz els defineix per primera vegada com a monada 39 , que només es podien observar amb l’ajuda d’un microscopi ideal. Per tant, aquests segments són més petits que els segments amb longituds donades per nombres reals. Anàlogament defineix els nombres infinits com galàxies només observables amb telescopi.
Figura 36: L’infinit 40
Les operacions i propietats dels nombres infinitesimals, entre ells, és anàloga a la dels nombres reals, és a dir, se suma, resta, multiplica,divideix,.... de la mateixa forma, tal com si fossin nombres reals. Si posem tots els segments infinitesimals possibles sobre la recta numèrica amb un extrem en l'origen, els altres extrems d’aquests segments determinaran una infinitud de punts a ambdues bandes de l’origen; aquests nous punts només es podran distingir amb l’ajuda del microscopi ideal i estaran més pròxims del origen que qualsevol nombre real. A aquests nous nombres de la recta els anomenarem infinitesimals; i al conjunt de tots els nombres infinitesimals junt amb el zero, l’anomenarem àtom de zero. De la mateixa manera, podem pensar en l’àtom de qualsevol nombre real r .
39 40
construcció feta pels lògics amb ultraproductes. imatge extreta de Elementary Calculus: An Infinitesimal Approach de Jerome Keisler
62
2.5.Propietats 41 El conjunt de nombres reals i nombres infinitesimals, que composen la recta numèrica, es el que s’anomena nombres hiperreals; aquests es defineixen amb la forma r i , on r R , i R Habitualment ens serà útil, donat un nombre, saber en l’àtom de quin nombre real es troba. Per tant, donat un nombre de la forma r i , direm que r és la seva part real, el seu àtom, i escriurem: Re( r i ) r
Aleshores, la part real de un nombre real serà ell mateix. Les seves propietats característiques són: 1)La suma de dos infinitesimals és un infinitesimal o zero 2) El producte de dos infinitesimals és un infinitesimal. 3)La suma d’un nombre real i un infinitesimal és un nombre real 4) El producte de un nombre real diferent de zero per un infinitesimal, és un infinitesimal Quan la diferència de dos nombres a,b, sigui d’un infinitesimal, direm que aquests nombres estan infinitament pròxims i que comparteixen l’àtom del mateix nombre real.(1)
41
als annexos M i N trobareu més explícitament la diferencia entre els nombres reals i hiperreals des de un punt de vista algebraic
63
3. Utilitat dels hiperreals Arribats a aquest punt un es pot qüestionar la utilitat d’aquests nombres. Serveixen per alguna cosa, preguntaran segurament els més pragmàtics. Doncs, indubtablement. De fet, ens permeten operar amb més facilitat com podrem observar a continuació
3.1.Càlcul diferencial Considerem una corba qualsevol, tallada per una recta secant, o el que és el mateix, tallada en dos punts
Figura 37: Càlcul diferencial (1)
Si tracem les rectes paral·leles als eixos de coordenades en els punts A i B, obtenim el triangle ABC.
64
Figura 38: Càlcul diferencial (2)
Base= b a i b a i Altura= f (b) f ( a ) f ( a i ) f ( a ) A ( a , f ( a )) B (b, f (b)) ( a i, f ( a i )) C (b, f ( a )) ( a i, f ( a ))
La pendent de la recta secant és igual al quocient entre l’altura i la base del triangle. Si la recta secant talla només en un punt, la recta resultant s’anomena recta tangent. Perquè la recta secant talli només en un punt, A i B han de estar infinitament pròxims i per tant la base del triangle serà infinitesimal(1). Així doncs, definim el pendent de la recta tangent com: f (a i) f (a ) on a R , i R f ' (a) i A aquesta expressió se l’anomena derivada. D’aquesta manera podrem resoldre problemes de màxims i mínims, trobant el punt on el pendent de la recta tangent, és a dir, la derivada, sigui zero, sense dependre del concepte de límit. Contrastem ara les definicions formals en Anàlisi Estàndard(AS) i en NSA: lim f ( x h) f ( x) AS: f ' ( x ) h h0 y f ( x x ) f ( x ) NSA: f ' ( x ) x x d’on es dedueix que: f ( x x ) f ( x ) y (x ) 2 f ( x x ) f ( x ) f ' ( x ) x (x ) 2
65
Figura 39: Càlcul diferencial (3) 42
Exemples comprovem quan més ràpid és el nou mètode 1) f ( x ) x 2 lim f ( x h) f ( x ) lim ( x h) 2 x 2 lim x 2 2 xh h 2 x 2 a) f ' ( x ) = h h h h0 h0 h0 lim 2 xh h 2 lim 2x h = 2x h h0 h0 1 b) f ( x x ) f ( x ) f ' ( x ) x (x ) 2 ( x x ) 2 x 2 2 x x (x ) 2 f ' ( x ) 2 x
2) f ( x ) x n lim f ( x h) f ( x ) lim ( x h) n x n a) f ' ( x ) = h h h0 h0 n n n n n n x h n 1 h n x n x h x n 1 h 2 x n 2 ... lim n 1 n 2 0 1 h h0 n n n n h x n 1 h 2 x n 2 ... x h n 1 h n lim 1 2 n 1 n h h0 n n n n x h n 2 h n 1 h x n 1 h x n 2 ... lim 2 n 1 n 1 h h0
42
imatge extreta de Elementary Calculus: An Infinitesimal Approach de Jerome Keisler
66
n n! n n 1 n n n lim x n 1 = x h x n 2 ... x h n 2 h n 1 = x n 1 = 1!(n 1)! h 0 1 1 2 n 1 n n (n 1)! n 1 x n x n 1 = (n 1)! b) f ( x x ) f ( x ) f ' ( x ) x (x ) 2 n n n n n x x n 1 x n x n ( x x ) n x n x x n 1 x 2 x n 2 ... n n 1 2 1 0 com que només ens interessa el segon terme: n n! n (n 1)! n 1 x n 1 = x n x n 1 f ' ( x ) x n 1 = 1!(n 1)! (n 1)! 1 3) f ( x ) sin( x ) lim f ( x h) f ( x ) lim sin( x h ) sin( x ) = a) f ' ( x ) h h h0 h0 lim lim sin( x ) cos( h) cos( x ) sin( h) sin( x ) sin( x ) cos( h) cos( x ) sin( h) sin( x ) h h h0 h0 lim lim cos( x ) sin( 0) sin( x ) cos( h) 1 cos( x ) sin( h) cos( x ) sin( h) =* =** cos( x ) h h h h h0 h0 lim sin( x ) cos( h) 1 sin( x ) cos( 0) 1 sin( x ) 0 * 0 ** h h h h0 **les funcions trigonomètriques convergeixen molt ràpid, per exemple, si h=1 sin( x ) cos(1) 1 0.0001523 sin x 0 1 b) f ( x x ) f ( x ) f ' ( x ) x (x ) 2 sin( x x ) sin( x ) cos(x ) cos( x ) sin(x ) sin( x ) cos( x ) x f ' ( x ) cos( x ) 4) f ( x ) e x lim lim e x (e h 1) exh ex e h e x e x lim f ( x h ) f ( x ) lim a) f ' ( x ) = h h h h h0 h0 h0 h0 lim lim lim lim eh 1 1 t 1 ex * ex ex ** e x ex 1/ t 1 h ln(t 1 ) ln( t 1 ) h0 t0 t0 t0 ln(t 1) t ln(t 1) * e h 1 t e h t 1 ln(e h ) ln(t 1) h ln(e) ln(t 1) h ln(t 1) ln(e) quan h 0 t e 0 1 0 t 0 **
lim lim ln(t 1) 1 / t = ln[ (t 1) 1 / t ]= ln e 1 t0 t0
b) f ( x x ) f ( x ) f ' ( x ) x (x ) 2 e x x e x e x =* e x (1 x ) e x e x x f ' ( x ) e x 1 * e 1 H
H
1 x
1 / x
e x 1 x
67
3.2.Problemes d’optimització: exemple Imaginem que volem tancar un jardí amb una paret amb 10 metres de tanca de tal manera que l'àrea sigui màxima. Existeixen diferents possibilitats per a la llargada i l’amplada del terreny que donaran diferents valors a l’àrea, però nosaltres volem el màxim de terreny abastable.
Figura 40: Plantejament d’un problema de màxims i mínims
Figura 41: Funció d’un problema de màxims i mínims
Si anomenem x a l’amplada del terreny, la llargada serà 10-2x, ja que tenim 10 metres de tanca i la paret ens estalvia un costat(Fig.33). Així doncs, l’àrea del terreny es defineix en funció de 2 l’amplada com: f ( x ) A x (10 2 x ) 10 x 2 x Si representem aquesta funció observem que el valor màxim de l’àrea correspon al vèrtex de la paràbola( Fig.34). Si augmentem el valor de x en una quantitat molt petita, i , el valor de l'àrea pràcticament no variarà. Així doncs, es complirà que 10 x 2 x 2 10( x i ) 2( x i ) 2 (1) Operant: 10 x 2 x 2 10 x 10i 2 x 2 4 xi 2i 2 Restant: 0 10i 4 xi 2i 2 Simplificant(dividint entre i ): 0 10 4 x 4i Si tenim en compte que i és un infinitesimal, es compleix que: 10 5 Re 10 4 x 4i 10 4 x 0 10 4 x x 2 .5 m 4 2 De fet podem formalitzar aquest raonament si tenim en compte que la igualtat que em considerat al principi (1) era en realitat f ( x ) f ( x i ) 68
f ( x i) f ( x) i que coincideix amb l’expressió que defineix el pendent de la recta tangent en un punt. Així doncs, el que estem fent és buscar el punt en el qual la recta tangent sigui horitzontal, és a dir, tingui pendent zero 0 f ' ( x ) . Aquest punt és un màxim per tal com abans creixia i ara decreix, i correspon a un extrem relatiu per tal com no pot créixer més en aquest interval, ja que si augmentem el valor de x , l’àrea decreix.
A més a més, quan dividim entre i , obtenim: 0
Així doncs, podem concloure que si augmentem el valor de x molt poc, amb un infinitèsim, el valor de l’àrea augmentarà o disminuirà sempre a no ser que es trobi en un extrem relatiu.
69
3.3.Càlcul integral El càlcul integral que ens ensenyen al batxillerat és la resposta que han donat les matemàtiques per calcular les àrees de funcions o superfícies corbes com la de la figura. Però, en què consisteixen realment? Quina relació s’estableix entre les integrals i el nombres hiperreals?
Figura 42: Integral de una funció corba 43
El mètode d’Arquimedes per obtenir ,per exhaustió,el podem considerar com un dels primers mètodes per resoldre aquests problemes. Així doncs, podríem circumscriure i inscriure diferents figures semblants a la funció com fa Arquimedes amb el cercle. Però volent generalitzar per funcions curvilínies més complexes, com l’anterior, podem omplir l’àrea d’aquesta figura amb un conjunt de rectangles que la cobreixin completament. Però si ho fem així, aquests rectangles sobresortiran i obtindrem un àrea molt major. Per intentar minimitzar l’error, pintarem rectangles a la figura que no la cobreixin completament procurant que els fragments que sobresurtin es compensin amb els trossos buits com es veu a la figura.
Figura 43: Càlcul integral(1) 44
Un altre factor que influirà en la precisió del resultat és l’amplada del rectangles: quan més petita sigui, més precís serà el resultar ja que la diferència entre les àrees serà menor. És en aquest aspecte on radica la importància dels hiperreals i els nombres infinitèsims.
43 44
imatge extreta de Elementary Calculus: An Infinitesimal Approach de Jerome Keisler imatge extreta de Elementary Calculus: An Infinitesimal Approach de Jerome Keisler
70
Figura 44: Càlcul integral(2) 45
Si la base dels rectangles fos un infinitesimal, la diferencia entre l’àrea de la funció i l’àrea de la suma dels infinits rectangles que omplirien la funció seria infinitesimal i per tant negligible.
Figura 45: Càlcul integral amb infinitèsims 46
Així doncs, quan fem la integral
x x , el que estem fent realment es sumar(
) l’àrea dels
rectangles que omplen la funció, on la base és un infinitesimal x ( també anomenat diferencial de x; x ) i l’altura bé donada per la funció. Com que les bases dels rectangles són infinitesimals, hem de sumar infinites bases per obtenir la base total i per tant infinits rectangles. D’aquesta manera podem concloure que tot graduat en matemàtiques (o en moltes altres branques científiques) coneix els nombres hiperreals sense tenir consciència d’ells mateixos, ergo la resposta a la qüestió que inaugurava la part III-2(coneix el lector els nombres hiperreals?), probablement contra tot pronòstic, és afirmativa, tot i que d’una manera implícita 45 46
imatge extreta de Elementary Calculus: An Infinitesimal Approach de Jerome Keisler imatge extreta de Elementary Calculus: An Infinitesimal Approach de Jerome Keisler
71
L’ENTREVISTA La tardana formalització del nombres hiperreals i les seves propietats característiques són possibles raons que han desplaçat el seu ús enfront l’Anàlisi Estàndard. Per aquest motiu és difícil trobar informació de qualitat sobre ells, i quan s’aconsegueix sovint és en un idioma estranger, generalment l’anglès, com en el cas del magnífic Elementary Calculus: An Infinitesimal Approach de Jerome Keisler. Per tot això vaig decidir contactar amb tres de les màximes eminències de Barcelona, de les quals, per raons alienes a la meva voluntat, només me'n va respondre una: Núria Vila, actualment cap del departament de Geometria i Aritmètica a la UB i especialista en teoria de nombres. Per tal com en teoria de nombres s’estudien els diferents tipus de conjunts existents, com els hiperreals, vaig considerar que ella serià una bona candidata per explicar més profundament aquests conceptes. Arribat el dia pactat, no puc descriure la sorpresa de la seva resposta: no coneixia aquells nombres. Primerament li vaig preguntar què era un punt a la recta, per tal com és la pregunta clau del meu treball, a la qual cosa respongué que era un nombre real. Jo li vaig preguntar si hi havia res més a la recta que no fossin nombres reals i ella es reafirmà. Arribats a aquest punt li vaig definir un nombre infinitèsim: 0 x on x R . Primerament va dubtar que aquest nombre no fos un nombre real, per tal com seguia reafirmant que tots els nombres de la recta són nombres reals. Quan va acceptar, dubtosa, la definició que li proposava, va negar la seva existència. Quan li vaig explicar que existien unes altres matemàtiques iniciades per Leibniz i culminades per Robinson que utilitzaven aquests nombres, va posar en dubte que aquestes teories fossin correctes, per tal com sovint es poden trobar coses estranyes, posant en dubte, entenc, les meves fonts. No va ser fins que vaig esmentar l’expressió “Anàlisis No Estàndard” que va acceptar que tot allò fos possible, però que era un tema en el qual no estava especialitzada. Aleshores em va citar a Euler com un dels seus primers pioners, com queda patent en la seva definició del nombre e , utilitzant un nombre infinit. Tot i la primera decepció, aquest fet no fa més que mentalitzar-me per tornar a intentar contactar amb els altres dos experts: Josep Pla i Carrera i Rafael Farriols. Aquests, més propers al camp de la lògica i els models, n'haurien de saber més d'aquests nombres.
72
eleg Per tal d’extreure les conclusions, primerament resumirem breument el treball fet: Primerament vaig partir dels nombres naturals, i em vaig preguntar què hi ha per sobre d’ells, que hi ha entremig dels nombres naturals en una recta, en aquell moment, pràcticament buida. Procedint així vaig redescobrir els nombres racionals (les fraccions) que vaig ser capaç de representar mitjançant Tales. D’aquesta manera també vaig ser capaç de representar les arrels de polinomis o solucions d’equacions de primer grau. Tot i que la recta semblava una mica més plena, continuava sent molt porosa i em vaig tornar a preguntar: què hi ha entremig dels nombres recentment descoberts? La resposta immediata van ser les arrels quadrades, que vaig aprendre a representar gràcies a Pitàgores després d’un exhaustiu estudi previ a la gran troballa d’un mètode de representació ràpida i eficient. D’aquesta manera també vaig ser capaç de representar les arrels de polinomis de segon grau i també de tercer i quart grau desprès de desenterrar antigues i poc utilitzades fórmules per aquests casos. Animat per la potència i exactitud del mètode grec em vaig tornar a preguntar que era un punt a la recta, que eren els forats que restaven en ella. La resposta foren els nombres algebraics en general (nombres que són arrels de polinomis), més enllà dels dels quatre primers graus; però quan vaig voler representar-los com ho faria un savi grec, vaig topar amb un mur insalvable junt amb una gran decepció equiparable a la que sentiren els antics geòmetres grecs amb els seus clàssics problemes: no es podia. Aquesta atordidora veritat en mans del geni creador d’una nova teoria revolucionària, Galois, em va donar una mica de perspectiva de l’assumpte i embargat per la pena, vaig haver d’abandonar l’excel·lència i l’exactitud grega per els valors aproximatius mitjançant algoritmes reiteratius: primer amb els mètodes poc eficients de les fraccions contínues com a preparació en la immersió d’aquestes noves aigües que eren capaces de representar qualsevol algebraic amb mètodes com el de la bisecció, la secant o el de Newton. Aleshores em vaig tornar a preguntar si hi havia res més a la recta i és quan vaig trobar els nombres no algebraics, és a dir, els transcendents (celebres nombres, com els treballats i e que representem mitjançant sèries numèriques), que tots junts formaven el conjunt dels nombres irracionals i amb la resta, dels reals. En un primer moment vaig donar per acabada la recerca quan descobrí que Cantor afirmava que la recta geomètrica està formada pel conjunt de tots els nombres reals. Però finalment vaig descobrir un nou cos, complet i ordenat i encara més dens que els reals. Aquests nombres, tot i que la seva invenció i utilització era antiga, la seva tardana formalització, per part de Abraham Robinson al 1966, els fa ser rebutjats per bona part de la comunitat científica, que majoritàriament ignora la seva presència, raó per la qual ens proposarem fer unes entrevistes per obtenir més informació al respecte i on vaig comprovar quant poc coneguts eren, tot i treballar amb ells de manera implícita en el càlcul integral. 47
47
En l’annex P s’aprecia clarament aquesta visió merament indicativa, implícita dels infinitèsims
73
CONCLUSIÓ Desprès d’aquest fascinant viatge en què hem après a representar tots els nombres possibles a la recta geomètrica, hem arribat a la conclusió que tot nombre a la recta és un hiperreal, i no un nombre real com afirma gratuïtament Cantor, que és la concepció pròpia del Anàlisi Estàndard. Però a més em pogut comprovar com de generalitzada és aquesta concepció, especialment amb la resposta de l’entrevista. I si una doctorada en teoria de nombres els desconeix, és evident que un graduat en matemàtiques no serà una excepció a no ser que parlem d’una persona que s’ha interessat en aquests temes pel seu compte, com en el meu cas o que s’hagués especialitzat en aquests temes. Tot i aquesta marginació, aquests nombres faciliten enormement el càlcul, com hem pogut apreciar clarament en els exemples de derivades. A més, el seu caràcter més instintiu a portat a un grup d’instituts de Méxic a ensenyar aquests procediments no convencionals als seus alumnes, obtenint molt millors resultats i una major comprensió per part de l’alumnat, raó per la qual caldria, crec, plantejar exportar aquest programa educatiu. En contra de la seva oportunitat, però, s’ha criticat que és de tal potencia que és “com matar una mosca amb un canó.” D’altra banda, la concepció del fet que un punt a la recta representa un nombre hiperreal és a la més general que podem arribar tocant de peus a terra ja que aquests nombres tenen una base rigorosa, és a dir, estan formalitzats i fonamentats dins una teoria, que estableix Robinson en 1966. Però voldria meditar ara sobre la concepció d’altres conjunts utilitzant el mateix procediment, és a dir, de la mateixa manera que hem considerat 0 x on x R podríem parlar de 0 on *R+ i així successivament, englobant cada vegada conjunt més densos on el cardinal del seu infinit aniria augmentant. Sigui com sigui, això només són elucubracions.
74
Annexos A. El mètode mètric egipci Alguns dels documents matemàtics més antics són egipcis, com el papir de Rhind. Se sap que els grans primers geòmetres d’occident van ser els egipcis ja que el periòdic desbordament del riu Nil esborrava els límits dels terreny, i això dificultava que es poguessin establir amb exactitud les parcel·les de cada propietari. La solució a aquest problema va ser la invenció de la geometria, que els permetia mesurar i delimitar els camps, i d’ella se’n valgueren les seves portentoses i celebres piràmides. De la mateixa manera que la geometria neix per necessitat i utilitat, per una finalitat practica, els egipcis no es van interessar en formalitzar els seus coneixements, cosa que sí que van fer Tales i Pitàgores en els seus viatges a Egipte, aprofitant els coneixements implícits de la cultura egípcia. Si bé em vist, a la primera secció del treball, que amb el mètode grec de la regla i el compàs podem representar qualsevol arrel, volem ara saber si aquest coneixement prèviament pertanyia als egipcis. Els egipcis tenien un particular instrument mètric, que estava dividit en dues parts relacionades de tal manera que els permetien construir angles de 90º
Figura 46: Instrument de mesura egipci
on r1 r2 r 0 .3841
R 0 .543 x 0 .159 r x R d’on x R r (1)
El procediment que seguien era el següent:
75
1-Traçaven una circumferència de radi r amb centre A i extrem B
Figura 47: Mètode mètric egipci (1)
2-Traçaven una circumferència de radi R, amb centre B i dibuixaven el punt d’intersecció C entre les dues circumferències
Figura 48: Mètode mètric egipci (2)
76
3-Traçaven el segment AC , que es igual a r , i el segment BC , que es igual a R
Figura 49: Mètode mètric egipci (3)
Si utilitzem les dades egípcies, ens adonem que ABC no és veritablement un triangle rectangle, però s’hi assembla molt 48 Com apreciem a la imatge, els termes egipcis formen part d’un triangle quasi rectangle, de R 2 2 manera que es compleix que R 2 r1 r2 i per tant R 2r 2 d’on 2 r Si considerem r unitat, aleshores R 2 D’aquesta manera, els antics egipcis podien representar qualsevol arrel amb el mètode inductiu(I-2.4) Però no només això, sinó que podem formar un triangle CAD amb catets r , x i hipotenusa h , de manera que h 2 r x
48
0.543 2 100% 97.57% correcte 0.3841 77
Figura 50: Mètode mètric egipci (4)
Com que hem considerat r unitat, aleshores h
x
Tot i que en un primer moment puguem pensar que els egipcis ja eren capaços de representar qualsevol arrel per aquest mètode, no hem de caure en aquest subtil error, ja que hem de tenir en compte que x R r (1) i per tant h R r d’on h R 1 ja que, recordem, hem considerat r 1 A més a més, entre r i R existeix una correlació tal, que si considerem r 1 R 2 i per tant h
2 1
78
B. La secció àuria L’antic problema de la secció àuria buscava dividir un segment de manera que la proporció entre el costat petit i el gran fos la mateixa que entre el gran i el tot. Considerant la part petita x x 1 com la unitat, i la part gran com x s’estableix el següent: ; x2 x 1; x 2 x 1 0 1 x b b 2 4ac 1 1 4 1 5 1 5 x 1,6180339887498948482… 2 2a 2 (1) 2 Aquest és un dels molts llocs on es pot trobar la divina proporció. Aquesta proporció és omnipresent en la natura: en el creixement de plantes i caracoles, en l’anatomia humana, la Llei de Ludwig,… També en l’art: L’home de Vitruvi de Leonardo da Vinci, La Gran Piràmide de Keops d’Egipte, el Panteó grec,...A més, els seus coneixements són imprescindible en estudis universitaris d’art. Inclús en la musica té gran rellevància: acords perfectes, implícit en composicions com en les sonates de Mozart, la Cinquena Simfonia de Beethoven,algunes obres de Schubert y Debussý, ... Però en un aspecte més matemàtic, també es pot trobar en la sèrie numèrica de Fibonacci o en problemes de proporció com la secció àuria. Concretament en geometria és el resultat de la diagonal del pentàgon de costat unitat, de rectangles auris, de l’espiral d’Arquimedes,...
Rectangles àurics Primer de tot hem de definir de manera genèrica què és un rectangle àuric, el qual consisteix en un rectangle el qual la relació entre els seus costats és igual al nombre d’or, és a dir: a 1 5 on a (0, ) ; b (0, ) ; ja que en la realitat física no hi ha distàncies negatives. b 2 Ara bé, els costats del rectangle no han de ser necessàriament iguals al denominador i numerador, respectivament, simplement s’ha de mantenir la relació, el qual significa que a i b són múltiples del denominador i numerador respectivament i que a més aquest múltiple és compartit, és a dir: a (1 5 ) (1 5 )c ; b 2 2c on c de manera que s’inclouen els negatius ja que estem multiplicant per c tant en el denominador com en el numerador, de tal manera que es poden simplificar. De fet és com multiplicar per 1, la relació no es perd, simplement possibilita la construcció de rectangles de diferents dimensions. A més, almenys un dels seus costats és irracional ja que perquè a no fos irracional, c si ho seria i per tant b a (1 5 )c (1 5 ) (1 5 ) 1 5 també, per exemple: b 2c 22 5 2 (1 5 ) Així i tot no és recomanable tenir arrels al denominador i hauríem de racionalitzar-lo, amb la qual cosa l’arrel queda sempre a dalt, tot i que en aquest cas, com esta contextualitzat i resulta una expressió intel·ligible es podria permetre no fer-ho. En qualsevol cas, si es fes, l’expressió 4 (2 2 5 ) 8 8 5 8 (1 5 ) 1 5 resultant seria el nombre d’or: 16 4 20 2 2 2 5 (2 2 5 ) De totes maneres quan introduïm el concepte de múltiple és per fer rectangles àurics de diferents dimensions i el que ens interessa són els costats de manera independent, i no la seva relació, que ja la coneixem. Un cop establertes les bases, considerem el problema proposat: A, B,C són alineats?
79
Figura 51: Rectangles àurics
Per resoldre el problema, utilitzarem la geometria analítica. Primer definirem els segments i els punts, de manera generalitzada per a qualsevol rectangle auri, com havíem definit abans.
a (1 5 )c b 2c D=(0,0) E= (1 5 )c,2c
F= (c
5c 2c, (1 5 )c (3c 5c), (1 5 )c (3 5 )c, (1 5 )c
Ara determinarem l’equació de la recta que creua A i B
v DF f1 d1 , f 2 d 2 (3 5 )c, (1 5 )c
x d1 y d2 (1 5 ) x x (1 5 ) (3 5 ) x p yq (1 5 )cx (3 5 )cy y 95 v1 v2 (3 5 )c (1 5 )c 3 5
x (3 5 3 5 5) 2 x 2 5 x 5x x 4 4 2 Si al substituir les coordenades del punt E a l’equació de la recta DF obtenim una igualtat, significarà que els punts estan alineats. ( 5 1) g1 ( 5 1) ( 5 1)c (5 1)c ( 5 1) x y g2 2c 2c QED 2 2 2 2
80
C. La sèrie de Fibonacci El matemàtic italià Leonardo de Pisa, més conegut com Fibonacci, va plantejar un problema sobre el creixement de població dels conills, la solució del qual és la seva cèlebre successió que es defineix per reiteració i crea cada nou nombre amb la suma dels dos anteriors, partint de 0 i 1 com a primers termes La successió posseeix múltiples aplicacions en computació, teoria de jocs i matemàtiques. De fet, existeix una publicació especialitzada, Fibonacci Quarterly 49 , dedicada a l’estudi de la successió de Fibonacci y temes afins.
1.El clàssic problema dels conills Quantes parelles de conills es produiran en un any, començant amb una parella única, si cada més qualsevol parella engendra una altra parella, que es reprodueix a la seva vegada des del segon més?
Per resoldre el problema primer establirem una nomenclatura: n=número de mesos a= número de parelles de conills grans, es a dir, que es reprodueixen b=número de parelles de conills petits, es a dir, que no es reprodueixen c=número de parelles de conills totals n 0 1 2 3 4 5 6 7 8 9 10 11 12
Per aclarir el problema elaborem una taula a 1 1 2 3 5 8 13 21 34 55 89 144 233
b 0 1 1 2 3 5 8 13 21 34 55 89 144
c 1 2 3 5 8 13 21 34 55 89 144 233 377
Ara formalitzarem l’enunciat per fer-lo més entenedor:
1-Ja que cada parella de conills adults engendra una nova parella de conills petits, podem dir que el nombre de parelles de conills adults d’un més és igual al nombre de parelles de conills petits del més següent, o el que és el mateix: an=bn+1 2-Com que en el marge de temps d’un més els petits es fan gran, el número de parelles de conills grans desprès d’aquest més és igual al número de parelles de conills grans que hi havia el més anterior més el número de parelles de fills que han crescut, és a dir: an+1=an+bn 3- Podem combinar les dues expressions per obtenir-ne una de sola. 49
http://www.engineering.sdstate.edu/~fib/
81
an=bn+1 an+1=an+bn substituïm la primera expressió en la segona i obtenim: an+1= bn+1 +bn si an=bn+1, deduïm que an+1=bn+2, sumant a les dues bandes dels subíndexs, mantenint la igualtat. substituïm aquesta nova expressió en l’híbrid anterior per obtenir la fórmula per recurrència de la sèrie de Fibonacci: bn+2= bn+1 +bn, és a dir, la suma de dos números consecutius dóna el tercer. 4-Pel que fa al nombre de parelles de conills totals, òbviament, és igual al nombre de parelles adultes d’aquest més sumat al nombre de parelles petites del mateix més, és a dir: cn=an+bn . Tenint en compte que an=bn+1 ,podem dir que cn=bn+1+bn , que curiosament és igual a l’expressió anteriorment obtinguda: : bn+2= bn+1 +bn (que es la definició per reiteració de la successió de Fibonacci; així doncs, podem citar-la per la taula com:0,1,1,3,5,8,13,21,...); amb la qual cosa podem dir que cn= bn+2
Per finalitzar, concretarem en allò que se’ns demana.
El nombre de conills totals al dotze mesos (1 any) és igual a 233+144=377
2.Relacio entre la successió de Fibonacci i el nombre d’or Si ens fixem en les operacions fetes a la secció II-1.3 que recordem a continuació podem observar que els nombres que hem obtingut amb dos, tres i quatre reiteracions a les operacions anteriors són iguals a fraccions en les quals el seu numerador i denominador formen part de la successió de Fibonacci, on el numerador és el número següent, en la an quan n successió, al denominador, és a dir: a n 1 5 1 1 1.6 1 per dos reiteracions: 1 1 3 1 1 1 1 8 1 per tres reiteracions 1 1.6 1 5 1 1 1 1 1 1 13 1 per quatre reiteracions 1 1.625 1 8 1 1 1 1 1 1 1 1 Així doncs, podem suposar que la fórmula per la qual podríem obtenir els diferents termes de la successió de Fibonacci està íntimament relacionada amb el nombre d’or. De fet es dedueix que n ( ) n bn 5 82
D. La lúnula d’Hipòcrates Les lúnules són figures geomètriques amb la forma de lluna formades per la intersecció de cercles. Alguns casos particulars d’aquestes van constituir una excepció de la quadratura de superfícies curvilínies que va donar falses esperances als antics grecs de resoldre la irresoluble quadratura del cercle. Amb el problema plantejat per Hipòcrates es fa patent la potència del mètode grec, ja que amb procediments senzills resol el problema ràpidament, si bé amb mètodes moderns caldria solucionar-lo per complexos càlculs integrals dels quals no requerim i que ens ocuparíem molt espai i temps.
Figura 52: Lúnula d’Hipòcrates (1)
Primer determinarem la nomenclatura
P PR R2 àrea del cercle gran, amb centre en O1 2R 2 p 2 pr A2= r2= r àrea del cercle petit, amb centre en O2 2r 2 A3= àrea del triangle rectangle isòsceles A4= àrea de la lúnula A5=àrea de color blanc, en la segona imatge, que separa la lúnula del triangle
A1= R2=
Ara formalitzarem el dibuix en els següents enunciats:
Els catets del triangle són iguals al radi de la circumferència de centre O1, és a dir: c=b=R
83
b c R2 2 2 A més podem expressar la hipotenusa en funció del radi gràcies al Teorema de Pitàgores de la manera següent: a 2 b 2 c 2 2 R 2 a R 2 Aquest fet simplifica molt l’àrea del triangle ja que A3
Un altre fet important es que O2 està enmig de la hipotenusa, amb la qual cosa deduïm que el a R 2 radi és la meitat de la hipotenusa, és a dir: r o el que es el mateix en funció del radi 2 2 2r gran: Rr 2 2 Pel que fa a l’àrea de la lúnula, podem afirmar que és igual a la meitat de l’àrea del cercle petit menys A5 (el fragment blanc que s’aprecia a la segona imatge). Aquest fragment A5 és igual al quadrant corresponent del cercle menys el triangle. Com aquestes àrees ja les hem definit, procedim a operar de la següent manera:
A4
A2 A A r 2 R2 R2 2 r 2 R2 2 R2 A5 2 1 A3 2 2 4 2 4 2 4 2
R 2 2 R2 2 R2 2 R 2 2 R2 2 R2 2 R2 R2 2 R2 2 R2 R2 4 A3 4 4 4 2 4 Mètode grec [sense la utilització explicita de utilitzant la seva proporció)]- la potència de la geometria clàssica. A4
A2 A A pR 2 Pr 2 x( 2 2 ) pr PR A3 * A3 A3 A3 A5 2 1 A3 8 2 2 4 42 8 22 24
* p R P r x ja que
P p 2 R 2r
Figura 53: Lúnula d’Hipòcrates (2)
84
E. Els 3 grans problemes de la geometria clàssica Aquests tres clàssics problemes grecs simbolitzen la fi del seu mètode, i van representar un mur insalvable per als antics geòmetres obsessionats en la resolució d’aquests problemes irresolubles, com es prova posteriorment. Són, doncs, l’estímul que va permetre el salt de l’exactitud de la regla i el compàs a la infinita aproximació dels mètodes reiteratius.
1.La duplicació del cub Consisteix en obtenir el costat d’un cub de manera que el seu volum sigui el doble del volum d’un altre cub del qual coneixem el costat, es a dir, sigui V1 x 3 el volum petit i V2 y 3 el volum gran, el costat del qual volem saber, aleshores, 2V1 V2 i per tant 2 x 3 y 3 , del que deduïm elevant a ambdues bandes per un terç
3
2 x 3 3 y 3 ; x 3 2 y el que implica que el factor de
proporció és 3 2 , nombre el qual, tot i ser algebraic, no es pot obtenir dels nombres enters per suma, resta, multiplicació, divisió y extracció d’arrels quadrades, que són les úniques operacions que es poden fer amb regla i compàs. Això és així perquè el polinomi de grau més petit que té com arrel 3 2 , té grau 3.
2.La trisecció de l’angle Divisió d’un angle en tres parts iguals, és a dir, que les raons trigonomètriques (tg,sin,cos) del angle obtingut amb la trisecció siguin nombres construïbles ja que dibuixar un angle equival a representar un punt en la circumferència (goniomètrica).Només és possible fer-ho en el cas de l’angle de 90º en parts de 30º (raó per la qual el cos30º és un número algèbric).Pel que fa als altres, requereixen l’obtenció de l’arrel cúbica d’un nombre complex qualsevol, de valor absolut igual a 1, la qual cosa és impossible amb regla i compàs. 3.La quadratura del cercle Consisteix en construir un quadrat l’àrea del qual equivalgui a la d’una circumferència donada, és a dir, si l’àrea d’un quadrat es A1 l 2 i l’àrea d’un cercle es A2 r 2 , aleshores
A1 A2 l 2 r 2 del que es pot deduir si elevem a una meitat a banda i banda
l2 r2 ;
l r el que implica que el factor de proporció es , nombre el qual es transcendent [número irracional que no prové de una simple relació algebraica sinó que es defineix com una propietat fonamental de les matemàtiques, és a dir, que no és arrel de cap polinomi (no nul) amb coeficients enters (o racionals)], ja que es transcendent (demostrat per Lindemann), i per tant no es pot dibuixar amb regla i compàs [mètode per el qual només es poden dibuixar els nombres algèbrics(antònim de transcendent, és a dir, que es arrel de polinomis (no nuls) amb coeficients enters (o racionals))]. Una excepció de la quadratura de superfícies curvilínies són 5 lúnules, 3 de Hipòcrates i 2 de Euler (demostrat per Chebotariov y Dorodnov que només són aquestes) que va donar falses esperances als antics grecs. Així doncs, tot i que queda demostrada la potència del mètode grec amb el cas de la lúnula, podem dir que aquests últims problemes representen el límit de la geometria clàssica, de la regla i el compàs. A partir d’aquí són necessaris nous mètodes que ens descobriran tot un seguit de nombres que romanen amagats sota una recta porosa.
85
F. Fórmules de Cardano-Ferrari50 Des de ben petits se’ns ensenya i se’ns fa memoritzar la fórmula que resol les equacions de segon grau, però tot i això ni als graduats en matemàtiques se’ls presenten les fórmules que resolen les equacions de tercer i quart grau, segurament perquè resulta molt més fàcil procedir per Ruffini. Això podria fer dubtar de la seva existència a més d’un ingenu. Per reivindicar l’habilitat dels excel·lentíssims matemàtics del renaixement italià, les exposem a continuació.
1.Fórmula pels polinomis de tercer grau Sigui un polinomi qualsevol de la forma x 3 ax 2 bx c 0 Les seves arrels es poden trobar mitjançant x3
q q a 3 2 2 3
on 2
q p 2 3
3
2a 3 9ab 27c q 27 2 3b a p 3
2.Procediment pels polinomis de tercer grau Sigui un polinomi qualsevol de la forma x 3 ax 2 bx c 0 fem el canvi de variable x y 3
a (1) 3
2
a a a y a y b y c 0 3 3 3 2 3 2 a 2 a a a a 3 2 a y 3y 3 y a y 2 y yb b c 0 3 3 3 3 3 3 3
a2 a a2 a a y y a y a 2 y a yb b c 0 y 2 a 3 27 9 3 3 3 2 2 3 a 2a a a a y 3 y b b c 3 3 9 27 3 3
2
3 a2 a 3a 3 a y y b b c 3 27 27 3 3
50
trobareu més informació amb caràcter més formal a:
Teoria de Galois de María Julia Redondo del Instituto de Matemática – UNS (Av. Alem 1253, Bahía Blanca) que podeu descarregar a http://inmabb.criba.edu.ar/gente/mredondo/MJRedondoGalois33.pdf i a Las formulas de Cardano-Ferrari de Carlos Ivorra que podeu descarregar a: http://www.uv.es/ivorra/Libros/Ecuaciones.pdf
86
a2 2a 3 a y y b b c 3 27 3 3
D’aquesta manera obtenim una equació de la forma y 3 py q , les quals sabia resoldre fent un altre canvi de variable, y u v (2) aleshores (u v) 3 p (u v) q u 3 3u 2 v 3uv 2 v 3 pu pv q u 3 v 3 3uv(u v) p(u v) q Arribats a aquest punt, deia: si u v 0 , aleshores u 3 v 3 q i si q 0 u 3 v 3 0 i u v 1 aleshores 3uv p 0 D’aquesta manera elabora un sistema d’equacions de dos equacions amb dos incògnites u 3 v 3 q (3) 3uv p 0 (4) Això es resol fàcilment fent p u 3v
p 3 v q 3v p3 v3 q 0 3 27v p 3 27v 6 27qv 3 0 Mitjançant un nou canvi de variable, v 3 z (5) 27 z 2 27 z p 3 0 , que es una simple equació de segon grau que sabem resoldre. Per trobar x hauríem de retornar els canvis de variables, és a dir, (5), esbrinar u , (2) i (1) 3
3.Fórmula pels polinomis de quart grau Sigui un polinomi qualsevol de la forma x 4 ax 3 bx 2 cx d 0 Les seves arrels es poden trobar mitjançant
Q Q 2 4( P R) a x 2 4 2 Q Q 4( P R) a x 2 4 on
8b 3a 2 2P Q 2 8 8c 4ab a 3 q 2QR 8 256d 64ac 16a 2 b 3a 4 r P2 R2 256 p
87
G. Mètode de la secant La lentitud del mètode de la bisecció gairebé ens obliga a buscar i aprofundir en altres mètodes existents. Un dels més famós i eficients és el mètode de Newton, cas particular del mètode de la secant que exposem a continuació com a pas previ per entendre més fàcilment el mètode de Newton.
1.Representació gràfica 1-Representem a l’eix d’abscisses dos punt qualsevol i proper a f(x)=0. 2-Tracem les seves perpendiculars amb l’eix de d’abscisses per tal d’obtenir els punts d’intersecció amb la funció. 3-Tracem la recta secant a la funció que passa pels dos punts de la funció abans hem obtingut per tal d’obtenir el punt d’intersecció amb l’eix d’abscisses. 4-Tracem la perpendicular del nou punt amb l’eix d’abscisses per tal d’obtenir el punt d’intersecció corresponent a la funció i traçar una nova recta secant amb aquest nou punt i el més pròxim dels anteriors, per tal d’obtenir el punt d’intersecció amb l’eix d’abscisses. 5-Repetim indefinidament el punt 4.
Figura 54: Representació gràfica del mètode de la secant (1)
88
Figura 55: Representació gràfica del mètode de la secant (2)
2.Descripció de l’algoritme El que volem és trobar una expressió que relacioni els dos punts inicials amb el tercer. Hem de tenir en compte, per fer-ho, que formen part de la mateixa recta, la qual la podem deduir mitjançant els dos punts inicials i arbitraris(però propers a f(x)=0). Així doncs si g ( x ) c x d es la funció que defineix la recta secant, podem dir: f (a ) g (a) c x d c a d f (b ) g (b ) c x d c b d f ( a ) c a d f (b ) c b ; f ( a ) f (b ) c a c b ; f ( a ) f (b ) c ( a b ) ; f (a ) c a d ; f (a)
g ( x) c x d
f ( a ) f (b ) a d ab
f ( a ) f (b ) c ab
f ( a ) f (b ) f ( a ) f (b ) x f (a ) a ab ab
Un cop definida la recta secant, hem de tenir en compte que nosaltres volem obtenir aproximacions de l’arrel de la funció i per tant el tercer punt, és a dir, el nou punt d’aproximació, talla l’eix d’abscisses ja que el que ens interessa saber és el valor de x quan g(x)=0, que és l’arrel de la funció. Per tant: g ( x) 0
f ( a ) f (b ) f ( a ) f (b ) x f (a ) a ab ab
f ( a ) f (b ) f ( a ) f (b ) x f (a) a ab ab
89
x f (a)
ab a b f ( a ) f (b ) a f ( a ) f (b ) f ( a ) f (b ) ab
x f (a)
ab ab a ; x a f (a) f ( a ) f (b ) f ( a ) f (b)
Si tenim en compte que b,a,x són successives aproximacions del 0 de la funció, és a dir, de l’arrel o solució de la funció, podem tornar anomenar la relació entre les successives aproximacions com:
x n 1 x n f ( x n )
x n x n 1 f ( x n ) f ( x n 1 )
3.Aplicació x n 1 x n f ( x n )
x n x n 1 f ( x n ) f ( x n 1 )
a (1,1) x n 1; f ( x n ) 1 b( 2,6) x n 1 2; f ( x n 1 ) 6
x n 1
1 2 1 8 1 1 (1) 1 1 1.1428 ; 1 6 7 7 7
xn2
x n 1 x n 8 174 x n 1 f ( x n 1 ) f ( x n 1 ) f ( x n ) 7 343
xn2
1 3 706614 8 174 49 8 174 218 8 174 7 218 1.2899 ; f ( xn 2 ) 2 7 343 169 7 343 169 7 1183 169 4826809 169 343
x n3
218 8 218 706614 1303035 169 7 1.257 ; 169 4826809 706614 174 1036622 4826809 343
3
174 8 f ( x n 1 ) 2 343 7 8 1 7 174 ( 1) 343
Com es pot apreciar als resultats, aquest és un mètode molt més potent que el de la bisecció. En un pas menys hem obtingut un decimal de precisió més, i això que estem parlant de un nombre molt reduït de passes. De fet, a cada nova reiteració obtenim un de nou, mentre que en l’altre cas s’han necessitat quatre passes per obtenir un sol decimal de precisió. A més a més, mitjançant aquest obtenim les aproximacions en forma de fracció, de manera que les podem representar fàcilment
90
H. Mètode de Newton Ara ja estem en condicions de poder exposar el mètode de Newton, la convergència del qual és molt elevada comparada amb el mètode de la bisecció. El mètode anterior s’ha explicat com a pas previ per entendre amb major facilitat aquest, ja que es tracta d’un cas particular on la distància entre els dos punts inicials és infinitesimal i per tant la secant corresponent equival a la tangent.
1.Representació gràfica 1-Representem a l’eix d’abscisses un punt A qualsevol i proper a f(x)=0. 2-Tracem la seva perpendicular amb l’eix de d’abscisses per tal d’obtenir el punt B d’intersecció amb la funció. 3-Tracem la tangent de la funció en el punt B per tal d’obtenir el punt C d’intersecció amb l’eix d’abscisses. 4-Repetim el punt 2.
Figura 56: Representació gràfica del mètode de Newton(1)
91
Figura 57: Representació gràfica del mètode de Newton (2)
2.Descripció de l’algoritme Com ja hem esmentat abans, el mètode de la secant esta íntimament relacionat amb el mètode de Newton, de tal manera que aquest esdevé un cas particular on la distancia entre els dos punts inicials es infinitesimal i per tant aquests punts són iguals entre ells. Així doncs, a partir d’aquest raonament, podem deduir, prenent com a base la relació del mètode anterior, l’expressió que relaciona les successives aproximacions al mètode de Newton.
xn xn 0 ; x n 1 x n f ( x n ) ;de manera que obtenim un indeterminació. f ( xn ) f ( xn ) 0 Mitjançant la interpretació gràfica dels apartats anteriors, sabem que la recta secant passar a ser una recta tangent, i sabem que qualsevol tangent és la derivada de la funció de la qual és tangent, així que podem dir que: f ( xn ) x n 1 x n f ' ( xn ) x n 1 x n f ( x n )
3.Aplicació x n 1 x n
f ( xn ) f ' ( xn )
x n 1; f ( x n ) x 3 2
x n 1 1
x3 2 1 2 1 4 1 1 1.3 2 3 3 3 3x
92
3
xn2
4 64 2 27 2 3 4 x 2 4 3 4 4 27 2 2 3 16 3 3 3 3 3x 4 3 33 3
x n 3
91 2 91 72 1126819 1.259933 2 72 894348 91 3 72
10 27 4 5 91 1.2638ˆ 16 3 72 72 3
3
Com es pot apreciar als resultats, aquest és un mètode molt més potent que el de la secant. En el mateix nombre de iteracions hem obtingut dos decimal de precisió més, i això que estem parlant de un nombre molt reduït de passes. De fet, a cada nova reiteració obtenim més del doble de xifres decimals, de manera que s’aproxima a l’arrel amb velocitat exponencial. A més a més d’expressar el resultat en forma de fracció, té el gran afegit respecte el mètode anterior que només treballem amb una variable, cosa que facilita i accelera la velocitat d’execució de les iteracions.
4.Algortime computacional
La precisió en només quatre reiteracions és aclaparadora. Un altre fet que demostra la inferioritat del mètode de la bisecció contra el de Newton es que amb el primer es poden arribar a fer unes 900 reiteracions. A partir d’aquest nombre es manifesten bugs, a causa de la precisió del nombre. En canvi, amb el mètode de Newton, això succeeix a la sisena reiteració.
93
I. Qui és pi? Com a continuació de la secció II-3.1, i per tal d’aprofundir en un nombre tan rellevant en matemàtiques i especialment en geometria, analitzarem ara diferents trets i característiques d’un dels més mediatics elements matemàtics.
1.Introducció
Figura 58: El cercle i les seves propietats
El diàmetre es qualsevol segment limitat per dos punts oposats de la circumferència formant un angle de 180º(en el dibuix, de color vermell).El radi és exactament la meitat, és a dir, és qualsevol segment limitat per el centre de la circumferència i qualsevol punt de la perifèria de la circumferència formant un angle de 180º. El perímetre en qualsevol polígon és la suma dels seus costats, o el que es el mateix, és el conjunt de segments que formen el polígon, les línies que el conformen. A més, podem afegir que un segment és igual a la suma dels infinits punts que el formen. Per això, el fet que una circumferència no tingui costats, a simple vista, no significa que no en tingui realment, ja que aquests costats són infinitesimals. Així doncs, el perímetre, línia que dibuixa la circumferència (en el dibuix, de color blau), es igual a la suma del seus infinits costats infinitesimals. Tant es així, que el segment i el punt coincideixen. Per tant, la manera rigorosa d’obtenir el perímetre d’una circumferència seria mitjançant un càlcul integral, que consisteix precisament en això: sumar els infinits punts de la circumferència.
és la relació que hi ha entre el perímetre (P) i el diàmetre (d) de qualsevol circumferència, és P P d 2r Per tant, podem simplificar molt el complex càlcul del perímetre per integrals mitjançant:
a dir,
P d 2r
2.Àrea L’àrea de qualsevol polígon és la superfície que ocupa en el pla. Tot i que el més habitual es utilitzar una fórmula particular segons el polígon, existeixen una sèrie de formules genèriques, cada qual més complexa i més general que la anterior. Per aquesta raó assumirem la veracitat d’aquestes sense la necessitat de deduir-les, ja que a més això no forma part del treball. Així doncs, ara relacionarem les següents àrees: P 2 Pr circumferència AC r 2 r 2r 2
94
Quadrat AQ l 2 on l és el costat del quadrat triangle AT
bh on b és la base i h es la altura del triangle 2
AC A r2 r2 ja que C 2 2 AQ AQ l r bh 2- Si h P i b r , aleshores AC AT ja que AT 2 A A Així doncs, podem dir que T2 C2 ja que si AC AT r r
1-Si l r , aleshores
P 2 Pr Pr i AC r 2 r 2 2r 2
aleshores r 2 AT A C
3.Característiques de El 1761, Johann Heinrich Lambert demostra la irracionalitat de , o el que és el mateix, demostra que no es pot expressar com a quocient de dos nombres racionals. En 1882, Ferdinan Lindemann demostra la transcendència de , o el que és el mateix, demostra que no es pot expressar com a solució de cap equació polinòmica amb coeficients racionals, és a dir, que no existeix cap expressió exacta ni relació algebraica que el defineixi, el qual es tradueix en la impossibilitat de representar-ho, donant com a resposta al clàssic problema grec de la quadratura del cercle que és irresoluble.
4.Incògnites sobre 1- Apareixen sempre cada un dels dígits decimals de ? 2- Qüestió de Brouwer:existeix un punt en l’extensió decimal de on es puguin trobar una successió de mil ceros consecutius (o per extensió n xifres iguals consecutives)? 3-Es normal(es repeteixen el mateix nombre de cops tots els dígits,o el que és el mateix, tenen la mateixa probabilitat d’aparèixer en el llistat de xifres decimals) en base 10? 4- e ,
e
, ln( ) són irracionals? Se sap que no són transcendents.
5.Altres aspectes de Durant molt de temps l’obtenció de xifres decimals de ha donat gran prestigi als matemàtics. Tant és així que abans de ser anomenat 51 se’n deia constant de Ludolph(1540-1610) o constant d’Arquimedes, ja que van ser dos dels primers personatges claus en l’obtenció de decimals de p. El seu lloc l’ocupen avui dia les supercomputadors que estableixen records contínuament, l’últim en l’any 2009, per la supercomputadora T2K Tsukuba System amb 2.576.980.370.000 xifres. Però realment es necessària aquesta quantitat de xifres? Amb 50 decimals es podria descriure amb precisió la curvatura de l’Univers amb un error més petit que la grandària d’un protó 52 Si bé és cert que existeixen partícules encara més petites al protó (leptó, quark, bosons), també és cert que parlem només de 50 xifres (al 1699 ja es coneixien 71 xifres). A més, per què volem tanta precisió inapreciable?
51
notació de William Jones (1706) que popularitza Euler(1748) Bailey, David H., Borwein, Peter B., and Borwein, Jonathan M. (January 1997). "The Quest for Pi". Mathematical Intelligencer (1): 50-57.
52
95
Les raons són diverses: primerament perquè estimula la competitivitat i desenvolupament de supercomputadores, d’altra banda per ajudar a resoldre els enigmes sense resposta de de manera empírica, també per meravellar-nos amb les constants de la Natura. En aquest últim sentit cal destacar, entre altres arts matemàtiques, la música. En aquest aspecte podem dir que si canviem el nombre del sistema decimal al hexadecimal, el podrem escoltar mitjançant programes de midi. En aquest sentit voldria aplaudir al compositor pare de la web http://web.archive.org/web/20071225213740/http://www.geocities.com/Vienna/9349/index.html, que ha anat més lluny, utilitzant hàbilment tot tipus de constants i processos matemàtics per crear vertaderes obres d’art. No és l’únic que ho fa, ni la única manera ni en la única branca artística(els fractals són un altre bon exemple). D’aquesta manera es poden obtenir melodies infinites, ja que el nombre de xifres decimals dels números irracionals és infinit. D’altra banda, en aspectes més socioculturals, cal destacar que el dia 22 de juliol és el dia mundial de l’aproximació de ja que 22/7 és una de les primeres aproximacions decents de . A més, l’expressió 355/113, una millor i igualment antiga aproximació de , s’utilitza a vegades per denotar la quasi-perfecció d’alguna cosa. A més, és un dels nombres matemàtics més mediatic. 53
53
existeix una pel·lícula amb el seu nom(Pi, fe en el caos), kate bush te una cançó sobre ell, el citen en els Simpsons, Futurama, Contacte, Cortines rasgades de Alfred Hitchcock,...
96
J. Qui és e? Com a continuació de la secció II-3.2, i per tal d’aprofundir en un nombre tan rellevant en matemàtiques.
1.Introducció L’estudi de les potències de nombres molt propers a 1 apareix al segle XVII 54 . e és fruit d’aquests estudis. De fet, la seva utilització de un nombre H més gran que qualsevol altre nombre real el qualifica com un dels pioners en l’Anàlisi No Estàndard i l’ús de nombres infinits (vegeu III-2.1).
2.Taula de valors n 1 2 3
f(n) 2 2
9 3 2 .25 4 2 3 64 4 2.3 70 27 3
4
625 5 2 .4414065 256 4
5
7776 6 2 .48832 3125 5
10
11 10
102 103 104 105 106
4
5
10
101 100
1 .110 2 .5937424601 100
1001 1000
1 .01100 2 .7 048138294 ... 1000
10001 10000
1 .0011000 2 .7169239322 ... 10000
100001 100000
1 .0001 10000 2 .7181459268 ... 100000
1000001 1000000
1 .00001 100000 2 .7182 682371 ... 1000000
1 .000001 1000000 2 .71828 04693 ...
54
als estudis sobre logaritmes (exponent a la que una base s’ha d’elevar per obtenir un resultat donat) de Napies(1614) i Bürgi(1620) de manera independent
97
107 108
10000001 10000000
10000000
100000001 100000000
1 .0000001 10000000 2 .718281 69413 ... 100000000
1 .00000001 100000000 2 .718281 79834 ...
A la taula observem clarament que tot i que quan major és n, major és f(n), hi ha unes xifres que es mantenen fixes i mai arribarà a 3 55 . En aquest sentit el podem qualificar com a nombre convergent d’una successió de Cauchy, de manera que la possibilitat de representar-lo a la recta ens assegura que la recta es completa. Un altre fet interessant és que a partir de n=102, les xifres correctes augmenten en 1 fins n=107, moment en el qual no augmenta en una xifra decimal correcta. És a dir, la velocitat de convergència disminueix a mesura que n augmenta.
3.Característiques El nombre e és irracional 56 ,és a dir, no es cap quocient de nombres racionals; i transcendent 57 , és a dir, no és solució de cap equació polinòmica amb coeficients racionals. Així doncs, compleix dos característiques que també complia . Una propietat que el fa molt especial es que la derivada de f(x)=ex és igual a la mateixa ex . i També apareix en la identitat d’Euler e 1 0 , cas particular de la fórmula d’Euler e ix cos x i sin x .
55
demostrat pe Bernulli al 1713, qui proposa el seu estudi per determinar el seu darrer valor per resoldre el problema de l’interès compost 56 demostrat per Euler el 1737 57 demostrat per Hermite al 1873
98
K. Proves d’irracionalitat Els nombres reals es classifiquen en racionals e irracionals. Les xifres decimals d’aquests últims són infinites i no es poden expressar com a relació entre dos nombres, és a dir, com a fracció. Aquest fet va trastornar als pitagòrics que creien que tots els nombres eren racionals. Dins els irracionals trobem els algebraics i els transcendents. A continuació veurem com provar si un algebraic es irracional. LEMA p és parell p 2 es parell prova ( A B ) ( B A) p és parell p 2 n
(2)
p és parell p ( 2 n ) 2 4 n 2 2 ( 2 n 2 ) 2
2
p és imparell p 2 n 1
p 2 ( 2 n 1) 2 4 n 2 4 n 1 2( 2 n 2 2 n ) 1 p 2 és imparell
per ( A B ) ( B A) , si p 2 2 n 1 p 2 n 1 p 2 n
IRRACIONALITAT DE
2
Per fer-ho procedirem amb el mètode de reducció al absurd, és a dir, afirmarem el contrari del que pensem, i si es produeix alguna contradicció, és que la primera premissa, sense negar, era certa. En aquest cas, si volem provar la irracionalitat de 2 , considerarem que 2 és racional.
prova 2
p on p, q Z , M .C .D.( p, q ) 1 q
p2 q2 ; 2q 2 p 2 (1) 2 q 2 q 2
2
p és parell(2) p 2 n , que per (1) dona 2q 2 ( 2 n) 2
2q 2 4n 2
q 2 2n 2 q 2 és parell q és parell(3)
com que p , q són primers relatius, aleshores tots dos no poden ser parells com deduïm en (2) i (3), perquè aleshores el seu quocient no és irreductible, de manera que hem arribat a una contradicció, ergo 2 és irracional.
99
OBSERVACIÓ el producte entre dos irracionals pot donar com a resultat un nombre racional ( a b) ( a b)
a
2
b2 a b2
EXEMPLES a) 3 2 Si 3 2 fos racional, aleshores 3 2
p p , o el que es el mateix 3 2 . Això es q q
impossible, ja que sabem d’antuvi que 2 es irracional, i cap irracional es pot obtenir com la diferència entre un natural i un racional, ja que d’aquesta manera obtindríem un altre racional amb les xifres no decimals canviades. 1 5 2 Amb el mateix procediment d’abans, podem demostrar que 5 es irracional, on en aquest cas el nombre p seria imparell múltiple de 5, es a dir, p 5 m , on m ha de ser imparell per a que p ho sigui també. Al substituir obtindríem que 5q 2 (5m ) 2 ; 5q 2 25 m 2 ; q 2 5m 2 demostrant que p,q són imparells i tenen factor comú 5, el qual es contradictori.
b)
Ara procedirem amb
1 5 p 1 5 , considerant-lo racional per torbar una contradicció. En 2 q 2
2p 1 , el qual es absurd, perquè cap irracional es pot expressar com un racional q doblat, ja que només els fa caviar els decimals i no els converteix en infinits sense periodicitat, definició del tot irracional. A més, com hem dit abans, la resta o suma de naturals no afecta.
aïllem
c)
5
5 3
3 com ja sabem, 3 3 és irracional i o podem comprovar amb el mètode descrit ja dues vegades, més i menys detallat, en els apartats anteriors. Només canvia l’índex de l’arrel, per la qual cosa p 5q 3 5 haurem d’elevar al cub. Aleshores diem i aïllem 3 , el qual és impossible com en 3 p 3 q comentat en l’apartat anterior, que l’índex de l’arrel sigui 3 no afecta en absolut.
d) 23 2 és exactament com en els casos anteriors, però si volem, podem demostra-ho directament, ja que al elevar al cub aquest nombre, obtenim un número enter que no dificulta les operacions.
100
L. Tipus de funcions 1.Injectiva Una funció és injectiva si a cada valor d’un conjunto X (Domini) li correspon un valor diferent en la imatge de la funció, es a dir, li correspon només un valor del conjunt Y, de manera que, en el conjunt X no pot tenir dos o més elements que tinguin la mateixa imatge. Per tant es compleix que:
f ( x) f ( z ) x z
2.Exhaustiva Una funció es exhaustiva si cada element de Y és la imatge de com a mínim un element de X. Per tant es compleix que:
Re c ( X ) Y
3.Bijectiva Una funció es bijectiva si és alhora injectiva i exhaustiva. Per tant el nombre d’elements de X és igual al nombre d’elements de Y
101
M. Propietats dels nombres reals Es demostra que és l’únic cos amb les seves propietats
1.Cos commutatiu 1.1.Suma (propietats) -Commutativa: a b b a -Associativa: (a b) c a (b c) - Element neutre: 0 a 0 a - Element simètric: a a ( a ) 0
1.2.Multiplicació (propietats) -Commutativa: a b b a -Associativa: (a b) c a (b c) - Element neutre: 1 a 1 a 1 1 - Element simètric: a 1 , a 0 a a -Distributiva respecte de la suma: a (b c) a b a c
2.Cos totalment ordenat a, b (a b)v( a b)v( a b)
3.Cos complet Tota successió de Cauchy és convergent . Cobreix tots els punt de la recta(axioma de CantorDedekind)
4.Cos arquimedià Entre dos nombres reals qualsevol hi ha sempre infinits nombres reals, de manera que sempre es pot trobar un nombre qualsevol mitjançant un nombre menor si aquest es multiplica suficients cops. Per tant, podem dir que és un cos infinitament dens.
5.Número d’elements 0
2
=
1
102
N. Propietats dels nombres hiperreals Es demostra que es l’únic cos amb les seves propietats. A diferència del anterior, no compleix la propietat arquimediana.
1.Cos commutatiu 1.1.Suma (propietats) -Commutativa: a b b a -Associativa: (a b) c a (b c) - Element neutre: 0 a 0 a - Element simètric: a a ( a ) 0
1.2.Multiplicació (propietats) -Commutativa: a b b a -Associativa: (a b) c a (b c) - Element neutre: 1 a 1 a 1 1 - Element simètric: a 1 , a 0 a a -Distributiva respecte de la suma: a (b c) a b a c
2.Cos totalment ordenat a, b (a b)v( a b)v( a b)
3.Cos complet Tota successió de Cauchy és convergent . Cobreix tots els punt de la recta.
4.Número d’elements
2
2
0 =
2
103
O. Propietats dels nombres racionals A diferència dels nombres reals, els demostra que els racionals no són un cos complet.
1.Cos commutatiu 1.1.Suma (propietats) -Commutativa: a b b a -Associativa: (a b) c a (b c) - Element neutre: 0 a 0 a - Element simètric: a a ( a ) 0
1.2.Multiplicació (propietats) -Commutativa: a b b a -Associativa: (a b) c a (b c) - Element neutre: 1 a 1 a 1 1 - Element simètric: a 1 , a 0 a a -Distributiva respecte de la suma: a (b c) a b a c
2.Cos totalment ordenat a, b (a b)v( a b)v( a b)
3.Cos arquimedià Entre dos nombres reals qualsevol hi ha sempre infinits nombres reals, de manera que sempre es pot trobar un nombre qualsevol mitjançant un nombre menor si aquest es multiplica suficients cops. Per tant, podem dir que és un cos infinitament dens.
4.Número d’elements
0
104
P. Comparativa En referència a l’ultima part del treball, he volgut veure com introdueixen diferents llibres de batxillerat els nombres infinitèsims que s’utilitzen en el càlcul. He comprovat, procurant ser el més crític possible i tenint en compte en tot moment el descobriment dels hiperreals, que els introdueixen d’una manera gairebé gratuïta, sense massa presentacions i com una mera anotació convencional que pot facilitar la comprensió. En cap moment s’utilitzen noms com infinitèsim o hiperreal, i alhora de definir-los, es fa incorrectament, ja que no es té en compte que no formen part dels reals(com s’aprecia clarament al llibre de Cou). Aresta, Matemàtiques I, Cou, (opció A i B), Barcanova (1990) 1) A la pag. 210, com a concepte previ a l’anàlisi, en el primer paràgraf es parla de l’axioma de Cantor-Dedekind, anomenant-lo “propietat de completitud dels reals”. Aquest fet resulta certament irònic, per tal com en l’anàlisi s’utilitzen nombres infinitesimals que no pertanyen als reals. D’aquesta manera es confirma com n’està de generalitzat l’Anàlisi Estàndard. 2) A la pag. 234 surt per primer cop els nombres infinitèsims, amb la forma de diferencial, en l’explicació de la regla de la cadena. L’anomena “notació clàssica [...] expressió que per la seva simplicitat justifica aquesta notació”. D’aquesta manera, i sense majors presentacions, ens ha introduït els nombres infinitèsims per tal de fer una explicació més senzilla. Així doncs s’admet que l’NSA és més senzill e intuïtiu, i tot i això, irònicament, no és el que s’ha imposat. d ( g f ) dg du on u f (x) dx du dx 3) A la pag.235 es dedica una secció al diferencial sense arribar a explicar què és de manera formal. En aquesta part es recorda la definició geomètrica de la derivada en un punt, és a dir, com el pendent de la recta tangent (seccio III-3.1), o amb les seves paraules “el límit del quocient entre l’increment de la variable dependent( y ) i l’increment de la variable independent( x ) quan aquest últim tendeix a zero”, és a dir: y dy lim dx x 0 x on els seus y i x corresponen en la nostra figura 38 a l’altura i la base del triangle. Novament utilitza els nombres infinitèsims sense cap introducció previa. De fet arriba a dir “Hem expressat la derivada com a quocient de diferencials sense donar-ne cap significat i això és el que farem en aquest apartat.” Però quan ho fa, diu que dy f ' ( x) dx i que dx R el qual és erroni, ja que forma part dels hiperreals. Aleshores utilitza la definició de derivada trobada abans per dir:
y dy 0 x 0 x dx
lim
y dy 0 x 0 x de manera que conclou que dy y (“és una aproximació”) si considerem dx x , amb x “petit”, en paraules de l’autor, quan el que esta considerant és que x és un infinitèsim i no un nombre merament “petit”. Definició bastant rudimentària, la seva, diria jo. Desprès considera que dx x per obtenir
lim
4) Considerant que la seva “definició” d’un diferencial de x és suficient, tornem a trobar de nou aquesta notació, sense més preàmbuls ni explicacions, a la pag. 300, en la secció de càlcul integral, quan escriu: d dF ( x) ( F ( x) C ) F ' ( x) f ( x) dx dx
105
A partir d’aquest moment assoleix aquesta notació com a pròpia sense donar més explicacions formals al respecte, definint f ( x)dx com “el conjunt de les primitives de la funció f (el símbol
dx indica que considerem la variable independent x )”. Cal remarcar la seva concepció de dx al parèntesis com un simple símbol, una mera anotació que ha adoptat sense més raó de ser. 5) En la pag. 317, tractant el tema de les integrals per substitució escriu: g (t ) g ' (t ) f ' ( x)dx i com que havia definit prèviament g (t ) g ' (t )dt
dedueix que dt f ' ( x )dx “formula que justifica l’indicador dx en la definició del símbol integral perquè es comporta com els diferencials”. Novament el tracta com una mera indicació que ha perdut el seu significat originari com a infinitesimal i es remet a la primera explicació de la pag. 234. 6) Resulta divertit com citen a Leibniz a la pag. 208 (introducció històrica a l’anàlisi) i utilitzen la seva notació sense saber ben bé què és.
Matematicas 2, Bachillerato LOGSE, Mc Graw Hill(1996) 1) A la pag. 310, amb el títol de “notación alternativa para la derivada” considera f ( a h ) f ( a ) f on els seus f i x corresponen en la nostra figura 38 a l’altura i la base h x del triangle, respectivament. Així doncs, considera x h i f f (a h) f (a )
df ”, de manera que està dx considerant que dx 0 , ja que utilitzant el mateix raonament d’abans consideraríem dx x h “Al resultado de tomar h 0 se le denota, en esta notación, por
Tot i que la definició d’un infinitesimal com un nombre que tendeix a zero no es massa formal, jo la consideraria més correcta que la vista en el llibre anterior, tot i que tampoc arriba a aprofundir sobre aquests nombres. Aleshores, utilitzant la nova terminologia, defineix
f df lim dx x 0 x Tot i això, l’ús dels infinitesimals torna a ser una mera qüestió de terminologia, “símbols”, en paraules de l’autor, com expressa quan diu “desde ahora la derivada de y f (x ) respecto de x df dy se denotarà indistintamente por cualquiera de los símbolos f ' ( x ), , ” dx dx 2) A la pag. 319, en l’explicació de la regla de la cadena, es tornen a utilitzar els infinitesimals per tal de facilitar el seu enteniment. “La razón de que se llame regla de la cadena queda más clara, si cabe, en la notacion alternativa para la derivada [...] fácil de memorizar[...]”. L’explica de manera similar al llibre anterior i al·legant novament a la seva senzillesa. Al marge de la pag. 318 se’n fa un exemple amb el cas f ( x ) ln( x 2 ) A partir d’aquest moment utilitza la “anotació alternativa” assíduament com a definició alternativa a la convencional, com en el cas de la regla de la cadena per més de dos funcions(pag.320), per la derivada de la funció inversa(que aquest cop qualifica de “notación
106
más explicita”), en la relacionades(pag.322).
derivada
de
ex
(pag.321)
i
en
les
taxes
de
variacions
3) A la pag.365, en el tema d’integrals es fa una introducció molt interessant i semblant a la nostra, en contraposició del llibre anterior que era menys explicatiu. D’aquesta manera, utilitzant el mètode d’Arquimedes, sense citar-ho explícitament, construeix un grup de rectangles l’altura dels quals es limitada pel valor màxim de la funció dins la franja de la seva base i que per tant sobresurten i construeix un altre grup de rectangles aquest cop limitats, en altura, pel valor mínim de la funció dins la franja de la seva base i que per tant no sobresurten. Aleshores estableix que la suma de les àrees que sobresurten i les que no ho fan són respectivament majors i menors a l’àrea de la funció. A més a més, s’adona que quan més particions fem de la funció en rectangles [es a dir, quan més petita sigui la base dels respectius rectangles] aquests valors s’aproximen a l’àrea desitjada. De manera que si fem infinites particions [o el que és el mateix, prenem rectangles de base infinitesimal], trobarem l’àrea de la funció. Al marge s’explica més detallada la nomenclatura de la deduïda
f ( x)dx : “ el símbolo
fue
introducido por Leibniz como una S alargada, para representar <>. Invita a pensar [de fet es així] en la integral definida como una suma de rectángulos de anchura infinitamente pequeña [infinitesimal] dx y altura f (x) , como si una varilla de altura variable f (x) barriera desde a hasta b, mediante rectángulos estrechísimos[de base infinitesimal], la región R íntegramente(de ahí el nombre de <>).” Voldria recalcar l’expressió “infinitament petit” com a eufemisme de infinitèsim, nom el que sembla que té por de pronunciar. Menys formal és, de totes maneres, quan diu “rectangles estretíssims”(!I tan estrets! Com que són infinitesimals). Tot i aquesta bona explicació del marge (malgrat no aprofundir en els conceptes d’infinitesimal), al text central és diu “El símbolo dx […] recuerda como se esta llamando a la variable respecto de la cual se efectúa la integración”. Cal remarcar d’això la concepció de símbol que només serveix per recordar de que parlem. És una simple anotació que s’utilitza per conveni. A partir d’aquest moment utilitza el diferencial de x amb total llibertat com a mera notació sense aprofundir més en els conceptes d’hiperreals, tot i utilitzar-los. Batxillerat 2,Matemàtiques ciències de la naturalesa i la salut–tecnologia, editorial Cruïlla (1998) 1)La seva particular introducció al diferencial d’una funció diu, a la pag. 242: “ El producte f ' (a) h és una bona aproximació de la taxa de variació de la funció f (x) [recordem en aquest aspecte que f dy f ' (a ) dx , com diu posteriorment com a definició del diferencial de la funció f (x) , considerant dx h , e interpretem que dx 0 per tal com anteriorment considerava que h 0 , tot i que això no ho diu explícitament; en aquest sentit es torna a definir un diferencial com un nombre que tendeix a 0, com es veia al llibre anterior ]; a més, com que és fàcil de calcular, s’utilitza en moltes ciències. Tot això ha contribuït a la popularització d’aquest valor, que té un nom propi: diferencial.” Resulta curiosa aquesta visió dels diferencials com a expressió “popular”, sobretot tenint en compte que en part és veritat, per tal com hem vist que s’utilitzen sovint en càlcul integral; però aquesta “popularitat” també ha vulgaritzat el seu ús, l’ha “col·loquialitzat” en la matemàtica com una “crossa lingüística” sense massa sentit, ara per ara. Podríem comparar aquest fet amb l’ús de l’expressió “amor platònic”. Quanta gent coneix realment a que es referia Plató? Qui ha llegit El convit on exposa la seva teoria? I tot i això, qualsevol illetrat utilitza l’expressió.
107
“ dy i dx són símbols formals les dues lletres, per tant, són inseparables”. Aquesta proposició no sabria dir fins quin punt és certa. Indubtablement es consideren com a tal, en el seu ús corrent en el càlcul integral. Però admeten els nombres hiperreals, i definint d com un infinitesimal, no m’atreviria assegurar tan agosaradament com fa l’autor que dx és una unitat, tot i que reiterem, s’utilitza com a tal en el càlcul, però no necessàriament en altres construccions amb hiperreals. 2) Quan, a la pag.243, s’explica la interpretació geomètrica del diferencial (altura de la figura 38), queda patent la seva falta de formalització: y dy f ' ( x ) , prescindint del concepte de límit en front de l’aproximació. 3) No tornem a veure els diferencial fins la pag. 305, on desprès d’haver definit la primitiva com, en paraules de l’autor, “notació de derivades”( F (x) és primitiva de f ( x) F ' ( x) f ( x) ), on li dedica una pàgina sencera, a la pàgina següent trobem amb el títol “notació diferencial” un requadre-resum igual al de la pagina anterior però canviant la paraula derivada per diferencial i la definició anterior per F (x) és primitiva de f ( x ) dF ( x ) f ( x)dx (pura optimització de l’espai, sens dubte). 4) Si bé en els altres llibres es mencionava a Leibniz com a pioner en aquests càlculs, l’única menció que he trobat d’ell en aquest present llibre ha estat a la pag. 306, com un simple suggeridor de la nomenclatura que s’usa en les integrals. Sincerament ridícul, tenint en compte la seva importància en la invenció del càlcul. Deixant de banda aquesta nota històrica al marge, diu: “La segona notació la devem a Leibniz, que va tenir les seves raons per utilitzar la s allargada, , i també la dx ; però aquestes raons, de moment, no adquireixen ple sentit. N’hi ha prou de saber que el símbol x.”.
...dx
serveix per indicar les primitives d’una funció respecte a
Per enèsima vegada ens repeteixen que només és una qüestió de nomenclatura, que no hem de saber res més al respecte (gairebé podríem dir que són els sofistes grecs que ens enganyen per tal de no escapar de la cova i conèixer la veritat, dins el marc de la introducció). Voldria emfatitzar “va tenir les seves raons [per utilitzar la seva nomenclatura], però aquestes raons, de moment, no adquireixen ple sentit”. Aquestes “raons” són ni més ni menys la seva teoria de les nòmades, dels infinitèsims, dels hiperreals. I com bé expressa l’autor, aquest significat s’ha perdut; els símbols que resten de la seva teoria només són una perenne petjada del passat històric. El que no tinc tan clar és a què es refereix amb el “de moment”, sobretot tenint en compte que ni tan sols una doctorada en números coneixia els nombres infinitesimals o hiperreals, o si més no, no els tractava com a tal, i els utilitzava, com tothom, sense saber-ho.
108
Índex de figures Figura 1: Teorema de Tales .........................................................................................................................11 Figura 2: Representació de fraccions (1) .....................................................................................................12 Figura 3: Representació de fraccions (2) .....................................................................................................13 Figura 4: Representació de fraccions (3) .....................................................................................................13 Figura 5: Representació de fraccions (4) .....................................................................................................14 Figura 6: Representació de la solució d’una equació de primer grau..........................................................15 Figura 7: Diagonal d’un rectangle amb costats naturals..............................................................................18 Figura 8: Arrel quadrada en dues passes encadenant triangles....................................................................20 Figura 9: Arrel quadrada en dues passes superposant triangles ..................................................................21 Figura 10: Triangle explicatiu pel mètode inductiu de representació de arrels quadrades..........................24 Figura 11: Representació del mètode inductiu encadenant els triangles .....................................................25 Figura 12: Representació del mètode inductiu superposant els triangles ....................................................25 Figura 13: Representació del mètode inductiu per superposició prescindint dels triangles ........................26 Figura 14: Triangle explicatiu pel mètode deductiu de representació de arrels quadrades .........................27 Figura 15: Triangle explicatiu del teorema de l’altura ................................................................................28 Figura 16: Representació pel mètode deductiu de arrels quadrades............................................................29 Figura 17: Representació de la solució d’una equació de segon grau ........................................................30 Figura 18: Representació de phi com a solució d’una equació ...................................................................31 Figura 19: Representació de phi com a diagonal d’un pentàgon.................................................................32 Figura 20: Representació gràfica del mètode de la bisecció........................................................................43 Figura 21: Representació gràfica del mètode de la bisecció depurat...........................................................43 Figura 22: Pi,mètode d’exhaustió: triangle (1) Figura 23: Pi,mètode d’exhaustió: triangle (2) ............................................................................................46 Figura 24: Pi,mètode d’exhaustió: hexàgon (1) Figura 25: Pi,mètode d’exhaustió: hexàgon (2)...........................................................................................46 Figura 26: Pi,mètode d’exhaustió: dodecàgon (1) Figura 27: Pi,mètode d’exhaustió: dodecàgon (2).......................................................................................46 Figura 28: Pi,mètode d’exhaustió: 24-àgono (1) Figura 29: Pi,mètode d’exhaustió: 24-àgono (2) ........................................................................................46 Figura 30: Pi,mètode d’exhaustió: 24-àgono (3) ........................................................................................47 Figura 31: Posició a la recta real de l’aproximació a la mil·lèsima d’alguns nombres reals ......................53 Figura 32: Enumeració dels enters ..............................................................................................................56 Figura 33: Bijecció entre la circumferència i la recta numèrica..................................................................57 Figura 34: Bijecció de Peano entre la recta i la superfície ..........................................................................58 Figura 35: Els hiperreals a la recta geomètrica............................................................................................61 Figura 36: L’infinit ......................................................................................................................................62 Figura 37: Càlcul diferencial (1)..................................................................................................................64 Figura 38: Càlcul diferencial (2)..................................................................................................................65 Figura 39: Càlcul diferencial (3)..................................................................................................................66 Figura 40: Plantejament d’un problema de màxims i mínims.....................................................................68 Figura 41: Funció d’un problema de màxims i mínims...............................................................................68 Figura 42: Integral de una funció corba.......................................................................................................70 Figura 43: Càlcul integral(1) .......................................................................................................................70 Figura 44: Càlcul integral(2) .......................................................................................................................71 Figura 45: Càlcul integral amb infinitèsims ................................................................................................71 Figura 46: Instrument de mesura egipci ......................................................................................................75 Figura 47: Mètode mètric egipci (1)............................................................................................................76 Figura 48: Mètode mètric egipci (2)............................................................................................................76 Figura 49: Mètode mètric egipci (3)............................................................................................................77 Figura 50: Mètode mètric egipci (4)............................................................................................................78 Figura 51: Rectangles àurics........................................................................................................................80 109
Figura 52: Lúnula d’Hipòcrates (1) .............................................................................................................83 Figura 53: Lúnula d’Hipòcrates (2) .............................................................................................................84 Figura 54: Representació gràfica del mètode de la secant (1) .....................................................................88 Figura 55: Representació gràfica del mètode de la secant (2) .....................................................................89 Figura 56: Representació gràfica del mètode de Newton(1) .......................................................................91 Figura 57: Representació gràfica del mètode de Newton (2) ......................................................................92 Figura 58: El cercle i les seves propietats....................................................................................................94
110
BIBLIOGRAFIA Durant tot el treball he anat citant tot de links i obres alienes. Els reescric ara tot junts per tal de respectar aquesta secció típica de qualsevol escrit: -Aresta, Matemàtiques I, Cou, (opció A i B), Barcanova (1990) -Matematicas 2, Bachillerato LOGSE, Mc Graw Hill(1996) -Batxillerat 2,Matemàtiques ciències de la naturalesa i la salut–tecnologia, editorial cruïlla (1998) -Los matemáticos no son gente seria de Claudi Alsina i Miguel de Guzmán - Elementary Calculus: An Infinitesimal Approach de Jerome Keisler, que podeu llegir a http://www.math.wisc.edu/~keisler/ - La imposibilidad o no de algunas construcciones con regla y compás de Irene Peral Walias i María Asunción Sánchez Torres de la U.A.M. que podeu llegir a http://www.uam.es/otros/fcmatematicas/Trabajos/Bartolome/Trabajo.doc. -Teoria de Galois de María Julia Redondo del Instituto de Matemática – UNS (Av. Alem 1253, Bahía Blanca) que podeu llegir a http://inmabb.criba.edu.ar/gente/mredondo/MJRedondoGalois33.pdf - Las formulas de Cardano-Ferrari de Carlos Ivorra que podeu llegir a: http://www.uv.es/ivorra/Libros/Ecuaciones.pdf -Sobre la aritmética transfinita de Cantor de Antonio Leon Sanchez, que podeu llegir a http://www.interciencia.es/PDF/Mathematics/SobreLaAritmeticaTransfinitaDeCantor.pdf -Georg Cantor y la teoría de conjuntos transfinitos de Joseph W. Dauben que podeu llegir a http://www.cayocesarcaligula.com.ar/Textos/Cantor/georg_cantor_y_la_teoria_de_transfinitos.h tm -Article de la Gaceta , Labyrinth of Thought. A history of Set Theory and its Role in Modern Mathematics. Birkhauser Verlag, Basel, 1999. per Ignacio Jan que podeu llegir a http://divulgamat.ehu.es/weborriak/historia/Gaceta/Historia43.pdf Webs (pròpiament dites): http://www.euclides.org/ www.wikipedia.org http://www.portalplanetasedna.com.ar/disputas_matematicas.htm http://gaussianos.com/la-semana-de-la-cubica-la-historia-de-su-resolucion/ http://www.ugr.es/~eaznar/galois.htm http://divulgamat.ehu.es/weborriak/historia/MateOspetsuak/Galois.asp http://web.jet.es/gemart/galois.htm#v
111