Fracción exipcia

Unha fracción exipcia é unha suma finita de fraccións unitarias distintas, como $\frac{1}{2} + \frac{1}{3} + \frac{1}{16} .$ Cada fracción na expresión ten un numerador igual a 1 e un denominador que é un enteiro positivo, e todos os denominadores difiren entre eles. O valor dunha expresión deste tipo é un número racional positivo $\frac{a}{b}$ ; por exemplo a fracción exipcia vista enriba suma $\frac{43}{48}$ . Cada número racional positivo pode ser representado por unha fracción exipcia. Nestas sumas tamén permitían incluír $\frac{2}{3}$ e $\frac{3}{4}$ como sumandos, e era un sistema normal de notación para números racionais no antigo Exipto. En notación matemática moderna, as fraccións exipcias sustituíronse polas nosas fraccións actuais e pola notación decimal. Aínda así, as fraccións exipcias seguen a ser un obxecto de estudo en teoría de números e nas matemáticas recreativas. Tamén, evidentemente, nos estudos de matemáticas antigas.

Aplicacións

Máis aló do seu uso histórico, as fraccións exipcias poden ter algunhas vantaxes prácticas sobre outras representacións. Por exemplo, as fraccións exipcias poden axudar a dividir obxectos en partes iguais.^[1] Por exemplo, se un quere dividir 5 pizzas igualmente entre 8 persoas, a fracción exipcia $\frac{5}{8} = \frac{1}{2} + \frac{1}{8}$ significa que cada persoa consegue media pizza máis un oitavo doutra pizza, por exemplo partindo 4 pizzas en 8 metades, e a pizza restante en 8 partes.

Primeiros tempos

A notación das fraccións exipcias foi desenvolvida no Reino de Medio de Exipto. Cinco textos dos primeiros tempos nos que aparecen fraccións exipcias son: Rolo de coiro de matemáticas exipcias, o papiro de Moscova, o Papiro Reisner, os papiros de Kahun e as táboas de madeira de Akhmim. Un texto máis tardío, no papiro de Rhind, aparecen melloras na escrita de fraccións exipcias. O papiro de Rhind foi escrito por Ahmes e data do Segundo Período Intermedio; inclúe unha táboa de expansións dos números racionais en fraccións exipcias para números racionais , así como 84 problemas descritos sen linguaxe matemático (word problems). As solucións a cada problema foron escritas coas respostas finais expresadas en notación de fraccións exipcias. Así e todo, os papiros de Kahun mostran que tamén usaban as fraccións comúns actuais.

Notación

Para escribir as fraccións unitarias, os exipcios colocaban o xeróglifo:

(er, "entre" ou posibelmente re, boca) por riba dun número para representar o recíproco daquel número. De xeito semellante debuxaban unha liña sobre a letra que representa o número. Por exemplo:

= \frac{1}{3}

= \frac{1}{10}

Tiñan símbolos especiais para $\frac{1}{2}$ , $\frac{2}{3}$ e $\frac{3}{4}$ que se usaban para reducir o tamaño dos números máis grandes que $\frac{1}{2}$ . O número restante escribíase como suma de fraccións unitarias segundo a notación de fraccións exipcias habitual.

= \frac{1}{2}

= \frac{2}{3}

= \frac{3}{4}

Métodos de cálculo

Os historiadores modernos de matemáticas estudan o papiro de Rhind e outras fontes antigas nunha tentativa de descubrir os métodos que os exipcios utilizaban para calcular con fraccións exipcias. Malia que estas expansións xeralmente poden ser descritas como identidades alxébricas, os métodos usados polos exipcios poden non corresponder directamente con estas identidades. Alén diso, as expansións das táboas non coinciden cunha única identidade; no seu lugar, diferentes identidades coinciden con expansións para denominadores de números primos e de números compostos, e máis dunha identidade encaixa nos números de cada tipo:

Para denominadores primos impares pequenos Modelo:Mvar, usaban $\frac{2}{p} = \frac{1}{(p + 1) / 2} + \frac{1}{p (p + 1) / 2}$ .
Para denominadores primos máis grandes, usaban $\frac{2}{p} = \frac{1}{A} + \frac{2 A - p}{A p},$ onde Modelo:Mvar é un número con moitos divisores (como un número práctico) entre Modelo:Math e Modelo:Mvar. O termo restante Modelo:Math expande como suma de divisores de Modelo:Math, formando unha fracción Modelo:Math para cada un dos Modelo:Mvar. Como exemplo, damos a expansión de Ahmes $\frac{2}{37} = \frac{1}{24} + \frac{1}{111} + \frac{1}{296}$ con Modelo:Math e Modelo:Math, pois $\frac{1}{111} = \frac{8}{24 \cdot 37}$ e $\frac{1}{296} = \frac{3}{24 \cdot 37}$ . Pode haber moitas expansións diferentes deste tipo para un Modelo:Mvar dado. Con todo, K. S. Marrón observou, que a expansión escollida polo exipcios tendía a que o denominador máis grande fose tan pequeno como posíbel.
Para algúns denominadores compostos, con factores $p \cdot q$ , a expansión para $\frac{2}{p q}$ ten a forma dunha expansión $\frac{2}{p}$ con cada denominador multiplicado por $q$ . Mais hai excepcións, notabelmente $\frac{2}{35}$ , $\frac{2}{91}$ , e $\frac{2}{95}$ .Modelo:Sfnp^[2]
Tamén pode expandirse como $\frac{2}{p q} = \frac{1}{p (p + q) / 2} + \frac{1}{q (p + q) / 2} .$ Máis tarde os escribas utilizaron unha forma máis xeral desta expansión, $\frac{n}{p q} = \frac{1}{p (p + q) / n} + \frac{1}{q (p + q) / n},$ que funciona cando $p + q$ é un múltiplo de $n$ .Modelo:Sfnp
A expansión final no papiro de Rhind, $\frac{2}{101}$ , (101 primo) non encaixa en ningunha destas formas, polo contrario utiliza unha expansión $\frac{2}{p} = \frac{1}{p} + \frac{1}{2 p} + \frac{1}{3 p} + \frac{1}{6 p}$ Así temos $\frac{2}{101} = \frac{1}{101} + \frac{1}{202} + \frac{1}{303} + \frac{1}{606}$ . Unha expansión parecida utilízase en varios casos do Rolo de coiro de matemáticas exipcias.

Usos máis tardíos

Fibinacci no Liber Abaci inclúe cálculos con identidades para fraccións unitarias, varios métodos implican identidades alxébricas como $\frac{a}{a b - 1} = \frac{1}{b} + \frac{1}{b (a b - 1)} .$ Por exemplo, Fibonacci representa a fracción 8/11 separando o numerador como suma de dous números, cada un deles dividindo o denominador máis 1, Modelo:Nowrap e despois aplica a identidade de enriba a cada parte, producindo a expansión Modelo:Nowrap. Fibonacci describe métodos similares para denominadores que son dous ou tres menos que un número con moitos factores.

No caso raro que estoutros métodos fallen, Fibonacci suxire un algoritmo cobizoso para fraccións exipcias, no que repetidamente escolle a fracción unitaria co denominador máis pequeno que non sexa máis grande que a fracción restante: isto é, en notación máis moderna $\frac{x}{y} = \frac{1}{⌈ \frac{y}{x} ⌉} + \frac{(- y) mod x}{y ⌈ \frac{y}{x} ⌉},$ Onde Modelo:Nowrap representa a función teito; e dado que (−y) mod x < x, este método produce unha expansión finita.

Comparado con expansións exipcias antigas ou con métodos máis modernos, este método pode producir expansións que son bastante longas. Podemos ver un caso: $\frac{5}{121} = \frac{1}{25} + \frac{1}{757} + \frac{1}{763 309} + \frac{1}{873 960 180 913} + \frac{1}{1 527 612 795 642 093 418 846 225},$ mentres outros métodos producen estoutra expansión máis curta $\frac{5}{121} = \frac{1}{33} + \frac{1}{121} + \frac{1}{363} .$ A secuencia de Sylvester: 2, 3, 7, 43, 1807, ... pode ser vista como se fose xerada por unha expansión cobizosa infinita deste tipo para o número 1, onde en cada paso escollemos o denominador Modelo:Nowrap en vez de Modelo:Nowrap.

Teoría de números moderna

Moitos matemáticos do campo da teoría de números moderna continúan a estudar problemas relacionados coas fraccións exipcias. Estes inclúen problemas sobre limitación da lonxitude ou do denominador máximo en representacións de fraccións exipcias. Entre outras cousas mostraron que existen expansións para calquera conxunto suficientemente denso de suficientes números suaves.

Unha das primeiras publicacións de Paul Erdős probou que non é posíbel para unha progresión harmónica formar unha representación en forma de fracción exipcia dun enteiro. A razón é que, necesariamente, polo menos un denominador da progresión será divisible por un número primo que non divide a ningún outro denominador. Unha publicación posterior de Erdős, case 20 anos após a súa morte, proba que cada enteiro ten unha representación na que todos os denominadores son produtos de tres primos.Modelo:Sfnp^[3]
A conxectura de Erdős-Graham en teoría de números combinatorial estabelece que, se os enteiros maiores que 1 son particionados en finitamente moitos subconxuntos, daquela un dos subconxuntos ten un subconxunto finito del mesmo cuxos recíprocos suman 1. Isto é, para cada Modelo:Nowrap, e cada r-coloreado dos enteiros maiores que 1, hai un subconxunto monocromático finito S destes enteiros de tal xeito que $\sum_{n \in S} \frac{1}{n} = 1 .$ A conxectura foi probada no 2003 por Ernest S. Croot III.
O problema de Znám e os números primarios pseudoperfectos está estreitamente relacionado coa existencia de fraccións exipcias da forma $\sum \frac{1}{x_{i}} + \prod \frac{1}{x_{i}} = 1 .$ Por exemplo, o número primario pseudoperfecto 1806 é o produto dos números primos 2, 3, 7, e 43, e dá lugar á fracción exipcia Modelo:Nowrap.
As fraccións exipcias definíanse para denominadores distintos, mais este requisito pode ser relaxado para deixar denominadores repetidos. Mais Takenuchi en 1921 deu unha transformación de dúas fraccións unitarias iguais en dúas diferentes $\frac{1}{k} + \frac{1}{k} = \frac{2}{k + 1} + \frac{2}{k (k + 1)}$ se k é impar, ou dúas fraccións en unha Modelo:Nowrap = Modelo:Sfrac se $k$ é par.
Graham e Jewett probou que é posíbel converter expansións con denominadores repetidos en fraccións exipcias máis longas,^[4] $\frac{1}{k} + \frac{1}{k} = \frac{1}{k} + \frac{1}{k + 1} + \frac{1}{k (k + 1)} .$
Calquera fracción x/y ten unha representación de fracción exipcia na que o denominador máximo está limitado por $O (y \log y {(\log \log y)}^{4} {(\log \log \log y)}^{2}),$ e unha representación con como máximo $O (\sqrt{\log y})$ termos. O número de termos ás veces é proporcional a Modelo:Nowrap. Existe a conxectura de que o número de termos de orde Modelo:Nowrap son sempre abondos. É tamén posíbel atopar representacións nas que ambos os dous, o denominador máximo e o número de termos son pequenos.Modelo:Sfnp
Modelo:Harvtxt caracterizou os números que poden ser representados por fraccións exipcias nas que todos os denominadores son n-ésimas potencias. En particular, un número racional q pode representar como unha fracción exipcia con denominadores cadrados se e só se q está en un dos dous intervalos semi-abertos $[0, \frac{π^{2}}{6} - 1) \cup [1, \frac{π^{2}}{6}),$ e temos que $ζ (2) = \frac{π^{2}}{6}$ .
Modelo:Harvtxt mostrou que calquera número racional ten expansións moi densas, usando unha fracción constante dos denominadores ata N para calquera N suficientemente grande.
A expansión de Engel, é unha forma de expansión en fraccións exipcias na que cada denominador é un múltiplo do anterior: $x = \frac{1}{a_{1}} + \frac{1}{a_{1} a_{2}} + \frac{1}{a_{1} a_{2} a_{3}} + \dots .$ Ademais, a secuencia dos $a_{i}$ debe ser non decrecente. Cada número racional ten unha expansión finita de Engel, mentres que os números irracionais teñen unha expansión infinita de Engel.
Modelo:Harvtxt estudaron os números que teñen múltiples fraccións exipcias distintas co mesmo número de termos e o mesmo produto dos denominadores; por exemplo $\frac{5}{12} = \frac{1}{4} + \frac{1}{10} + \frac{1}{15} = \frac{1}{5} + \frac{1}{6} + \frac{1}{20} .$ Aplican os seus resultados á caracterización mediante un número pequeno de parámetros pequenos dos produtos libres dos grupos abelianos: o rango do commutador do subgrupo, o número de termos no produto libre, e o produto das ordes dos factores.
O número de representacións diferentes con $n$ termos da fracción exipcia do número 1 esta limitado superiormente e inferiormente por funcións exponenciais duplas de n.Modelo:Sfnp

Problemas abertos

Algúns problemas notábeis fican aínda non resolvidos, a pesar dun esforzo considerábel por múltiples matemáticos.

A conxectura de Erdős-Straus ocúpase da lonxitude da expansión máis curta para unha fracción da forma 4/n. Existe unha expansión $\frac{4}{n} = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}$ para todo n? Sábese que é certo para todo Modelo:Nowrap, e para todos os demais agás posiblemente algún de entre

{1, 121 = 1 1^{2}, 169 = 1 3^{2}, 289 = 1 7^{2}, 361 = 1 9^{2}, 529 = 2 3^{2}} (\mod 840),

mais a proba xeral da veracidade da conxectura segue sen ser coñecida.

Non se sabe se para toda fracción con denominador impar existe unha expansión cobizosa impar (os maiores denominadores de valor impar).^[5]
É posíbel utilizar algoritmos de forza bruta para atopar a representación de fraccións exipcias dun número dado co menor número de termos posíbeis ou minimizando o denominador máis grande; no entanto, eses algoritmos poden ser bastante ineficientes. Permanece descoñecida a existencia de algoritmos en tempo polinomial, ou máis xeralmente de complexidade computational para estes problemas.

Modelo:Harvtxt describe estes problemas en máis detalle e lista numerosos problemas abertos adicionais.

Notas

Modelo:Listaref

Véxase tamén

Outros artigos

Bibliografía

Modelo:Refbegin

Modelo:Refend

Ligazóns externas

Modelo:Cita web
Modelo:Cita web
Modelo:Cita web
Weisstein, Eric W., "Egyptian Fraction", MathWorld
Modelo:Cita web and Modelo:Cita web, The Wolfram Demonstrations Project, based on programs by David Eppstein.

Modelo:Control de autoridades

[1] Modelo:Harvtxt; Modelo:Harvtxt

[2] Modelo:Harvtxt; Modelo:Harvtxt

[3] Modelo:Harvtxt; Modelo:Harvtxt

[4] Ver Modelo:Harvtxt e Modelo:Harvtxt

[5] Modelo:Harvtxt; Modelo:Harvtxt

[1]

[2]

[3]

[4]

[5]

Fracción exipcia

Índice

Aplicacións

Primeiros tempos

Notación

Métodos de cálculo

Usos máis tardíos

Teoría de números moderna

Problemas abertos

Notas

Véxase tamén

Outros artigos

Bibliografía

Ligazóns externas

Menú de navegación

Fracción exipcia

Aplicacións

Primeiros tempos

Notación

Métodos de cálculo

Usos máis tardíos

Teoría de números moderna

Problemas abertos

Notas

Véxase tamén

Outros artigos

Bibliografía

Ligazóns externas

Menú de navegación

Procura