En matemàtiques, la constant de Gelfond és un nombre transcendent definit com el nombre d'Euler e elevat al nombre pi π:
[1]
Té aquest nom en honor del matemàtic rus Alexander Gelfond que el 1934 va provar-ne la transcendència mitjançant el teorema de Gelfond-Schneider.
La seva fracció contínua no és ni finita ni perìòdica i és
,[1] és a dir:
Demostració de la transcendència
[modifica]Segons el teorema de Gelfond-Schneider (1934), siguin a i b dos nombres algebraics, si b no és un nombre racional, llavors ab sempre serà un nombre transcendent. Aquest teorema va ser demostrat per Aleksandr Gelfond l'any 1934 i de manera independent per Theodor Schneider el 1935, resolent així el setè dels 23 problemes de Hilbert.[2]
Ara bé, ni el nombre pi ni el nombre e no són nombres algebraics, ja que no són arrels de cap polinomi no nul de coeficients racionals. Convé modificar la constant de Gelfond per obtenir una expressió compatible amb el teorema. Això es pot fer de tres maneres diferents.
Es parteix de la fórmula d'Euler:
![{\displaystyle e^{\mathrm {i} x}=\cos x+\mathrm {i} \,\sin x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/471940a7317e9ecba9689628aed13906841ebfbb)
Substituint la x per π/2 tindrem:
![{\displaystyle e^{i{\frac {\pi }{2))}=i.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9caf0df5f95dfe1a24b5b1349056ed6806a5ae8b)
Elevant a i en ambdues bandes i recordant que
:
![{\displaystyle e^{-{\frac {\pi }{2))}=i^{i},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c04f7f370b580360af0ddd8bf6be1b324eaaaac)
Elevant a -2 a banda i banda:
![{\displaystyle e^{\pi }=i^{-2i};}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee7a11ef44746bc6ac15c8dc40eaeef78c4076f0)
I tractant-se
d'un nombre transcendent en cumplir-se el teorema de Gelfond-Schneider, es demostra que
és un nombre transcendent.
Tenint en compte que
i que
, es té que:
![{\displaystyle e^{\pi }=(e^{i\pi })^{-i}=(-1)^{-i},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aaacf09b00028e08f0d4faf73886b130f4959119)
Llavors, en ser -1 un nombre algebraic i -i un nombre algebraic no racional, es compleix el teorema de Gelfond-Schneider i es demostra que
és un nombre transcendent.
Mitjançant logaritmes complexos
[modifica]Partint de les propietats dels logaritmes naturals complexos, i recordant que:
![{\displaystyle \ln(-1)=i\pi \quad \quad \left({\text{ja que))\quad e^{i\pi }=-1\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/337cf3c4863d34168427fa4cb0bde4423f883e37)
![{\displaystyle (-1)^{-i}=e^{ln(-1)-i}=e^{-(o+{i\pi })i}=e^{-\pi i^{2))=e^{\pi ))](https://wikimedia.org/api/rest_v1/media/math/render/svg/2cd646bb2a41685f27b5ec75aa141c0a2d3bc8d5)
Per tant, queda demostrat que
i es compleix, doncs, el teorema de Gelfond-Schneider.
El valor de la constant de Gelfond té la propietat de poder-se obtenir utilitzant la següent seqüència:
Partint del valor de k0
![{\displaystyle k_{0}={\frac {1}{\sqrt {2))}={\frac {\sqrt {2)){2)),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4bbfe7da52ef4d1a8249ee68abd540efddf07cba)
I obtenint cada element de la seqüència a través de la fórmula següent
![{\displaystyle k_{n}={\frac {1-{\sqrt {1-k_{n-1}^{2)))){1+{\sqrt {1-k_{n-1}^{2))))}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da19dea3962849db5dd52dcc4aa8d0057de73603)
Un cop s'ha arribat al valor de kn desitjat, n'hi ha prou a agafar:
[3]
El volum de la bola n-dimensional ve donada per:
![{\displaystyle V_{n}={\pi ^{\frac {n}{2))R^{n} \over \Gamma ({\frac {n}{2))+1)}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/494303f8ebb7dfa689bec5a57b1affdfaaa23d96)
on
és el radi i
és la funció gamma. Tota bola de dimensió parella 2n i de radi la unitat té de volum:
![{\displaystyle V_{2n}={\frac {\pi ^{n)){n!))\ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/85733966f60053dcaa30cad70df0d98cbc73519d)
I si sumem tots els volums de les boles de dimensió parella de radi 1, obtenim la constant de Gelfond:[4]
![{\displaystyle \sum _{n=0}^{\infty }V_{2n}=e^{\pi }.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d489737a0d2d44bceb023c671087bdf1c433f41b)
Elevant al quadrat l'expressió que teníem de la constant de Gelfond
, es té que:
![{\displaystyle (e^{2\pi })=i^{-4i}={\frac {1}{i^{4i))))](https://wikimedia.org/api/rest_v1/media/math/render/svg/d66ed71441900b7235c4ac0c4770e83a269c2ef8)
Finalment elevent a
, i recordant que
![{\displaystyle (e^{2\pi })^{i}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7dd6af3bdc74fba1b6765197d067bd4d69162485)
El valor del quadrat de la constant de Gelfond és
[5]
Si es parteix de:
![{\displaystyle e^{i{\frac {\pi }{2))}=i.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9caf0df5f95dfe1a24b5b1349056ed6806a5ae8b)
i llavors s'eleva a
a banda i banda recordant que
:
![{\displaystyle e^{-{\frac {\pi }{2))}=i^{i}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6793f86ca0685c64bf8eb4af82a5ef49d4547038)
obtenint una nova constant resultat d'elevar la constant de Gelfond a
. Aquesta constant és igual a:
[6]
que té de coeficients de fracció contínua:
[7]
El nombre invers multiplicatiu de
és
[8]
que és també un nombre transcendent amb coeficients de fracció contínua:
[7]
Noti's que els coeficients de fracció contínua deriven del cas anterior omitint-ne el primer terme.
eπ i πe tenen clarament valors diferents, sent eπ > πe. El valor de eπ és 23,14... i el de πe és de 22,45.... Tot i així, es pot saber que la constant de Gelfond és més gran sense haver de calcular el valor concret, a partir de la següent funció:[9]
![{\displaystyle y=x^{1/x))](https://wikimedia.org/api/rest_v1/media/math/render/svg/80c8089825cf4ab4746f05c2d90a23ef5ab6e079)
Aplicant logaritmes naturals en totes dues bandes i fent la derivada implícita es té que:
![{\displaystyle ln({y})=ln({x^{1/x)))={\frac {1}{x))ln{x))](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc25536bdb52ea77f80e9d0eae6f6d5a3062856f)
![{\displaystyle {\frac {1}{y))y'={\frac {ln({x})-1}{x^{2))))](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5025a3e4ee5047e9cba2c24ab19b4502712365a)
![{\displaystyle y'={\frac {y}{x^{2))}(ln({x})-1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a632c35f754eed905697303c2bb1564f9390c030)
Igualant la derivada a 0 per trobar el màxim de la funció:
![{\displaystyle 0={\frac {x^{1/x)){x^{2))}(ln({x})-1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e344c46f3002b76a81020d5a679ed5e1a8a78615)
Els extrems de la funció es trobaran quan:
![{\displaystyle ln({x})=1;x=e}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d017f7c15ee866ff3d79bad9e9171c24a9907df)
Per tant:
∀x≠e, i en particular:
![{\displaystyle e^{1/e}>\pi ^{1/\pi ))](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c944b84216347fd2e486cc60206e190102c08a1)
I finalment si es multiplica en els dos exponents per
i s'aplica el criteri del teorema del sandvitx tenim que:
![{\displaystyle e^{\pi }>\pi ^{e))](https://wikimedia.org/api/rest_v1/media/math/render/svg/cdb913d3a32b63214251bea8c82fb7240782118b)
D'altra banda,
[10]
La seva fracció contínua és
[11]
El resultat d'elevar la constant de Gelfond a l'arrel de 163 (nombre primer) és la constant de Ramanujan, que té la peculiaritat de ser molt proper a un enter.[12] Això fa que es pugui confondre amb un enter aproximant-ne el valor i considerant l'error de l'instrument de càlcul. Rep el nom del matemàtic indi Srinivasa Ramanujan, Aquest nombre és també un nombre transcendent. En particular:
[13]
Però això no només es dona amb l'arrel de 163, també amb la de 43 i la de 67:
![{\displaystyle e^{\pi {\sqrt {43))}\approx 884736743,999777466\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11c7c837b28003fe3a9f1a5fb3799441c582bcc5)
![{\displaystyle e^{\pi {\sqrt {67))}\approx 147197952743,999998662454\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91880f237a39742c66740fc049306d62fbb69852)
La constant de Gelfond es pot expressar també com:
![{\displaystyle e^{\pi }=\sum _{n=0}^{\infty }{\frac {\pi ^{n)){n!))={\frac {\pi ^{1)){1))+{\frac {\pi ^{2)){2!))+{\frac {\pi ^{3)){3!))+{\frac {\pi ^{4)){4!))+\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d353d29fd0257a65822ffa51aa66d71500ca92b1)
- El valor de eπ: - π és molt proper a 20, i se'l considera un nombre quasi enter. Es pot constatar constatar expressant-ho de diferents maneres:
[14]
Que té de coeficients de fracció contínua: {19,1,1119,11,1,2,2,2,2,1,61,3,2083,1,2,1,3,1,2,9,2...}[15]
![{\displaystyle cos({ln({20+\pi })})=-0,9999999992...}](https://wikimedia.org/api/rest_v1/media/math/render/svg/759ef8f37a150b84b6efcc052a5d798320ac487f)
[16]
i
són independents algebraicament, demostrat per Yuri V. Nesterenko.[17]
La constant de Gelfond satisfà l'aproximació:
![{\displaystyle e^{\pi {\sqrt {23))}\approx 2^{12}\rho ^{24}-24}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f68f200709f26ca1bf99aa355b80b396fc6b401)
on
és el nombre plàstic, i la diferència és de 7,8 x 10-5
- ↑ 1,0 1,1 (successió A039661 a l'OEIS)
- ↑ Tijdeman, Robert. «On the Gel'fond–Baker method and its applications». A: Felix E. Browder. Mathematical Developments Arising from Hilbert Problems. XXVIII.1. American Mathematical Society, 1976, p. 241–268. ISBN 0-8218-1428-1.
- ↑ Borwein, J.; Bailey, D. Mathematics by Experiment: Plausible Reasoning in the 21st Century. A K Peters, 2004, p. 137. ISBN 1-56881-211-6.
- ↑ Connolly, Francis. University of Notre Dame[Cal citació completa]
- ↑ (successió A216707 a l'OEIS)
- ↑ (successió A049006 a l'OEIS)
- ↑ 7,0 7,1 (successió A049007 a l'OEIS)
- ↑ (successió A042972 a l'OEIS)
- ↑ [enllaç sense format] https://www.youtube.com/watch?v=9NW30GlCUlg&index=1&list=PLVV4v9aqK2R-2hyi-FCTcUsIU4mha2c5P
- ↑ (successió A059850 a l'OEIS)
- ↑ (successió A058288 a l'OEIS)
- ↑ [enllaç sense format] http://mathworld.wolfram.com/RamanujanConstant.html
- ↑ (successió A060295 a l'OEIS)
- ↑ (successió A018938 a l'OEIS)
- ↑ (successió A018939 a l'OEIS)
- ↑ [enllaç sense format] http://mathworld.wolfram.com/AlmostInteger.html
- ↑ Nesterenko, Y «Modular Functions and Transcendence Problems». Comptes rendus de l'Académie des sciences, 322, 10, 1996, pàg. 909–914.
- Identitat d'Euler
- Nombres transcendents
- Nombre pi
- Nombre e