Arrel quadrada de 2
La diagonal d'un quadrat de costat 1 fa l'arrel de dos ![]() | |
Tipus | constant matemàtica, nombre irracional, arrel quadrada, nombre algebraic i quadratic irrational (en) ![]() ![]() |
---|---|
Propietats | |
Valor | 1,4142135623731 ![]() |
Altres numeracions | |
Numeral romà | I |
Binari | 1.0110101000001001111...[1] |
Hexadecimal | 1.6A09E667F3BCC908B2F... |
Fórmules | |
Expressió algebraica | ![]() |
Fració contínua |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0e/Dedekind_cut-_square_root_of_two.png/220px-Dedekind_cut-_square_root_of_two.png)
L'arrel quadrada de 2 (o constant pitagòrica) anotada com és definit com l'únic nombre algebraic positiu que, multiplicat per si mateix, dona el nombre 2, altrament dit, √2 × √2 = 2. És un nombre irracional, que té un valor aproximat de:
- .[2]
El càlcul del valor aproximat de √2 ha estat un problema matemàtic durant segles. Aquesta recerca ha permès perfeccionar els algorismes de càlcul d'extracció d'arrels quadrades. En informàtica, han servit per optimitzar dels algoritmes en la reducció del temps de càlcul i el consum de memòria.[3]
La longitud d'√2 pot ser construïda geomètricament de diverses maneres: per exemple, com la diagonal d'un quadrat de costat la unitat, que és la hipotenusa d'un triangle rectangle isòsceles, val √2 segons el teorema de Pitàgores.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a6/Square_root_of_2_triangle.svg/220px-Square_root_of_2_triangle.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/ec/N%C3%BAmero_raiz_de_dos.svg/220px-N%C3%BAmero_raiz_de_dos.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/6c/10%2C000_digits_of_square_root_of_2_-_poster.svg/220px-10%2C000_digits_of_square_root_of_2_-_poster.svg.png)
L'arrel de dos, també és anomenada constant de Pitàgores[4] en honor del filòsof i matemàtic grec Pitàgores (582 aC - 496 aC), va ser estudiada des de fa molt temps pels babilònics, experts en qüestions de segon grau i disposaven d'un algoritme d'aproximació precís. Des de l'Escola de Pitàgores, els grecs del segle v aC i del segle IV aC l'estudien per tal d'entendre millor la incommensurabilitat, concepte equivalent al d'irracionalitat que es coneix actualment. Van trobar fins a tres demostracions diferents de la irracionalitat del nombre, que van conduir a diversos avenços, com el desenvolupament del raonament per l'absurd, el mètode del descens infinit o l'antifèresi, un algoritme comparable a la fracció contínua actual. Per als grecs, ni les fraccions ni els nombres irracionals són nombres. Aquest pas es va donar pels matemàtics àrabs, en el que va ser l'inici a l'àlgebra.
Aquest nombre intervé en diverses aplicacions de la vida quotidiana:
- Per les seves propietats geomètriques, és present en un gran nombre d'obres arquitectòniques. Un exemple d'elles és la Sala Hipòstila del Park Güell de Barcelona, obra de l'arquitecte Antoni Gaudí, on la raó entre la distància entre dues columnes no seguides entre la distància de dues columnes consecutives és igual a l'arrel de dos.
- En astrofísica s'obté que la velocitat mínima que un cos necessita per poder escapar de l'atracció de la gravetat entre la velocitat d'un cos en una òrbita circular és igual a l'arrel de dos.
- Els fulls de paper de format internacional (ISO 216) tenen una proporció entre la llargària i l'amplada igual a l'√2.
- En música, la raó entre les freqüències de la quarta augmentada de l'escala temperada val √2.
- En electricitat, la tensió màxima del corrent altern monofàsic domèstic val √2 de la tensió eficaç indicada (generalment 110 o 230 V.
- En fotografia, la sèrie de valors d'obertura del diafragma són valors aproximats d'una progressió geomètrica de raó igual a √2.
Història
Període babilònic antic
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0b/Ybc7289-bw.jpg/220px-Ybc7289-bw.jpg)
La cultura matemàtica babilònica va ser, sobretot, algorítmica. Disposava d'un sistema de numeració en notació posicional.[5] Algunes tauletes, com la BM 13901, mostren una bona coneixença de les equacions de segon grau, probablement tractades a partir de mètodes geomètrics simples. Per tal de disposar de mètodes de resolució, els babilonis sabien calcular aproximacions d'arrels quadrades. La tauleta YBC 7289, redactat en el primer terç del segon mil·lenni abans de Crist, dona una aproximació de l'arrel de dos, interpretada com la raó entre la diagonal d'un quadrat i el costat, sota la forma següent:[6]
Aquesta escriptura correspon a la millor aproximació possible d'√2 amb quatre xifres significatives en numeració babilònica (sexagesimal, de base 60).[7]
- .
L'aproximació és precisa a la mil·lionèssima. Denota la coneixença d'un algoritme d'aproximació de l'arrel quadrada, però s'ignora de quin. Podria tractar-se del mètode d'Heró,[6] encara avui en dia un dels més eficaços.[8]
Una altra aproximació antiga a aquest nombre irracional es dona a l'Antiga Índia en el text matemàtic Baudhaiana-sulba-sutra (d'entre el 600 i el 300 aC) que diu: incrementa la longitud (del costat) per la seva tercera part, i la seva tercera per les seves tres quartes i la seva tercera per la seva trenta-quatrena part de quatre.[9] És a dir:
Grècia antiga
Els matemàtics de l'antiga Grècia van descobrir i demostrar la irracionalitat de l'arrel de 2, en una època que resulta difícil de determinar, a tot tardar en les primeres dècades del segle IV aC i sembla que no abans del segle v aC.[10] Però ells no el van expressar mai d'aquesta forma, com a nombre √2, sinó com una raó (en el sentit de proporció) entre la diagonal i el costat d'un quadrat. I van mostrar com les dues mesures són incommensurables, és a dir, que no es pot trobar un segment unitat, per petit que sigui, que permeti mesurar de manera exacta les dues magnituds.
El descobriment de la irracionalitat, la data, les circumstàncies que van conduir a ella, les seves conseqüències, la naturalesa de les primeres demostracions,... tot això ha generat molt treball entre els historiadors,[10] però no han estat capaços d'arribar a un consens.[11]
No existeixen evidències arqueològiques anàlogues a les tauletes babilòniques pel cas dels matemàtics de l'Antiga Grècia, però sí que s'han trobat textos transmesos per tradició, per còpia i recòpia. Els més antics que han sortit a la llum daten del segle iv aC. Entre aquestes obres, en què les matemàtiques no són l'objectiu principal, hi trobem els treballs de Plató i els d'Aristòtil.
Plató i Aristòtil
En un passatge molt conegut del Menó, Plató posa en escena Sòcrates fent descobrir un jove esclau la duplicació d'un quadrat, mitjançant la construcció d'un quadrat sobre la diagonal de l'original. Sòcrates vol convèncer Ménon que el jove esclau troba un coneixement que ja és en ell mateix (mitjançant la tècnica retòrica coneguda com la maièutica). David Fowler, matemàtic historiador de la matemàtica anglès, data el text al 385 aC i el considera també la primera prova material directa de la pràctica de la matemàtica grega.[12]
La primera menció coneguda de la incommensurabilitat és igualment deguda a Plató, en una obra més tardana, el Teetet, on descriu Teodor de Cirene exposant allò que correspon a la irracionalitat de les arrels quadrades dels nombres del 3 al 17 que no són quadrats perfectes.[13] Es dedueix d'aquest passatge que la irracionalitat de l'√2 ja era coneguda a l'època en què Plató va escriure, i fins i tot durant els anys en què es creu que Théodore s'hauria dedicat a la docència,[14] les primeres dècades del segle IV aC.
A l'Organon, Aristòtil agafa com a exemple la reducció a l'absurd que el condueix a la incommensurabilitat de la diagonal,[15] i precisa (en dues ocasions) que la hipòtesi de la commensurabilitat condueix al fet contradictori que un nombre parell és igual a un nombre imparell.[16] La indicació és poc precisa, però es tracta igualment del primer a tenir una demostració.
Euclides
En el llibre Elements, d'Euclides, el primer tractat de matemàtiques que ens ha arribat escrit al voltant de l'any 300 aC, el tractament de la incommensurabilitat ja és bastant elaborat. Aquest tema és definit i tractat en el llibre X, i la proposició 2 en dona caracterització a partir d'un procediment de subtraccions iteratives, l'antifèresi, procediment que avui es coneix com l'algorisme d'Euclides (una divisió es pot considerar una sèrie de subtraccions) en l'aritmètica i la fracció contínua en els nombres reals.[17] Una longitud és incommensurable mentre hi hagi residu, el procediment continua indefinidament. La proposició 9 permet establir una relació amb les propietats aritmètiques tractades en els llibres VII i VIII.[18] Algunes edicions antigues del llibre X que presenten en un apèndix una proposició (de vegades enumerat 117) que tracta directament de la irracionalitat de l'arrel de dos (de la incommensurabilitat de la raó entre la diagonal d'un quadrat i el seu costat), aportant un argument de paritat i un de descendència infinita. Però aquest article no s'integra en la resta del text, és per això que es creu que ha estat afegit per un interès històric, molt possiblement després d'Euclides.[19] Sembla ser posterior a una altra demostració,[20] sempre basant-se en un argument de paritat donat en un dels passatges d'Aristòtil citat aquí sota per Alexandre d'Afrodísies el segle ii,[21] el més antic i complet que ens ha arribat amb data (de la incommensurabilitat de la diagonal d'un quadrat respecte al seu costat).[22]
Hipòtesis i reconstruccions
El que es pot saber sobre el descobriment de la irracionalitat depèn, més enllà dels Elements, dels fragments de textos antics d'autors posteriors, en particular d'una història d'un alumne d'Aristòtil, Eudem de Rodes i més generalment de textos històrics tardans, la fiabilitat dels quals no és bona.
També hi ha diverses teories pel que fa al context i les causes del descobriment de la incommensurabilitat. Pel que fa a les seves primeres manifestacions, els historiadors es limiten a reconstruir-les d'una manera coherent segons coneixements que se suposen d'aquella època. Aquestes reconstruccions especulatives, desenvolupades a finals del segle xix i principis del xx,[23] estan lluny de coincidir i han obert sempre el debat.[24]
Sobre √2
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/ca/Dedekind.jpeg/220px-Dedekind.jpeg)
La història de l'arrel de dos es confon llavors amb la de l'arrel quadrada i més generalment amb la dels irracionals. Es pot resumir en les següents línies.
Els grecs concebien el que nosaltres anomenem nombres racionals o reals com a proporcions, no com a nombres.[25] La feblesa dels conceptes apareix en igualtats com √2 x √3 = √6. Per als grecs, no és demostrable: √2 x √3 designa una proporció entre àrees i √6 no pertany al món de les àrees. El quadrat d'una superfície no existeix per als grecs.[26]
La cultura matemàtica aràbiga de l'antiguitat és l'origen del següent progrés. A principis del segle ix, el persa Muhàmmad ibn Mussa al-Khwarazmí desenvolupa els conceptes d'equació[27] i d'incògnita. Aquests descobriments de vegades són considerats com el naixement de l'àlgebra, i van conduir gradualment a la idea de donar un estatus de nombre a les fraccions i les proporcions incommensurables. Les propietats algèbriques de les arrels quadrades són establides. Omar Khayyam desenvolupa en el segle xi una teoria on les proporcions són nombres, encara que els incommensurables encara són considerats impropis.[28] Europa n'assimila les nocions tardanament, al segle XVI], període de polèmica sobre si els incommensurables mereixen tenir l'estatus de nombre.[29] És en aquesta època que l'ús del símbol √ es consolida.[30]
Construir un univers de nombres en què la igualtat √2 x √3 = √6 sigui demostrada rigorosament no és fàcil. Aquesta construcció apareixerà tardanament de la mà de Dedekind, l'any 1876.
Propietats
L'arrel quadrada de dos té diverses propietats que la fan notable, tan geomètricament com algebraica. Des del punt de vista geomètric, apareix en primer lloc com a raó de proporció entre la diagonal i el costat d'un quadrat. Quant a les seves propietats algebraiques, és sovint definida com l'única arrel positiva solució de l'equació polinòmica de segon grau següent:
on la segona solució de l'equació és -√2.
A continuació es mostren altres propietats de la constant.
Representació en fracció contínua
L'arrel quadrada de dos està relacionada amb un cert nombre de representacions en fracció contínua periòdica diferents. De manera general, segueixen la següent representació:[31]
amb a² − 2b² = k, i amb a i b nombres enters estrictament positius. En el cas particular en què a=1, b=1 i k=-1, es té la següent representació:
De manera més general, es pot calcular la representació en fracció contínua d'una arrel qualsevol emprant la següent identitat:[32]
que prové de la identitat:[33]
Expansió d'Engel
L'expansió d'Engel d'un nombre x és l'única seqüència de nombres enters positius no decreixent tal que:
Kraaikamp[34] i Wu[35] (2004) van descobrir que l'expansió d'Engel també es pot expressar com una fracció contínua ascendent del tipus:
L'expansió d'Engel de l'arrel quadrada de dos és la següent:
- [36]
Desenvolupament en producte infinit
La identitat cos(π/4) = sin(π/4) = 1/√2 és la representació en producte infinit del sinus i del cosinus porten als desenvolupaments següents:
L'últim producte es pot escriure de manera equivalent:
Desenvolupament en sèries de Taylor
El número també pot ser donat en forma de sèrie utilitzant el desenvolupament de Taylor d'una funció trigonomètrica avaluada en , com es mostra a continuació:
També es pot trobar el valor avaluant la funció en x=1:
La convergència d'aquesta última sèrie pot ser accelerada mitjançant una transformació d'Euler per donar:
Grau algebraic i grau d'irracionalitat
L'arrel quadrada de dos és un nombre algebraic de grau 2, anomenat també enter quadràtic, en ser solució de l'equació polinòmica de segon grau a coeficients enters x² − 2 = 0 i de monomi dominant amb coeficient igual a 1 (anomenat habitualment polinomi mònic. No és solució, però, de cap equació de primer grau a coeficients enters, atesa la seva irracionalitat. Se sap, doncs, que és difícilment aproximable per una sèrie racional de tipus pn/qn; segons el teorema de Roth, en el millor dels casos l'error és de l'ordre de:[37]
Com per tot nombre algebraic irracional, la seva mesura d'irracionalitat és 2. La mesura d'irracionalitat (μ) d'un nombre denota quant pròxima és l'aproximació que es pot fer a un nombre irracional com a quocient entre dos nombres racionals. És el valor de l'exponent en el denominador de l'expressió següent:
Normalitat
La normalitat és una propietat que es basa en la distribució de les xifres del desenvolupament decimal d'un nombre irracional. Es dona quan totes les xifres del 0 al 9 apareixen en el desenvolupament i amb la mateixa freqüència.[38] Quant a l'arrel de 2, s'ignora si és normal només en el sistema decimal o si ho és també en totes les altres bases de numeració.
En geometria
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/7c/Silver_ratio_octagon.svg/220px-Silver_ratio_octagon.svg.png)
A més de ser la raó de proporció entre la diagonal d'un quadrat i el seu costat també apareix en altres polígons. En un octàgon regular, tots els costats i angles del qual són iguals, els costats s'uneixen formant un angle de 135°. L'àrea de l'octàgon regular de costat a és:
A més, i de manera trivial, també és la relació entre la hipotenusa i el catet d'un triangle isòsceles rectangle.
Un pentadecàgon (polígon de 15 costats) regular té angles interiors de 156° i amb una aresta de longitud a, la seva àrea val:[39]
Un hexadecàgon (polígon de 16 costats) regular de costat a té una àrea igual a:[40]
Com que el nombre de costats de l'hexadecàgon és una potència de dos, la seva àrea pot ser expressada amb termes del radi de la seva circumferència circumscrita r a través de la fórmula de Viète:
Un icositetràgon (polígon de 24 costats) regular de costat a té una àrea de:[41]
També apareix en poliedres regulars. En un tetràedre de longitud d'aresta a, la distància entre dues arestes paral·leles és:[42]
El volum de la figura val:
L'angle cara-vèrtex-aresta val:
- (aproximadament 54.7356°)
L'angle format entre dues cares a l'aresta del tetràedre val:
- (aproximadament 70,5288°)
L'angle al centre format pels vèrtexs val:
- (aproximadament 109,4712°)
D'altra banda, en un octàedre regular de costat a, el radi de l'esfera circumscrita (aquella esfera que toca tots els vèrtexs de l'octàedre) val:
I el volum del cos val:
Fórmula de Viète
L'arrel quadrada de dos apareix en la fórmula de Viète per π:
per m arrels quadrades i tan sols un signe negatiu (el primer).[43]
Similar en aparença, però amb un nombre finit de termes, l'arrel quadrada de dos apareix en diverses constants trigonomètriques:[44]
Altres propietats
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/c6/Circular_and_hyperbolic_angle.svg/220px-Circular_and_hyperbolic_angle.svg.png)
La meitat de l'arrel de dos, que és també el seu invers, té un valor aproximat de 0.707106781186548. És una quantitat recurrent en geometria i trigonometria perquè és el valor de cadascuna de les components del vector unitari que té un angle de 45° entre els dos eixos:
Aquest nombre satisfà:
Una altra propietat interessant de l'arrel quadrada de dos és la següent:
ja que Això està relacionat amb les propietats del nombre platejat,
L'arrel quadrada de dos té també una altra propietat singular que només comparteix amb el número 1 que és que el seu exponencial infinit és igual al seu quadrat. En altres paraules, per c≥1, s'estableix x1 =c i es defineix xn+1=cxn anomenarem f(c) al límit de la sèrie quan n' tendeixi a infinit:
Llavors, l'arrel quadrada de dos és l'únic nombre (a part de l'1) que compleix que f(c)=c₂, o expressat de manera simbòlica:
L'arrel de dos també es pot expressar en termes de la unitat imaginària utilitzant només arrels quadrades i operacions aritmètiques:
La sèrie de nombres n tals que els primers n dígits decimals de l'arrel quadrada de dos formen un nombre primer són:
- [45]
La següent sèrie mostra la primera posició en què es troba cada nombre n= 0, 1, 2... en l'expansió decimal de l'arrel quadrada de dos començant a comptar en l'1:
- [46]
La següent sèrie mostra la posició (sense tenir en compte el número 1 a l'esquerra de la coma) de la primera aparició de n dígits n consecutius, on n és l'ordinal de l'element dins de la sèrie. Per exemple, a₂ mostra la posició que ocupa el primer 22 en l'expansió decimal de l'arrel quadrada de dos.
- [47]
Aquest tipus de sèries reben el nom de seqüència de Earls i no són estrictament decreixents. Existeixen per totes les costants irracionals.
Algorisme computacional
Existeixen molts algorismes usats en l'aproximació de l'arrel quadrada de 2. El més comú dels algorismes de computadores o calculadores és el denominat mètode babilònic[48] de càlcul d'arrels quadrades, que és també un dels molts emprats per al càlcul d'altres arrels quadrades. El mètode ja era conegut per Heró d'Alexandria el segle i.[49] Funciona de la següent manera:
Es pren en primer lloc un valor arbitrari, que denominarem ; aquesta primera aproximació no importa gaire, només és considerada com un punt d'inici en l'algorisme i afecta quantes iteracions ha de fer l'algorisme fins a obtenir l'aproximació amb la precisió requerida. Llavors, fent servir aquesta suposició inicial, es procedeix a iterar obtenint els nous valors a partir de:
Com més iteracions es facin mitjançant l'algorisme (és a dir, com més termes de la sèrie s'obtinguin o com més gran sigui el subíndex n), s'obtindrà una millor aproximació del valor real de l'arrel quadrada de dos.
L'any 1997, el valor de va ser calculat mitjançant aquest algorisme fins a 137.438.953.444 xifres decimals per l'equip de Yashumasa Kanada. D'entre les constants matemàtiques amb xifres no periòdiques, només el nombre π ha estat calculat amb millor precisió.[50]
Càlcul de √2
Fracció contínua
Partint de:
es pot deduir una primera aproximació d'√2. Es pot escriure aquest resultat sota la forma:
Per productes notables, es té:
i llavors:
I, si es negligeix el terme √2-1 en la penúltima expressió, sobté com a valor de l'aproximació 3/2 = 1,5. El raonament es repeteix idènticament i s'obté:
Doblar un quadrat
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1d/DoublingTheSquareV1.svg/220px-DoublingTheSquareV1.svg.png)
La qüestió de la duplicació del quadrat correspon a la construcció d'un quadrat d'àrea doble de la d'un quadrat donat. Es parteix d'un quadrat d'àrea 1 i s'intenta, doncs, construir un quadrat d'àrea 2. Per definició, el quadrat d'àrea 1 té un costat de longitud 1, i el quadrat d'àrea 2 té la mateixa àrea que dos quadrat d'àrea 1.
Existeixen dos mètodes simples en la duplicació del quadrat. El més directe consisteix a estudiar la figura de l'esquerra. El quadrat de costat la unitat està format per 2 triangles rectangles iguals, mentre que el de costat anotat √2 està format per exactament quatre triangles del mateix tipus; és, doncs, d'àrea doble al primer. Una altra manera de veure-ho és mitjançant el teorema de Pitàgores. La hipotenusa d'un triangle rectangle isòsceles de catet la unitat té un valor d'arrel de dos. Aquesta hipotenusa és el costat del quadrat gran. L'àrea d'un quadrat és igual al quadrat del costat. L'àrea del quadrat gran és, per tant, igual a √2², és a dir igual a 2.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b5/DoublingTheSquarev2.svg/220px-DoublingTheSquarev2.svg.png)
Existeix una altra manera, gràcies a l'ajuda del cercle, de duplicar un quadrat sense canviar-ne l'orientació. A la figura de la dreta el quadrat gran té una superfície doble a la del quadrat petit. Per veure-ho clar només cal fer girar el quadrat petit una vuitena part d'una volta. La raó dels costats d'aquest quadrat és, doncs, √2.
Més tard, aquest dibuix seduirà nombrosos arquitectes com Andrea Palladio a la seva Villa Capra o a l'Església Rodona de Preslav construïda l'any 908. Es troba també al claustre de la Catedral de Saint-Étienne de Cahors, on la superfície del pati interior és igual a la superfície de la galeria que l'envolta,[51] o en el llibre de Villard de Honnecourt.[52]
La qüestió de duplicar el quadrat va ser fàcilment resolta, però llavors, a l'Antiga Grècia va aparèixer la pregunta que la seguia de manera natural: es podria fer el mateix amb un cub? És a dir, es podria dibuixar l'aresta d'un cub que tingués el doble del volum d'un cub donat? Fins al segle xix no es va poder demostrar que aquest dibuix és impossible amb regle i compàs.
Proves d'irracionalitat
A continuació es mostren algunes de les nombroses demostracions[53] del fet que l'√2 és un nombre irracional. Moltes d'elles es generalitzen substituint √2 per √n on el nombre natural n no és un quadrat perfecte. Algunes són reformulacions amb els conceptes matemàtics i el llenguatge actual de demostracions antigues.
Sovint segueixen procediment de reducció a l'absurd, suposant que √2 és, contràriament, un nombre racional, és a dir, que es pot escriure de la forma p/q, per certs enters q>0 i p. Posteriorment s'arriba a una contradicció a la hipòtesi inicial (√2 = p/q), que també s'escriu com p² = 2q².
Per paritat
Es parteix de la hipòtesi que és un nombre racional, és a dir, que es pot expressar com una fracció de nombres enters. Per tant existeixen dos nombres enters positius p i q que compleixen que:
Llavors pot ser escrit com el valor d'una fracció irreduïble (en què el numerador i denominador no tenen divisors comuns) p/q de tal manera que p i q són nombres primers entre si, i:
Per tant, p² és un nombre parell, ja que és igual a 2q². Per tant, p és un nombre parell (ja que els nombres parells només poden tenir arrels quadrades parelles). Atès que p és parell, llavors existeix un nombre r tal que 2r=p. Complint-se doncs la igualtat:
D'on es dedueix que q també és un nombre parell, cosa que contradiu la premissa segons la qual p i q són primers entre ells. En tenir el 2 com a comú divisor, la fracció de p/q no és irreduïble, i per tant, no pot ser expressada com a quocient de dos nombres enters primers entre ells. L'arrel quadrada de dos no és, per tant, un nombre racional.[54]
Aquesta insinuació va ser insinuada per Aristòtil en els seus Prior Analytics.[55] Va aparèixer per primer cop com a demostració completa en els Elements d'Euclides com a proposició 117 del llibre X. Tanmateix, des de principis del segle xix els historiadors han considerat que la demostració era una interpolació i que per tant no es pot atribuir a Euclides.[56]
Per subtraccions recíproques
Aquesta demostració es basa en la reducció a l'absurd. Es parteix del fet que és un nombre racional i que per tant es pot expressar com a fracció de dos nombres enters positius que anomenarem p i q. Es compleix, per tant, que:
Si es resta p q a banda i banda d'aquest últim resultat i s'aplica la propietat distributiva, s'obté que:
I com que p/q és igual a , llavors:
Llavors, com que se sap que p/q és igual a l'arrel de dos:
on en el primer pas s'ha fet l'arrel, en el segon s'ha dividit per q i en el tercer s'hi ha restat q.
Així queda demostrat que p-q és més petit que q, i que numerador i el denominador de la segona fracció igualada a són més petits que p i q respectivament. Aquest procediment es pot seguir tants cops com es vulgui, i en cada iteració s'obtenen valors pel numerador i el denominador més petits que en la fracció anterior, creant dues successions infinites estrictament decreixents que han de ser per força naturals. Com que això és impossible perquè tota successió infinita estrictament decreixent acabarà tenint valors no naturals, queda demostrat que és un nombre irracional.[54]
Argument geomètric
Es fonamenta en el mètode de descens infinit. És una construcció geomètrica clàssica de regle i compàs, que prova el teorema d'una manera molt similar a com ho feien els geòmetres grecs.
Sigui ABC un triangle rectangle isòsceles amb hipotenusa de longitud m i catets de longitud n, pel teorema de Pitàgores, n²+n²=m²; 2n²=m²; = m/n.
Suposem que m i n són nombres enters.
Es tracen els arcs BD i 'CE amb centre en el punt A. S'uneix DE. Llavors es té que AB=AD, AC=AE i l'angle ∠BAC coincideix amb ∠DAE. Per tant, els triangles ABC i ADE són congruents en tenir dos costats igual i l'angle comprès també.
Com que ∠EBF és un angle recte i ∠BEF és la meitat d'un recte, BEF és també un triangle rectangle isòsceles. Es compleix que BE=BF=m-n. Raonant anàlogament, FDC és també un triangle rectangle isòsceles, amb catets DF=DC=m-n i amb hipotenusa FC=n-(m-n)=2n-m, que són nombres també enters i menors que n i m respectivament. En ser ABC i FDC dos triangles semblants es pot repetir l'anterior procés de forma recurrent i es continuen obtenint triangles semblant de mides cada cop més petites. Amb les longituds de les hipotenuses i amb la dels catets, s'obtenen dues successions de nombres enters estrictament decreixents que no són finites, la qual cosa és impossible perquè si n i m són enters ha d'existir una fracció irreductible. Aquesta condició porta a concloure que la suposició que m i n són enters és falsa i que no pot ser una fracció amb m i n enters, per tant, ha de ser un nombre irracional[57]
Demostració gràfica
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1e/Arrel_de_2.jpg/220px-Arrel_de_2.jpg)
Es parteix de la premissa que l'arrel de dos és un nombre racional, és a dir, que es compleix que:
On la fracció m/n és una fracció irreduïble (m i n són primers entre ells). Llavors, com s'indica en la imatge, el quadrat de m és igual a dues vegades el quadrat de n.
En posar els dos quadrats petits en els extrems oposats del quadrat gran, es tindrà que els dos quadrats petits se superposen en el quadrat central i deixen dos quadrats de costat m-n buits. Per tant, l'àrea del quadrat central, de costat 2n-m, haurà de ser el doble de l'àrea d'un dels quadrats de costat m-n. Expressat matemàticament:
En aquest últim pas s'ha obtingut una fracció que és igual a l'arrel quadrada de dos on, tant numerador com denominador, són enters més petits que els originals, contradient la premissa inicial.
Vist d'una altra manera, aquest procediment es podria aplicar un nombre infinit de cops, obtenint dues sèries d'enters infinites estrictament decreixents (la de numeradors i la de denominadors). Com que és impossible l'existència d'una sèrie infinita d'enters estrictament negatius, llavors queda demostrada la irracionalitat de l'arrel quadrada de dos.[58]
Aquesta demostració s'atribueix al matemàtic americà Alexander J. Hahn.[59]
Mitjançant el nombre platejat
Si l'arrel de dos és un nombre racional, llavors δs = 1 + √2 també ho és. Aquest nombre rep el nom de nombre platejat. Llavors es tindrà que:
per p i q nombres enters i q mínim. Llavors es té que:
Clarament:
i llavors:
La restricció contradiu la premissa segons la qual q té un valor mínim.[60]
Pel teorema fonamental de l'aritmètica
Aquest argument parteix del teorema fonamental de l'aritmètica segons el qual per tot nombre enter a diferent de 0, 1 i -1 existeixen nombres primers positius p1,...pn tals que a= ± p1 · p₂ ·...·pn i són únics llevat de l'ordre.
La parella (p, q) tals que p²=2q², sent aquest cop arbitraris (per exemple, p i q no necessàriament mínims) la contradicció ve del fet que en la descomposició en producte de factors primers, p² té un nombre parell de factors, i 2q² té un nombre imparell. Una variant consisteix a comptar únicament els factors iguals a 2. Aquest argument es pot generalitzar al cas de l'arrel quadrada d'un nombre enter qualsevol que no sigui un quadrat perfecte.[61]
Demostració de Conway i Guy
Aquesta demostració es generalitza per tot nombre primer N. Es parteix que N té una arrel racional, i que llavors:
partint de A i B nombres primers entre ells i A mínim. Si ara se substitueix B/N per a i A per b s'obté:
on b=A és més petit que B i per tant a és més petit que A. Es contradiu, doncs, la premissa segons la qual el valor d'A era mínim.[62]
Expressió decimal
Una altra demostració que es pot extrapolar a arrels d'altres enters no quadrats perfectes és la que proposa l'informàtic americà Alan Cooper, segons la qual en elevar un nombre decimal finit al quadrat mai no desapareix la part decimal. Això es veu més clar quan s'observa l'últim dígit decimal diferent de 0. Aquest dígit és l'únic responsable que el quadrat del nombre sigui també un nombre decimal, i, per tant, no pugui ser igual a un nombre enter.
L'argument es pot generalitzar i arribar a la conclusió que l'arrel d'un nombre enter positiu mai no serà un nombre racional decimal. O bé serà un enter, o bé serà un nombre irracional.[59]
Per màxim comú divisor
Clarament:
Com que 2 es troba entre dos quadrats d'enters seguits, la seva arrel no pot ser un nombre enter. Se suposa ara que l'arrel de dos és racional, i llavors:
Llavors com que m és més gran que n, es pot escriure:
Es defineix doncs:
on mcd fa referència al màxim comú divisor. Noti's que, en ser diferent d'1 el màxim comú divisor de n i r llavors m i n no són necessàriament nombres primers entre ells, ja que poden tenir de divisor comú g diferent d'1. Llavors, dividint entre g tots els elements de la fracció, es té que:
S'ha obtingut una nova expressió en fracció de l'arrel de dos, on clarament s és més petit que n (en ser s divisor de n) i s+t és més petit que m (en ser m igual a n+r, i ser s divisor de n i t divisor de r). S'han obtingut, per tant, dos valors més petits dels quals es partia, i en poder-se repetir aquest procediment infinites vegades, es poden obtenir dues sèries d'enters infinites i estrictament decreixents, suposició absurda.[63]
Aquesta demostració és una adaptació de la proposada per Amrik Singh Nimbran l'any 2014.[64]
Per tenir fracció contínua infinita
Se sap que si és una fracció contínua infinita amb ak>0 i k≥1, llavors el seu valor és un nombre irracional. A més, cada nombre irracional x té una única expansió en fracció contínua infinita.[65][66]
Per congruències
Se sap que en elevar un nombre n al quadrat s'obté un nombre que o bé és divisible per 3, o bé és de la forma 3k+1 (n² és congruent o bé amb 1 o bé amb 0 mòdul 3). Això depèn de si el n és divisible per 3. Si l'arrel de dos és un nombre racional, es pot expressar com la fracció irreduïble de dos enters tals que es compleix que:
Llavors a banda i banda de la igualtat no hi pot haver el mateix residu en dividir per 3.[67] S'analitzen a continuació els diferents casos:
- Llavors a i b són divisibles per 3 i no són primers entre ells.
- Llavors el 2b² és congruent a 2 mòdul 3 i no pot ser igual a a².
- Llavors a² no pot ser igual a 2b² perquè a² i 2b² tenen residus diferents en ser dividits per 3.
- Llavors a² no pot ser igual a 2b² perquè a² i 2b² tenen residus diferents en ser dividits per 3.
Aquesta demostració es deu al matemàtic argentí Enzo Gentile (1928-1991)[68]
Aritmètica modular
Gustave Robson va publicar una breu demostració seguida de la següent observació:"[69]La següent demostració va ser inventada per Robert James Gauntt l'any 1952, quan era estudiant de primer any a Purdue. No vaig ser capaç de convèncer-lo de publicar ell mateix la seva demostració."
L'equació no pot tenir una solució no trivial en enters perquè, en base 3, l'últim dígit diferent de 0 d'un quadrat ha de ser 1, mentre que l'últim dígit diferent de 0 del doble d'un quadrat és sempre 2.
Construccions geomètriques
Construcció d'√2 amb regle i compàs
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Square_root_of_two_with_ruler_and_compass.svg/220px-Square_root_of_two_with_ruler_and_compass.svg.png)
Com totes les arrels quadrades de nombres enters, √2 és construïble amb regle i compàs; tot i així, no és el cas de l'arrel cúbica de 2, per exemple.[70] Tingui el segment donat AB longitud unitat, a continuació es tenen els passos a seguir per construir un segment de longitud √2 amb un regle no graduat i un compàs:
- Trobar el punt B', simètric a B, fent un arc C1 des del punt A de radi AB i prolongant el costat AB.
- Traçar la mediatriu [AH] del costat [BB']
- Traçar un arc C₂ de centre B i radi r>AB.
- Traçar l'arc C₃ de centre B' i radi r igual al radi usat en el pas anterior. Tallarà l'arc C₂ en el punt H.
- La distància entre el punt B i el punt C (intersecció de l'arc C1 i [AH]) és igual a l'arrel de 2.
Construcció de l'√2 només amb compàs
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/58/Square_root_of_two_with_compass_only.svg/220px-Square_root_of_two_with_compass_only.svg.png)
Com tot nombre construïble amb regle i compàs, i segons el teorema de Mohr-Mascheroni, √2 és construïble només amb regle. Un possible procediment a seguir en la construcció és:
- Partint del segment AB de longitud la unitat, traçar els següents arcs de radi AB:
- L'arc C1 de centre A.
- L'arc C₂ de centre B, que tallarà C1 en dos punts, sigui G un d'ells.
- L'arc C₃ de centre G, que tallarà C1 en dos punts, B i H.
- L'arc C₃ de centre H, que tallarà C1 en dos punts, G i I.
- Construir un trianlge ABC que tindrà d'hipotenusa BC=√3 i de catets AB=1 i AC= √2 (Teorema de Pitàgores):
- Traçar l'arc C₅ de centre I i de radi IG.
- Traçar l'arc C₆ de centre B i radi BH (=IG), que tallarà C₅ en el punt C.
La longitud del segment AC té una longitud igual a l'√2.
Mètodes numèrics d'aproximació
√2 val aproximadament 1,414 213 562 373 095 048 801 688 724 209 698 078 569 671 875 376 948 073 176 679 737 990 732 478 462 107 038 850 387 534 327 641 572 7
El càlcul d'un valor aproximat a √2 ha estat durant segles una quimera matemàtica. Aquesta recerca ha permès perfeccionar els algorismes de càlcul d'extracció d'arrels quadrades. En informàtica, aquesta recerca es fa per tal d'optimitzar aquests algorismes i reduir el temps de càlcul i el consum de memòria.[3]
Els mètodes numèrics d'aproximació que es presenten a continuació són destinades al càlcul d'un nombre significatiu de xifres decimals. Es basen generalment en successions convergents de nombres racionals. Les millors aproximacions per sèries racionals del tipus pn/qn donrn un error de l'ordre de 1/qn².
Mètodes de convergència lineal
- Mètode de Teo d'Esmirna
Es deuen al matemàtic grec Teó d'Esmirna les sèries (pn) i (qn) definides per les recurrències:
Els termes de les sèries tenen valors enters estrictament positius, atès que són estricatament creixents, complint que:
de manera que pn/qn tendeix a √2 per valors grans de n.
No se sap si la intenció de Teó d'Esmirna era la de calcular un valor aproximat a l'arrel de 2.
Aquest algorisme també és anomenat de vegades algorisme de Bhaskara-Brouncker.[71]
- Solucions a l'equació diofàntica a²− 2b² = k
Les solucions enteres de l'equació a² − 2b² = k són generades a partir de la iteració:
a partir dels valors inicials (a0, b0) = (1, 1) per k = −1 i (3, 2) per k = 1. a partir dels valors inicials(a0, b0) = (1, 1) per k = −1 i (3, 2) per k = 1.
Aquest mètode és deduït del de Teó: cada iteració d'aquesta correspon a dues de la de Teó. Per tant, an /bn tendeix linealment a l'√2.
Les primeres solucions són:
- k = −1 : (1, 1), (7, 5), (41, 29), (239, 169), (1393,985),
- k = 1 : (3, 2), (17, 12), (99, 70), (577, 408), (3363, 2378).
Les dues aproximacions en negreta van ser utilitzades pels agrimensors antics:
- 28 : 20 (o 7 : 5) amb un error relatiu del –1,0051%, va ser breument usada a principis del tercer mil·lenni abans de Crist pels egipcis antics.
- 99 : 70 amb un error relatiu de +0,0051%, al llarg de la història i en molts països en la triangulació racional del quadrat segons els agrimensors.
- Mètode de Teó generalitzat
Es donen a i b obtinguts mitjançant el mètode de Teó que són, doncs, solucions d'una de les dues equacions diofàntiques 2b²=a²–k, amb k=±1 i K>1. Es pot, llavors escriure:
Les sèries pn i qn definides per:
verifiquen que:
llavors, de la mateixa manera que més amunt, la sèrie pn/qn convergeix a =(b/a). A més, si k=1, aquesta sèrie és creixent i s'apropa a aquest valor per defecte; i si k=-1, és decreixent i s'apropa doncs al valor per excés.
Es pot utilitzar aquesta relació per estimar l'error, que ve donat per:
és un augment si k=1. La convergència és doncs lineal: es guanya una xifra decimal de la constant per a cada iteració.
Aquest mètode correspon a una generalització del mètode del paràgraf anterior al radical . Per valor molt gran de K, la sèrie (qn) creix més ràpidament, perquè la convergència és accelerada.
Primeres aproximacions d'√2 = 17/12 √(288/289) per aproximació lineal d'√(288/289). Els paràmetres són a = 17, b = 12, K = 288, k = 1. Es té
εn + 1 < 7,5 × 10-7εn (abans aproximació decimal de quocients).Iteració Valor fraccionari Decimals exactes 0 1 1 1 19.601/13.860 1,414 213 56 2 22.619.537/15.994.428 1,414 213 562 373 09 3 26.102.926.097/18.457.556.052 1,414 213 562 373 095 048 80 4 30.122.754.096.401/21.300.003.689.580 1,414 213 562 373 095 048 801 688 72
- Desenvolupament en fracció contínua
Un altre mètode consisteix a aproximar b√2 - a per la seva fracció contínua generalitzada per valors de a i b solucions de l'equació diofàntica 2b² = a² – k, amb k = ± 1 :
és aproximat amb l'ajuda de la sèrie (pn/qn) determinada per la relació de recurrència:
L'error verifica asimptòticament:
Primeres aproximacions d'√2 per aproximació lineal de 169√2 − 239. Els paràmetres són b = 169, a = 239, k = 1, εn + 1 ~ 4 × 10−6 εn. Iteració Valor fraccionari Decimals exactes 0 1 1 1 114.243/80.782 1,414 213 562 2 54.608.393/38.613.965 1,414 213 562 373 09 3 26.102.926.097/18.457.556.052 1,414 213 562 373 095 048 80 4 12.477.253.282.759/8.822.750.406.821 1,414 213 562 373 095 048 801 688 7
- Desenvolupament en sèrie entera
Es donen a i b solucions de l'equació diofàntica 2b²=a²–k=K, amb k=±1. Es pot, llavors escriure com a suma d'una sèrie a través del desenvolupament en sèrie de potències enteres de (1+z)-1/2:
Amb K = 50, i llavors = (7/5), els primers termes de la sèrie són particularment simples, com ja va notar Leonhard Euler, el 1755:[72]
Aproximació √2 = (239/169) pel desenvolupament en sèrie d'enters del radical fraccional. Els paràmetres són b = 239, a = 169, K = 57122, k = –1. Iteració Valor fraccionari Decimals exactes
- Dicotomia
És possible aproximar el valor d'arrel de 2 mitjançant el mètode de bisecció. El mètode consisteix en un algoritme de recerca d'arrels que treballa dividint l'interval a la meitat i seleccionant el subinterval que conté l'arrel. Aquest mètode és de convergència lineal lenta, ja que es guanyen només tres decimals per a cada deu iteracions.
Mètodes de convergència quadràtica
El mètode de Newton aplicat a la funció arrel quadrada permet calcular el valor aproximat de √2 de manera iterativa amb una convergència quadràtica, és a dir doblant el nombre de xifres significatives per a cada iteració. La recurrència té la forma:
Aquest algoritme es diu mètode d'Héron o mètode babilònic, ja que sembla que va ser aquest el que van utilitzar els babilonis per trobar els valors aproximats de les arrels quadrades.
Si es vol aproximar el valor d'√2 a fraccions successives p/q a partir dels valors inicials p0=1 i q0=1, les recurrències de numerador i denominador són:
Primeres aproximacions d'√2 obtingudes amb fraccions successives. Iteració Valor fraccionari Decimals exactes 0 1/1 1 1 3/2 1 2 17/12 1,41 3 577/408 1,41421 4 665857/470832 1,41421356237 5 886731088897/627013566048 1,41421356237309504880168
L'any 2006, després que el seu ordinador treballés durant 13 dies, Shigeru Kondo va obtenir un resultat de l'arrel quadrada de dos amb dos-cents mil milions de decimals usant aquest algorisme. Només per a imprimir tots els dígits haurien calgut 100 milions de fulls de paper.[73]
Mètodes cúbics
Mètode de Halley
Un exemple de mètode cúbic s'obté a partir de la iteració de Halley. Es busca el zero de la funció ƒ(x ) = x² − 2 utilitzant les dues primeres derivades. La solució iterativa és:[74]
si definim:xn = pn/qn :
Aquest mètode és de convergència cúbica, és a dir, per cada iteració el nombre de decimals exactes es triplica.
Primeres aproximacions d'√2 donades pel mètode cúbic. Iteració Valor fraccionari Decimals exactes 0 1 1 1 7/5 1,4 2 1.393/985 1,414 213 3 10.812.186.007/7.645.370.045 1,414 213 562 373 095 048 4 — 1,414 213 562 373 095 048 8
016.887.242.096.980.785.000
718.753.769.480.731.800.000
Mètode de Householder
La iteració de Householder aplicada a ƒ(x ) = 1/x ² − 1/√2 dona una sèrie convergent a 1/√2 :
Producte infinit
També existeix un mètode d'aproximació mitjançant un producte infinit. De manera general, l'arrel quadrada de z es pot expressar com:
on:
Explícitament, tenim:
En particular, quan z=2:
La convergència és ràpida (ja que és cúbica).[75]
Mètodes d'ordre superior
S'utilitza un mètode de Newton modificat[76] per trobar el zero de la funció ƒ(x ) = 1/x ² − 1/2. Aquesta dona la sèrie recurrent següent:
amb:
Aquest mètode és de convergència quàrtica, és a dir de grau 4. El nombre de xifres significatives correctes es quadruplica a cada iteració.
Primeres aproximacions de l'√2 obtingudes amb el mètode quàrtic. Iteració Valor fraccionari Decimals exactes 0 3/2 1 1 23.169/2¹⁴ 1,414 2 57.367.317.478.181.000.000.000.000.000.000/2105 1,414 213 562 373 09 3 [...] 1,414 213 562 373 09
5.048.801.688.724.209
6.980.785.696.718.753
76.948.073.176.679.740
Existeixen mètodes d'aproximació d'ordre superior,[4] especialment mitjançant els mètodes de Householder.
Altres constants relacionades
Constant de Gelfond-Schneider
La constant de Gelfond-Schneider, també anomenada nombre de Hilbert és igual a:
- [77]
que és un nombre transcendent, segons va demostrar el matemàtic rus Rodion Kuzmin l'any 1930.[78] L'any 1934, Alexander Gelfond va demostrar mitjançant el teorema de Gelfond-Schneider, el cas general de potències elevades a nombres irracionals algebraics, solucionant part del setè dels problemes de Hilbert.[79] Rep el nom dels matemàtics Theodor Schneider i Alexander Gelfond.
La constant de Gelfond-Schneider té com a fracció contínua és:
L'arrel quadrada d'aquesta constant té un valor de:
- [80]
Nombre platejat
El nombre platejat (δs) és una constant matemàtica que ve definida com:[81]
Té la peculiaritat de tenir com a únic coeficient en la representació de fracció contínua el nombre 2, és a dir:
És un nombre irracional algebraic arrel del polinomi:
Proporció cordovesa
Un rectangle cordovès de costats és aquell que compleix que:[82]
El valor d'aquesta proporció és, aproximadament d'1,306562964 i és la denominada proporció cordovesa (o proporció humana[83]). Aquesta proporció matemàtica sorgeix com la relació entre el radi de la circumferència circumscrita a l'octàgon regular i el seu costat.[84] Tenint en compte la relació és molt fàcil construir un rectangle cordovès, només cal fer la bisectriu d'un angle recte i es tindrà que el costat obtingut entre el radi és la proporció cordovesa. El valor d'aquesta proporció és inferior a la proporció àuria.
L'arquitecte cordovès Rafael de La Hoz (1924-2000), en el seu estudi de les raons entre les dimensions de la Mesquita de Còrdova i en altres dissenys àrabs de la ciutat andalusa, es va trobar de manera reiterada aquesta proporció i va ser ell mateix qui la va batejar com la raó cordovesa.
Constant de Gauss
La constant de Gauss, anotada G, és una constant que es defineix com el nombre invers de la mitjana aritmètico-geomètrica entre 1 i l'arrel de 2.
- [85]
La seva fracció contínua és:
- [86]
Està relacionada amb les constants de la lemniscata i apareix en diverses identitats matemàtiques singulars. El matemàtic rus Yuri Nesterenko va demostrar la seva transcendència l'any 1992.[87]
Constant parabòlica universal
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/26/Parabolic_constant_illustration_v4.svg/220px-Parabolic_constant_illustration_v4.svg.png)
La constant parabòlica universal (P) és una constant matemàtica que ve definida com la raó, per a qualsevol paràbola, entre la longitud d'arc del segment parabòlic format amb el latus rectum i el paràmetre focal. En el dibuix, la longitud d'arc és la part vermella; el latus rectum és la corda paral·lela a la directriu que passa a través del focus, pintada de color blau; i el paràmetre focal ve definit com la distància entre el focus i la directriu, pintat de color verd.
El valor de P és:
- [88]
Constant de Grothendieck
La constant de Grothendieck, anotada kR[89] ve definida com:[90]
- [91]
Angle màgic
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/c8/Magic_angle.png/220px-Magic_angle.png)
L'angle màgic (θm) és un angle definit amb precisió. El cosinus d'aquest angle és una solució del polinomi de Legendre de segon ordre ().
- [92]
on arcos i arctan són les funcions inverses al cosinus i a la tangent respectivament. Aquesta constant té aplicacions en medicina.[93]
Constant deliana
Si elevem l'arrel quadrada de dos a 2/3, obtindrem l'arrel cúbica de 2, també anomenada, constant deliana:
És una constant que apareix en el problema de la duplicació del cub com la raó entre l'aresta d'un cub i l'aresta d'un cub de volum la meitat. El seu valor és:
- [94]
i la seva fracció contínua és:
- [95]
La constant deliana no és un nombre euclidià però és un nombre algebraic de grau 3.[96] La constant es coneix des de l'antiguitat i deu el seu nom a la llegenda que va donar origen al problema de la duplicació del cub, que, de fet, també es diu problema de Delos. Els habitants de la ciutat de Delos s'havien vist afectats per una epidèmia, i l'oracle de Delfos havia requerit la construcció d'un altar del doble del volum del que existia a la ciutat.
Identitats notables
L'arrel quadrada de dos apareix també en diverses identitats singulars:
- (aproximació de Stirling)[97]
- (on agm és la Mitjana aritmètico-geomètrica)
Fórmules derivades de la fórmula de Bailey-Borwein-Plouffe:[98]
√2 en altres àmbits
Arquitectura
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/35/Parc_G%C3%BCell%2C_sostre_de_trencad%C3%ADs.jpg/220px-Parc_G%C3%BCell%2C_sostre_de_trencad%C3%ADs.jpg)
Com a proporció recurrent en geometria, l'arrel de 2 apareix amb freqüència en l'arquitectura. Un exemple d'això el trobem al Park Güell de Barcelona, obra de l'arquitecte Antoni Gaudí.[99] Entre la natura del parc, l'arquitecte va crear una sèrie d'espais singulars integrats a la perfecció. L'element principal de la composició és la sala hipòstila, coneguda amb el nom de Sala de les Cent Columnes. Les columnes semblen estar desordenades de manera irregular, però en realitat amaguen un secret matemàtic basat en l'arrel quadrada de 2. Gaudí va col·locar els centres superiors de les columnes en els vèrtexs d'una quadrícula obliqua.
Astrofísica
En astrofísica, es defineix la velocitat d'un cos en una òrbita circular com:
on G és la constant de la gravitació, M és la massa de l'astre que crea el camp gravitatori i r és la distància entre el centre de masses del cos i l'astre respecte al qual s'orbita.
Un altre concepte relacionat és el de la velocitat d'escapament (ve), que es defineix com la velocitat mínima que un cos necessita per poder escapar de l'atracció del camp gravitatori. Ve definida com:[100]
Això vol dir que la velocitat d'escapament és exactament vegades la velocitat del cos quan es manté a una òrbita circular.
Format del paper
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/8a/A_size_illustration.svg/220px-A_size_illustration.svg.png)
Els formats de paper A, B i C estàndard ISO 216 van ser dissenyats per comprovar una propietat singular: un full tallat en dues parts iguals per la longitud, produeix dos fulls semblants a l'original; és a dir, amb la mateixa proporció entre els seus costats diferents. Sent l'àrea disminuïda en un factor de 2. Això només es dona quan la raó val √2; en la pràctica les dimensions són aproximades.
A continuació es mostren els valors aproximats dels formats de A0 a A6 en funció de √2.
Valors aproximats de les dimensions dels formats A0-A6 expressats en funció de √2. Format Longitud (m) Amplada (m) Àrea (m²}) A0 A1 A2 A3 A4
Les sèries B i C difereixen a la sèrie A amb un factor d'√√2 (~ 1,19) i √√√2 (~1,09) respectivament.
Els factors d'expansió del 200%, el 141%, el 71%, el 50% proposats per les fotocopiadores són aproximacions de (√2)n que permeten passar a formats superiors i inferiors, sigui físicament o per impressió de 2n pàgines per full.
Noti's que en matemàtiques, s'escriu de manera més còmoda i .
Música
La gamma de temperament igual es construeix així: la raó de proporció entre les freqüències de les notes extremes de l'octava i l'escala és dividida en dotze semitons sent la raó entre les freqüències de dues notes consecutives qualssevol ƒ. La raó de freqüències entre la nota més alta i la més baixa en una octava és doncs ƒ 12 que val, com s'indica a continuació, 2. El semitò té, doncs, una raó de ƒ = 21/12.
Raons de freqüències de les notes de l'escala respecte a la freqüència més baixa. do do♯ ré ré♯ mi fa fa♯ sol sol♯ la la♯ si do 1 21/12 21/6 21/4 21/3 25/12 √2 27/12 22/3 23/4 25/6 211/12 2
En aquest sistema, la quarta augmenntada (Do-Fa♯) i la quinta disminuïda (Do-Sol♭) són iguals i valen sis semitons. Tenen un ratio de freqüències d'√2. En el cant gregorià s'utilitza aquest interval, el tríton. Tot i així, a finals de l'edat mitjana, l'interval és sistemàticament evitat perquè es considera massa dissonant. Va rebre, llavors, el nom de « Diabolus in Musica».
Electricitat
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b2/Sin.svg/220px-Sin.svg.png)
En electricitat, la tensió eficaç Uef d'un corrent altern sinusoidal monofàsic (per exemple, els 110 V o els 220 V de corrent domèstic) està relacionada amb l'amplitud de la tensió màxima Umax segons:
- Umax = Ueff√2, també anotat Û=U√2,
o, en les aplicacions més comunes:
- Ueff = 0,7 Umax.
Aquesta expressió és vàlida en general, pels valors efiacaços de mides lineals d'una ona sinusoidal. Noti's també que:
- 20 log (U/√2) = 20 log U - 20 log √2 = 20 log U - log ((√2)20) = 20 log U - log 1.024 ≃ 20 log U - 3.
Es parla d'amplada de banda a -3 decibels.
Fotografia
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b7/Jdd_diaphragme_photo.jpg/220px-Jdd_diaphragme_photo.jpg)
Les obertures de les càmeres fotogràfiques segueixen la seqüència normalitzada f/1,4, f/2 f/2,8 f/4 f/5,6 f/8 f/11 f/16 f/22, f/32, etc. La raó entre dues obertures consecutives és un valor proper a l'arrel de dos, que ha estat triat de tal manera que la raó de proporció del flux lluminós sigui del voltant de dos (ja que el flux és proporcional al quadrat del diàmetre). En disminuir l'obertura, es dobla el temps d'exposició necessària o disminueix amb un factor 2 la sensibilitat de la pel·lícula necessària.[101]
A la pràctica, l'obertura indicada és un arrodoniment; l'obertura real pot estar més a prop de .[102] Existeixen subdivisions en les càmeres modernes, sovint amb raons de proporció de o de .
Relació entre l'obertura, el diàmetre del diafragma i el flux lluminós rebut a temps d'exposició i sensibilitats fixades. Obertura f/1,4 f/2 f/2,8 f/4 f/5,6 f/8 f/11 f/16 f/22 f/32 Diàmetre d d/√2 d/2 d/2√2 d/4 d/4√2 d/8 d/8√2 d/16 d/16√2 Flux I I/2 I/4 I/8 I/16 I/32 I/64 I/128 I/256 I/512
Referències
- ↑ (successió A004539 a l'OEIS)
- ↑ (successió A002193 a l'OEIS)
- ↑ 3,0 3,1 La majoria del programari matemàtic, en ordinadors o en màquines de càlcul, utilitzen les aproximacions preestablertes d'aquesta constant, almenys fins a un cert rang
- ↑ 4,0 4,1 Xavier Gourdon i Pascal Sebah. «Pythagoras' Constant √2» (en anglès)..
- ↑ Proust, Christine «Mathématiques en Mésopotamie». CultureMath, École normale supérieure (Paris), 2006.[Enllaç no actiu]
- ↑ 6,0 6,1 Fowler, David; Robson, Eleanor. «Square Root Approximations in Old Babylonian Mathematics: YBC 7289 in Context» (en anglès) p. 366-378, 1998. Arxivat de l'original el 6 de setembre 2012. [Consulta: 5 abril 2015]..
- ↑ Fowler and Robson, p. 368.
Fotografía, ilustración, y descripción de la root(2) tablilla procedente de la "Yale Babylonian Collection" Arxivat 2012-08-13 a Wayback Machine.
Fotografías de alta resolución y análisis descriptivo de las tablas de la root(2) (YBC 7289) procedente de la "Y"ale Babylonian Collection" - ↑ Benoît Rittaud. «À un mathématicien inconnu !».
- ↑ Henderson
- ↑ 10,0 10,1 Caveing 1998, p. 75
- ↑ Berggren 1984
- ↑ Fowler 1999, p. 7-8, una traducció al francès del segle xix és accessible en línia, vegeu p 173-191.
- ↑ Fowler 1999, p. 359, una edició bilingüe del segle xix és accessible en línia, vegeu línies 50, 51.
- ↑ Caveing 1998, p. 133
- ↑ Fowler 1999, p. 302 remarca que Aristòtil, mentre que cita sovint aquest exemple de la incommensurabilitat de la diagonal, mai no precisa de quin polígon es tracta.
- ↑ Aristòtil, Analytiques postérieurs, I,23,41 a 26-32 et I,44,50 a 36-38 citat des de Caveing 1998, p. 132, una edició bilingüe del segle xix és accessible en línia I,23 i a I,44.
- ↑ Caveing 1998, p. 219-223, vegeu també l'entrada de la fracció contínua en l'índex.
- ↑ Caveing 1998, p. 245-253, secció 3.2 Hi ha cap prova general en els llibres aritmètics?.
- ↑ Knorr 1975, p. 22 i nota 15 p 52. La proposició es rebutja en l'edició de Heilberg, edició de referència dels Elements, i doncs absenta en el llibre X, en les traduccions realitzades a partir d'ell.
- ↑ Vegeu Fowler 1999, p. 294-295 i Knorr 1975 VII.3 pel detall de l'argumentació: la demostració d'Aphrodise utilitza els Elements, tot i que reposa en el mateix principi, és diferent de la proposició X,117.
- ↑ Knorr 1975, p. 52 nota 15.
- ↑ Fowler 1999, p. 294-295
- ↑ Saito 2004, p. 189
- ↑ Saito 2004, p. 187-189 per veure una història molt sintètica, vegeu també Berggren 1984, i Caveing 1998
- ↑ Per fer-se una idea dels conceptes de què els grecs disposaven, vegeu: Lien, Wilbur Knorr, Wilbur Richard Knorr The Evolution of the Euclidean Elements: A Study of the Theory of Incommensurable Magnitudes and its Significance for Early Greek Geometry, Springer, 1974 ISBN 978-9027705099, p. 15.
- ↑ Fowler, David. (en anglès). 99, 1992, p. 725-733 [Consulta: 5 abril 2015].
- ↑ Vegeu l'article Teoria d'equacions
- ↑ DahanPeiffer, p. 102
- ↑ DahanPeiffer, p. 103
- ↑ És introduït per Christoph Rudolff l'any 1525 : DahanPeiffer, p. 104
- ↑ «Square-roots via Continued Fractions» (en anglès). MathPath, 07-01-2004. [Consulta: 9 abril 2015].
- ↑ Frame, J.S.. The Solution of Equations by Continued Fractions [Solució d'Equacions per Fraccions Contínues] (en anglès). 60. 5a ed., maig 1953, p. 293-305 (American Mathematical Monthly).
- ↑ Ben Thurston, "Estimating square roots, generalized continued fraction expression for every square root", The Ben Paul Thurston Blog
- ↑ Kraaikamp, Cor; Wu, Jun «On a new continued fraction expansion with non-decreasing partial quotients». Monatshefte für Mathematik, 143, 4, 2004, p. 285–298. DOI: 10.1007/s00605-004-0246-3.
- ↑ Wu, Jun «A problem of Galambos on Engel expansions». Acta Arithmetica, 92, 4, 2000, pàg. 383–386.
- ↑ (successió A028254 a l'OEIS)
- ↑ «Roth's Theorem» (en anglès). Wolfram MathWorld. Eric Weisstein. [Consulta: 18 abril 2015].
- ↑ «Normal Number» (en anglès). Wolfram MathWorld. Eric Weisstein. [Consulta: 18 abril 2015].
- ↑ «Pentadecagon» (en anglès). Wolfram MathWorld, 02-04-2015. [Consulta: 6 abril 2015].
- ↑ «Hexadecagon» (en anglès). Wolfram MathWorld, 02-04-2015. [Consulta: 6 abril 2015].
- ↑ «Icositetragon» (en anglès). Wolfram MathWorld, 02-04-2015. [Consulta: 6 abril 2015].
- ↑ «Regular Tetrahedron» (en anglès). Wolfram MathWorld, 02-04-2015. [Consulta: 6 abril 2015].
- ↑ Courant, Richard; Robbins, Herbert. What is mathematics? An Elementary Approach to Ideas and Methods. Londres: Oxford University Press, 1941, p. 124.
- ↑ Julian D. A. Wiseman Sin and cos in surds
- ↑ (successió A115377 a l'OEIS)
- ↑ (successió A229199 a l'OEIS)
- ↑ (successió A224871 a l'OEIS)
- ↑ Encara es denomini "Mètode babilònic" generalment, no existeix evidència que mostri un ús d'aquesta aproximació pels babilònics en el càlcul de l'aproximació de tal com es pot veure en la tauleta YBC 7289. Fowler and Robson ofereix generalment detall i conjectures sobre això.
Fowler and Robson, p. 376. Flannery, p. 32, 158. - ↑ Piñeiro, Gustavo Adolfo. «1». A: RBA. La intuición tiene su lógica (GÖDEL) (en espanyol), 2012, p. 45 (GRANDES IDEAS DE LA CIENCIA). ISBN 978-84-473-7644-5 [Consulta: 2 agost 2015]. «Una de las más antiguas, y al mismo tiempo más sencillas, era conocida por Herón de Alejandría en el siglo I.»
- ↑ Number of known digits
- ↑ Guillaume Reuiller, L'aire de RIEN Arxivat 2008-11-27 a Wayback Machine., Palau de la descoberta, mida verificable a plan de 1841.
- ↑ . in Raynaud, Dominique «Le schème, opérateur de la conception architecturale». Arquitetura Revista, 1, 2008, pàg. 15-32 [Consulta: 5 abril 2015].
- ↑ Alexander Bogomolny. «Square root of 2 is irrational» (en anglès). en recense 27.
- ↑ 54,0 54,1 «Dos demostraciones de la irracionalidad de raíz de 2» (en espanyol). Gaussianos. [Consulta: 6 abril 2015].
- ↑ Tot el que diu Aristòtil, quan escrivia sobre demostracions per reducció a l'absurd, és que "la diagonal del quadrat és incommensurable amb el costat, perquè si es suposa que l'arrel de dos és commensurable, un nombre senar resulta ser igual a un nombre parell ”
- ↑ L'edició del text grec Elements publicat per E. F. August a Berlín els anys 1826–1829 ja relega aquesta demostració a un apèndix. El mateix passa amb l'edició de l'historiador J. L. Heiberg (1883–1888).
- ↑ [enllaç sense format] http://blog.plover.com/math/sqrt-2-new.html
- ↑ Hahn, Alexander J. Basic Calculus: From Archimedes to Newton to its Role in Science (en anglès). Springer Verlag & Key College, 17. ISBN 0387946063.
- ↑ 59,0 59,1 «Square root of 2 is irrational from Interactive Mathematics Miscellany and Puzzles» (en anglès). A. Bogomolny (Cut the Knot). [Consulta: 6 abril 2015].
- ↑ G. Moreno, Samuel; M. García-Caballero, Esther. Am Math Monthly (en anglès). 120, agost-setembre 2013, p. 674.
- ↑ Davis, P. J.; R. K. Guy. The Mathematical Experience. Boston: Houghton Mifflin Company, 1981, p. 299.
- ↑ Conway, J.H.; Guy, R.K.. The Book of Numbers. Copernicus, 16 març 1995. ISBN 978-0387979939.
- ↑ «The Very Last, for 2014, proof of the Irrationality of sqrt(2)» (en anglès). Interactive Mathematics Miscellany and Puzzles. Alexander Bogomolny. [Consulta: 7 abril 2015].
- ↑ Singh Nimbran, Amrik. American Mathematical Monthly, Vol. 121, No. 10, p.964.
- ↑ «Infinite Continued Fractions» (en anglès). Millers Ville. Bruce Ikenaga, 2010. Arxivat de l'original el 21 de desembre 2014. [Consulta: 7 abril 2015].
- ↑ Rudin, Walter. Principles of Mathematical Analysis (3a edició). Nova York: McGraw-Hill Book Company, 1976.
- ↑ «Una demostración geométrica de la irracionalidad de raíz de 2» (en espanyol). Gaussianos. [Consulta: 7 abril 2015].
- ↑ «1199.- Irracionales» (en espanyol). Juan de Mairena, 30-10-2006. [Consulta: 7 abril 2015].
- ↑ Robson, Gustave. Am Math Monthly (en anglès). 63, abril 1955, p. 247.
- ↑ Vegeu Duplicació del cub
- ↑ «Square Root Algorithms» (en anglès). Wolfram MathWorld. [Consulta: 10 abril 2015].
- ↑ Euler. Institutiones calculi differentialis cum eius usu in analysi finitorum ac doctrina serierum (en llatí). II, p. 292.
- ↑ Alsina:«La secta de los números» ISBN 978-84-473-6627-9
- ↑ «Fastest Square Root Algorithm» (en anglès). Mathematics Stack Exchange, 06-02-2013. [Consulta: 18 abril 2015].
- ↑ «An Infinite Product for Square-Rooting with Cubic Convergence» (en anglès). The Mathematical Intelligencer. F. L. BAUER. [Consulta: 12 abril 2015].
- ↑ (anglès) Newton's method and high order iterations, Xavier Gourdon et Pascal Sebah, 2001.
- ↑ (successió A007507 a l'OEIS)
- ↑ Kuzmin,R. O. "On a new class of transcendental numbers", Izvestiya Akademii Nauk SSSR, Ser. matem. 7, 1930, p.585–597,http://mi.mathnet.ru/eng/izv5316
- ↑ Gelfond, Aleksandr "Sur le septième Problème de Hilbert", Bulletin de l'Académie des Sciences de l'URSS. Classe des sciences mathématiques et na, VII, p.623–634, 1934, http://mi.mathnet.ru/eng/izv4924
- ↑ (successió A078333 a l'OEIS)
- ↑ «El número plateado» (en espanyol). Gaussianos. [Consulta: 11 abril 2015].
- ↑ Doblado González, Marina (2003), La proporción cordobesa en la arquitectura, Segundo Congreso Internacional de Matemáticas en la Ingeniería y la Arquitectura, pag. 359-262.
- ↑ «La proporción humana, la razón cordobesa, el rectángulo cordobés y el número cordobés.» (en espanyol). Descartes. Ministerio de Educación, Cultura y Deporte, 2004. [Consulta: 11 abril 2015].
- ↑ «Razón Cordobesa» (en espanyol). Junta de Anadalucía. [Consulta: 18 abril 2015].
- ↑ (successió A014549 a l'OEIS)
- ↑ (successió A053002 a l'OEIS)
- ↑ Nesterenko, Y. «Modular Functions and Transcendence Problems». Comptes rendus de l'Académie des sciences, 322, 10, 1996, pàg. 909–914.
- ↑ (successió A103710 a l'OEIS)
- ↑ Weisstein, Eric W., «Grothendieck's Constant» a MathWorld (en anglès).
- ↑ Joe Diestel. Absolutely Summing Operators. Cambridge University Press, 1995, p. 29. ISBN 0-521-43168-9.
- ↑ (successió A088367 a l'OEIS)
- ↑ (successió A195696 a l'OEIS)
- ↑ Bydder M, Rahal A, Fullerton G, Bydder G «The magic angle effect: a source of artifact, determinant of image contrast, and technique for imaging». Journal of magnetic resonance imaging, 25, 2, 2007, pàg. 290–300. DOI: 10.1002/jmri.20850. PMID: 17260400.
- ↑ (successió A002580 a l'OEIS)
- ↑ (successió A002945 a l'OEIS)
- ↑ «Delian Constant» (en anglès). Wolfram MathWorld. [Consulta: 6 abril 2015].
- ↑ «Stirling's Approximation for n!» (en anglès). Hyper Physics. [Consulta: 18 abril 2015].
- ↑ «BBP-Type Formula» (en anglès). Wolfram MathWorld. Eric Weisstein. [Consulta: 18 abril 2015].
- ↑ Alsina, Claudi. La secta de los números. RBA, 2010. ISBN 978-84-473-6627-9.
- ↑ «Escape Velocity» (en anglès). Hyper Physics. R Nave. [Consulta: 18 abril 2015].
- ↑ Matthew Cole. «A Tedious Explanation of the f/stop» (en anglès)..
- ↑ «ƒ/Calc Manual» (en anglès). Arxivat de l'original el 2009-05-04. [Consulta: 26 març 2015].
Bibliografia
- Flannery, David. The Square Root of Two. Springer, 2005. ISBN 0-387-20220-X.
- Fowler, David; Robson, Eleanor «Square Root Approximations in Old Babylonian Mathematics: YBC 7289 in Context» (PDF). Historia Mathematica, 25, 4, novembre 1998, pàg. 366-378. Arxivat de l'original el 30 de maig 2016 [Consulta: 5 abril 2015].
- Gourdon, X. & Sebah, P. Pythagoras' Constant: √2. Inclou informació de com calcular els dígits d'√2.
- Weisstein, Eric W., «Pythagoras's Constant» a MathWorld (en anglès).
- Benoît Rittaud, Le Fabuleux Destin de √2, Le Pommier, 2006, ISBN 2746502755
- Bertrand Hauchecorne et Daniel Suratteau, Des mathématiciens de A à Z, Ellipses ISBN 978-2729846831
- Gardner, Martin. A K Peters, Ltd.. A Gardner's Workout: Training the Mind and Entertaining the Spirit (en anglès), 2001. ISBN 978-1-56881120-8. .
Història
- Henderson, David W., Square Roots in the Sulbasutra
- Caveing, Maurice. Presses universitaires du Septentrion. La figure et le nombre. Recherches sur les premières mathématiques des Grecs, 1998, pàgs. 33-75. ISBN 978-2-85939494-3.
- Denis Daumas, « Sur la démonstration de l'irrationalité chez les grecs », in La démonstration mathématique dans l'histoire, IREM de Lyon
- Fowler, David. Clarendon Press (Oxford Science Publications). The Mathematics of Plato's Academy (en anglès), 1999. Fowler1999. ISBN 0 19 850258 3.
- Wilbur Richard Knorr. D. Reidel Publishing Company. The Evolution of the Euclidean Elements A Study of the Theory of Incommensurable Magnitudes and its Significance for Early Greek Geometry (en anglès), 1975, p. 374. Knorr1975. ISBN 90 277 0509 7.
- Studies on proportion theory and incommensurability (introduction) (en anglès). ISBN 978-90-481-5850-8. .
- (anglès) Árpád Szabó, The Beginnings of Greek Mathematics, Springer, 1978 ISBN 978-9027708199.
Vegeu també
Enllaços externs
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Commons-logo.svg/30px-Commons-logo.svg.png)
- Racine de 2, Benoît Rittaud (ressources en ligne autour du livre Le Fabuleux Destin de √2)
- Weisstein, Eric W., «Arrel quadrada de 2» a MathWorld (en anglès).
- Rationnel mon Q, Ludmila Duchêne et Agnès Leblanc (démonstrations de l'irrationalité de racine de 2), Hermann, 2009