1 dividio por un número enteiroModelo:SHORTDESC: 1 dividio por un número enteiro
Anacos de aproximadamente 1/8 dunha pizza
Unha **fracción unitaria** é unha fracción positiva con un 1 como o seu numerator, 1/n. É o multiplicativo inverso (recíproco) do denominador da fracción, que debe ser un número natural positivo. Os exemplos son 1/1, 1/2, 1/3, 1/4, 1/5, etc. Cando un obxecto é dividido a partes iguais, cada parte é unha fracción unitaria da totalidade.

Multiplicando dúas fraccións de unidade produce outra fracción de unidade, mais outras operacións aritméticas non preservan as fraccións unitarias. En aritmética modular, as fraccións unitarias poden ser convertidas a números enteiros equivalentes, permitindo que a división modular poida ser transformada a unha multiplicación. Cada número racional pode ser representado como suma de fraccións unitarias distintas; estas representacións chámanse fraccións exipcias. Moitas sumas infinitas de fraccións unitarias son significativas matecamente, por exemplo a zeta de Riemann.

En xeometría, as fraccións unitarias poden caracterizar a curvatura de grupos de triángulos e os círculos de Ford tanxentes. As fraccións unitarias utilízanse na división xusta, e este método un paso previo na educación matemática cara a comprensión doutras fraccións. As fraccións unitarias son comúns en teoría de probabilidade debido ao principio de indiferenza. Tamén teñen aplicación en optimización combinatorial e na análise do patrón de frecuencias na serie espectral do hidróxeno.

Aritmética
----------

As fraccións unitarias son os números racionais que poden ser escritos na forma 


1
n

,

{\displaystyle {\frac {1}{n}},}

{\displaystyle {\frac {1}{n}},} Onde {\displaystyle n} pode ser calquera número natural positivo. Son por tanto o inverso multiplicativo dos enteiros positivos. Cando algo é dividido en {\displaystyle n} partes iguais, cada parte é un {\displaystyle 1/n} fracción da totalidade.

### Aritmética elemental

Multiplicando calquera dúas fraccións unitarias resulta outra fracción unitaria :


1
x

×

1
y

=

1

x
y

.

{\displaystyle {\frac {1}{x}}\times {\frac {1}{y}}={\frac {1}{xy}}.}

{\displaystyle {\frac {1}{x}}\times {\frac {1}{y}}={\frac {1}{xy}}.}
No entanto, a suma, resta ou división de dúas fraccións unitarias producen un resultado que normalmente non é unha fracción unitaria:


1
x

+

1
y

=

x
+
y

x
y


{\displaystyle {\frac {1}{x}}+{\frac {1}{y}}={\frac {x+y}{xy}}}

{\displaystyle {\frac {1}{x}}+{\frac {1}{y}}={\frac {x+y}{xy}}}


1
x

−

1
y

=

y
−
x

x
y


{\displaystyle {\frac {1}{x}}-{\frac {1}{y}}={\frac {y-x}{xy}}}

{\displaystyle {\frac {1}{x}}-{\frac {1}{y}}={\frac {y-x}{xy}}}


1
x

÷

1
y

=

y
x

.

{\displaystyle {\frac {1}{x}}\div {\frac {1}{y}}={\frac {y}{x}}.}

{\displaystyle {\frac {1}{x}}\div {\frac {1}{y}}={\frac {y}{x}}.}
### Aritmética Modular

En aritmética modular, calquera fracción unitaria pódese converter a un número enteiro equivalente usando o algoritmo de Euclides estendido. Esta conversión pode usarse para realizar a división modular: dividir por un número {\displaystyle x} modulo {\displaystyle y}, pode realizarse convertendo a fracción unitaria {\displaystyle 1/x} a un número enteiro equivalente modulo {\displaystyle y}, e daquela multiplicar por ese número.

En máis detalle, supón {\displaystyle x} coprimo a {\displaystyle y} (doutro xeito, a división modular non estaría definida). O algoritmo de Euclides estendido usado para obter o máximo común divisor, tamén se pode usar para atopar os enteiros {\displaystyle a} e {\displaystyle b} que cumpran a identidade de Bézout:



a
x
+
b
y
=
gcd
(
x
,
y
)
=
1.

{\displaystyle \displaystyle ax+by=\gcd(x,y)=1.}

{\displaystyle \displaystyle ax+by=\gcd(x,y)=1.} En aritmética modular, o termo {\displaystyle by} pode ser eliminado pois é cero modulo {\displaystyle y}. Isto deixa



a
x
≡
1

(
mod

y
)

.

{\displaystyle \displaystyle ax\equiv 1{\pmod {y}}.}

{\displaystyle \displaystyle ax\equiv 1{\pmod {y}}.}isto é, {\displaystyle a} é o inverso modular de {\displaystyle x}, {\displaystyle a} é o número que multiplicado por {\displaystyle x} dá 1. Equivalentemente,


a
≡

1
x

(
mod

y
)

.

{\displaystyle a\equiv {\frac {1}{x}}{\pmod {y}}.}

{\displaystyle a\equiv {\frac {1}{x}}{\pmod {y}}.}Daquela, a división por {\displaystyle x} (modulo {\displaystyle y}) pode realizarse multiplicando polo enteiro {\displaystyle a}.

As súas combinacións
--------------------

Son varias as construcións matemáticas que implican combinar múltiples fraccións unitarias, a miúdo as súas sumas.

### Sumas finitas

*Véxase tamén**:* Lista de sumas de recíprocos.
Calquera número racional positivo pode ser escrito como a suma de fraccións unitarias distintas, de múltiples xeitos. Por exemplo,

{\displaystyle {\frac {4}{5}}={\frac {1}{2}}+{\frac {1}{4}}+{\frac {1}{20}}={\frac {1}{3}}+{\frac {1}{5}}+{\frac {1}{6}}+{\frac {1}{10}}.}
Chamamos a estas sumas fraccións exipcias, porque as utilizaron nas antigas civilizacións exipcias. Aínda é un tema vivo na teoría de números moderna; por exemplo, a conxectura de Erdős-Graham  e a conxectura de Erdős-Straus, ambas as dúas referentes a sumas de fraccións unidatarias, tamén aparecen non números de Ore (número de divisores harmónicos).

Un patrón de triángulos esféricos con simetría de reflexión a través de cada bordo de triángulo. Os patróns de reflexión esférica así coma este con triángulos {\displaystyle 2x,2y,2z}, en cada vértice, (aquí {\displaystyle x,y,z=2,3,5}), só existen cando{\displaystyle {\tfrac {1}{x}}+{\tfrac {1}{y}}+{\tfrac {1}{z}}>1}
En teoría xeométrica de grupos, os grupos de triángulos son clasificados nos casos Euclideo, esférico e hiperbólico segundo se unha suma asociada de fraccións unitarias é igual a 1, máis grande que 1, ou menor que 1, respectivamente.

### Serie infinita

*Véxase tamén**:* Lista de sumas de recíprocos.
Moitas series infinitas famosas teñen termos que son fraccións unitarias. Estas inclúen:

* A serie harmónica, suma de todas as fraccións unitarias positivas. Esta suma diverxe, e as súas sumas parciais 


1
1

+

1
2

+

1
3

+
⋯
+

1
n

{\displaystyle {\frac {1}{1}}+{\frac {1}{2}}+{\frac {1}{3}}+\cdots +{\frac {1}{n}}}

{\displaystyle {\frac {1}{1}}+{\frac {1}{2}}+{\frac {1}{3}}+\cdots +{\frac {1}{n}}} aproxímanse ao logaritmo neperiano de {\displaystyle n} máis a constante de Euler–Mascheroni ou número e. A suma alterna dá como resultado o logaritmo neperiano de 2: 

∑

n
=
1

∞


(
−
1

)

n
+
1

n

=
1
−

1
2

+

1
3

−

1
4

+

1
5

−
⋯
=
ln
⁡
2.

{\displaystyle \sum \_{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}=1-{\frac {1}{2}}+{\frac {1}{3}}-{\frac {1}{4}}+{\frac {1}{5}}-\cdots =\ln 2.}

{\displaystyle \sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}=1-{\frac {1}{2}}+{\frac {1}{3}}-{\frac {1}{4}}+{\frac {1}{5}}-\cdots =\ln 2.}
* A fórmula de Leibniz para π é 

1
−

1
3

+

1
5

−

1
7

+

1
9

−
⋯
=

π
4

.

{\displaystyle 1-{\frac {1}{3}}+{\frac {1}{5}}-{\frac {1}{7}}+{\frac {1}{9}}-\cdots ={\frac {\pi }{4}}.}

{\displaystyle 1-{\frac {1}{3}}+{\frac {1}{5}}-{\frac {1}{7}}+{\frac {1}{9}}-\cdots ={\frac {\pi }{4}}.}
* O problema de Basilea atende á suma das fraccións unitarias cadradas:

1
+

1
4

+

1
9

+

1
16

+
⋯
=

π

2

6

.

{\displaystyle 1+{\frac {1}{4}}+{\frac {1}{9}}+{\frac {1}{16}}+\cdots ={\frac {\pi ^{2}}{6}}.}

{\displaystyle 1+{\frac {1}{4}}+{\frac {1}{9}}+{\frac {1}{16}}+\cdots ={\frac {\pi ^{2}}{6}}.} De xeito semellante, a constante de Apéry é un número irracional, que é a suma do cubo das fraccións unitarias.
* A serie xeométrica binaria é  

1
+

1
2

+

1
4

+

1
8

+

1
16

+
⋯
=
2.

{\displaystyle 1+{\frac {1}{2}}+{\frac {1}{4}}+{\frac {1}{8}}+{\frac {1}{16}}+\cdots =2.}

{\displaystyle 1+{\frac {1}{2}}+{\frac {1}{4}}+{\frac {1}{8}}+{\frac {1}{16}}+\cdots =2.}

### Matrices

Unha matriz de Hilbert é unha matriz cadrada na que todos os elementos na antidiagonal {\displaystyle i}-ésima son fraccións unitarias {\displaystyle 1/i}. 



B

i
,
j

=

1

i
+
j
−
1

.

{\displaystyle B\_{i,j}={\frac {1}{i+j-1}}.}

{\displaystyle B_{i,j}={\frac {1}{i+j-1}}.}Por exemplo, a matriz


[

1

1
2



1
3



1
2



1
3



1
4



1
3



1
4



1
5


]

{\displaystyle {\begin{bmatrix}1&{\frac {1}{2}}&{\frac {1}{3}}\\{\frac {1}{2}}&{\frac {1}{3}}&{\frac {1}{4}}\\{\frac {1}{3}}&{\frac {1}{4}}&{\frac {1}{5}}\end{bmatrix}}}

{\displaystyle {\begin{bmatrix}1&{\frac {1}{2}}&{\frac {1}{3}}\\{\frac {1}{2}}&{\frac {1}{3}}&{\frac {1}{4}}\\{\frac {1}{3}}&{\frac {1}{4}}&{\frac {1}{5}}\end{bmatrix}}} É unha matriz de Hilbert. Ten a propiedade infrecuente de que todos os elementos da súa matriz inversa son enteiros. De xeito semellante, Richardson (2001) definiu unha matriz cuxos elementos son fraccións unitarias cuxos denominadores son números de Fibonacci:



C

i
,
j

=

1

F

i
+
j
−
1

,

{\displaystyle C\_{i,j}={\frac {1}{F\_{i+j-1}}},}

{\displaystyle C_{i,j}={\frac {1}{F_{i+j-1}}},}Onde {\displaystyle F\_{i}} denota o {\displaystyle i}-ésimo número de Fibonacci. Chamou a esta matriz de Filbert a matriz e ten a mesma propiedade de ter a inversa todos os seus elementos enteiros.

### Adxacentes e círculos de Ford

As fraccións dos Círculos de Ford difiren por unha fracción unitaria.
Dúas fraccións {\displaystyle a/b} e {\displaystyle c/d} (nos seus valores simplificados) chámanse **adxacentes** se


a
d
−
b
c
=
±
1
,

{\displaystyle ad-bc=\pm 1,}

{\displaystyle ad-bc=\pm 1,} o que implica que difiren nunha fracción unitaria:



|

1
a

−

1
b

|

=

|

a
d
−
b
c

|

b
d

=

1

b
d

.

{\displaystyle \left|{\frac {1}{a}}-{\frac {1}{b}}\right|={\frac {|ad-bc|}{bd}}={\frac {1}{bd}}.}

{\displaystyle \left|{\frac {1}{a}}-{\frac {1}{b}}\right|={\frac {|ad-bc|}{bd}}={\frac {1}{bd}}.}Por exemplo, {\displaystyle {\tfrac {1}{2}}} e {\displaystyle {\tfrac {3}{5}}} son adxacentes: {\displaystyle 1\cdot 5-2\cdot 3=-1} e {\displaystyle {\tfrac {3}{5}}-{\tfrac {1}{2}}={\tfrac {1}{10}}}. Con todo, a condición contraria non se cumpre sempre: por exemplo, {\displaystyle {\tfrac {1}{3}}} e {\displaystyle {\tfrac {2}{3}}} difiren por unha fracción unitaria, mais non son adxacente, porque para elas {\displaystyle ad-bc=3}.

Esta terminoloxía vén do estudo dos círculos de Ford. Son un sistema de círculos que son tanxentes á recta numérica nunha fracción dada, e teñen como diámetro o denominador da fracción ao cadrado. As fraccións {\displaystyle a/b} e {\displaystyle c/d} son adxacentes se e só se os seus círculos de Ford son círculos tanxentes.

Aplicacións
-----------

### Probabilidade e estatística

Un dado de seis caras ten probabilidade 1/6 de aterrar por cada lado.
Nunha distribución uniforme nun espazo diferenciado, todas as probabilidades son fraccións unitarias iguais. Debido ao principio de indiferenza, as probabilidades desta forma xorden frecuentemente en cálculos estatísticos.

As probabilidades desiguais relacionadas a fraccións unitarias xorden na lei de Zipf. Isto expón que, para moitos fenómenos observados implicando a selección de elementos dunha secuencia ordenada, a probabilidade de que o {\displaystyle n}-ésimo elemento sexa seleccionado é proporcional á fracción unitaria {\displaystyle 1/n}.

### Optimización combinatorial

No estudo de problemas de optimización combinatorial, o problema do empaquetamento (bin packing) implican unha secuencia de entrada de elementos con tamaños fraccionais, que deben colocarse en paquetes cuxa capacidade (o tamaño total de elementos colocados en cada paquete) sexa 1. A investigación destes problemas inclúen o estudo de paquetes coa restrición de que os tamaños dos elementos son fraccións unitarias.

Mesmo para problemas de empaquetado con tamaños arbitrarios dos elemento, pode ser útil redondear superiormente cada tamaño até a fracción unidade máis próxima, e daquela aplicar un algoritmo especializado en fraccións unitarias. En particular, o método de empaquetado harmónico fai exactamente isto.

### Física

A serie espectral do hidróxeno nunha escala logarítmica. As frecuencias das liñas de emisión son proporcionais a diferenzas de pares de fraccións unitarias.
Os niveis de enerxía de fotóns que poden ser absorbido ou emitidos por un átomo de hidróxeno son, segundo a fórmula de Rydberg, proporcional ás diferenzas de dúas fraccións unitarias. Unha explicación para este fenómeno proporcionouno o modelo de Bohr, segundo o cal os niveis de enerxía dos electróns orbitais nun átomo de hidróxeno son inversamente proporcionais as fraccións unitarias cadradas, e a enerxía dun fotón cuantifícase na diferenza entre dous niveis.

Arthur Eddington argumentou que a constante de estrutura fina era unha fracción unitaria. Inicialmente pensou que podía ser 1/136 e máis tarde mudou a 1/137. Isto resultou falso, dado que as estimacións actuais da constante de estrutura fina (a 6 díxitos significativos) é 1/137,036.

Notas
-----

1. ↑  Cavey, Laurie O.; Kinzel, Margaret T. (February 2014). *From whole numbers to invert and multiply*. *Teaching Children Mathematics* **20**. pp. 374–383. JSTOR 10.5951/teacchilmath.20.6.0374. doi:10.5951/teacchilmath.20.6.0374.
2. ↑  Solomon, Pearl Gold (2007). *The Math We Need to Know and Do in Grades 6 9: Concepts, Skills, Standards, and Assessments*. Corwin Press. p. 157. ISBN 978-1-4129-1726-1.
3. ↑  Betz, William (1957). *Algebra for Today, First Year*. Ginn. p. 370.
4. ↑  "31.4 Solving modular linear equations", *Introduction to Algorithms* (2 ed.), pp. 869–872
5. ↑  Goodrich, Michael T.; Tamassia, Roberto (2015). "Section 24.2.2: Modular multiplicative inverses". *Algorithm Design and Applications*. Wiley. pp. 697–698. ISBN 978-1-118-33591-8.
6. 1 2  Brent, Richard P.; Zimmermann, Paul (2010). "2.5 Modular division and inversion". *Modern Computer Arithmetic* (PDF). Cambridge Monographs on Applied and Computational Mathematics **18**. Cambridge University Press. pp. 65–68. ISBN 978-1-139-49228-7. arXiv:1004.4710. doi:10.1017/cbo9780511921698.001.
7. ↑  Croot, Ernest S. III (2003). *On a coloring conjecture about unit fractions*. *Annals of Mathematics* **157**. pp. 545–556. MR 1973054. arXiv:math.NT/0311421. doi:10.4007/annals.2003.157.545.
8. ↑  Elsholtz, Christian; Tao, Terence (2013). "Counting the number of solutions to the Erdős–Straus equation on unit fractions" (PDF). *Journal of the Australian Mathematical Society* **94** (1): 50–105. MR 3101397. arXiv:1107.1010. doi:10.1017/S1446788712000468.
9. ↑  Ore, Øystein (1948). *On the averages of the divisors of a number*. *The American Mathematical Monthly* **55**. pp. 615–619. JSTOR 2305616. doi:10.2307/2305616.
10. ↑  Magnus, Wilhelm (1974). *Noneuclidean Tesselations and their Groups*. Pure and Applied Mathematics **61**. Academic Press. p. 65. ISBN 978-0-08-087377-0. MR 0352287.
11. ↑  Boas, R. P. Jr.; Wrench, J. W. Jr. (1971). *Partial sums of the harmonic series*. *The American Mathematical Monthly* **78**. pp. 864–870. JSTOR 2316476. MR 289994. doi:10.1080/00029890.1971.11992881.
12. ↑  Freniche, Francisco J. (2010). *On Riemann's rearrangement theorem for the alternating harmonic series* (PDF). *The American Mathematical Monthly* **117**. pp. 442–448. JSTOR 10.4169/000298910x485969. MR 2663251. doi:10.4169/000298910X485969.
13. ↑  Roy, Ranjan (1990). "The discovery of the series formula for π by Leibniz, Gregory and Nilakantha" (PDF). *Mathematics Magazine* **63** (5): 291–306. doi:10.1080/0025570X.1990.11977541.
14. ↑  Ayoub, Raymond (1974). *Euler and the zeta function*. *The American Mathematical Monthly* **81**. pp. 1067–86. JSTOR 2319041. doi:10.2307/2319041.
15. ↑  van der Poorten, Alfred (1979). *A proof that Euler missed ... Apéry's proof of the irrationality of {\displaystyle \zeta (3)}* (PDF). *The Mathematical Intelligencer* **1**. pp. 195–203. doi:10.1007/BF03028234. Arquivado dende o orixinal (PDF) o 2011-07-06.  Carácter borrado en `|title=` na posición 69 (Axuda)
16. ↑  Euler, Leonhard (September 1983). *From* Elements of Algebra. Old Intelligencer. *The Mathematical Intelligencer* **5**. pp. 75–76. doi:10.1007/bf03026580.
17. ↑  Choi, Man Duen (1983). *Tricks or treats with the Hilbert matrix*. *The American Mathematical Monthly* **90**. pp. 301–312. JSTOR 2975779. MR 701570. doi:10.2307/2975779.
18. ↑  Richardson, Thomas M. (2001). "The Filbert matrix" (PDF). *Fibonacci Quarterly*. pp. 268–275. Bibcode:1999math......5079R. arXiv:math.RA/9905079.
19. ↑  Ford, L. R. (1938). *Fractions*. *The American Mathematical Monthly* **45**. pp. 586–601. JSTOR 2302799. MR 1524411. doi:10.1080/00029890.1938.11990863.
20. ↑  Welsh, Alan H. (1996). *Aspects of Statistical Inference*. Wiley Series in Probability and Statistics **246**. John Wiley and Sons. p. 66. ISBN 978-0-471-11591-5.
21. ↑  Saichev, Alexander; Malevergne, Yannick; Sornette, Didier (2009). *Theory of Zipf's Law and Beyond*. Lecture Notes in Economics and Mathematical Systems **632**. Springer-Verlag. ISBN 978-3-642-02945-5.
22. ↑  Bar-Noy, Amotz; Ladner, Richard E.; Tamir, Tami (2007). "Windows scheduling as a restricted version of bin packing". *ACM Transactions on Algorithms* **3** (3): A28:1–A28:22. MR 2344019. doi:10.1145/1273340.1273344.
23. 1 2  van Stee, Rob (June 2012). *SIGACT news online algorithms column 20: The power of harmony* (PDF). *ACM SIGACT News* **43**. pp. 127–136. doi:10.1145/2261417.2261440.
24. ↑  Yang, Fujia; Hamilton, Joseph H. (2009). *Modern Atomic and Nuclear Physics*. World Scientific. pp. 81–86. ISBN 978-981-283-678-6.
25. ↑  Kilmister, Clive William (1994). *Eddington's Search for a Fundamental Theory: A Key to the Universe*. Cambridge University Press. ISBN 978-0-521-37165-0.

Véxase tamén
------------

### Outros artigos

* Conxectura de Erdős-Straus
* Crebacabezas das partillas de 17 animais

|  |  |
| --- | --- |
| Control de autoridades | 
* Wd: Q255388
* GND: 4182866-5
* MAG: 137272023

 |