División (matemátiques)
[[Ficheru:Divide20by4.svg|miniaturadeimagen|20 dividío ente 4]]
En [[Matemátiques|matemática]], la '''división''' ye una operación parcialmente definida nel conxuntu de los [[Númberu natural|númberos naturales]] y los [[Númberu enteru|númberos enteros]]; sicasí, nel casu de los [[Númberu racional|númberos racionales]], [[Númberu real|reales]] y [[Númberu complexu|complexos]] ye siempres posible efectuar la división, esixendo que'l divisor sía distintu de cero, sía cual fora la naturaleza de los númberos a dividir. Nel casu de que sía posible efectuar la división, esta consiste n'esplorar cuántes vegaes un númberu ('''divisor''') ta "conteníu" n'otru númberu ('''dividendu'''). La resultancia d'una división recibe'l nome de '''cociente'''. De manera xeneral puede dicise que la división ye la operación inversa de la [[multiplicación]], siempres y cuando se realice nun campu.<ref>Adler «Nueva matemática»</ref>

Tien de estremase la división «exacta» (suxetu principal d'esti artículu) de la división «con restu» o ''[[Restu|borrafa]]'' (la [[división euclídea]]). A diferencia de la [[Adición (matemática)|suma]], la [[resta]] o la [[multiplicación]], la división ente [[Númberu enteru|númberos enteros]] nun ta siempres definida; n'efectu: 4 estremáu 2 ye igual a 2 (un númberu enteru), pero 2 ente 4 ye igual a ½ (un mediu), que yá nun ye un númberu enteru. La definición formal de «división» , «[[divisibilidad]]» y «[[conmensurabilidad]]», va depender depués del conxuntu de definición. 

Como cualquier operación, na ''resultancia d'una división tien que ser únicu'', por eso esiste una definición para cociente y restu. 

== Definición ==
Conceptualmente, la división describe dos nociones rellacionaes, anque distintes, la de «dixebrar» y la de «partir».<ref>[[Academia de la Llingua Asturiana]], "Dividir" [[Diccionariu de l'Academia de la Llingua Asturiana|Diccionariu de la Llingua Asturiana]] (DALLA) (2015)</ref><ref>Fosnot and Dolk 2001. ''Young Mathematicians at Work: Constructing Multiplication and Division''. Portsmouth, NH: Heinemann.</ref> De manera formal, la división ye una [[operación binaria]] qu'a dos númberos acomuña'l productu del primeru pol [[Inversu multiplicativu|inversu]] del segundu. Para un númberu non nulu, la función «división por esi númberu» ye'l recíprocu de «multiplicación por esi númberu». 

D'esta miente, el cociente <math>a</math> estremáu <math>b</math> interprétase como'l productu <math>a</math> por <math>\tfrac{1}{b}</math>.

Si la división nun ye exacta, esto ye, el divisor nun ta conteníu un númberu exactu de vegaes nel dividendu, la operación va tener un [[restu]] o borrafa, onde: 

<math>\rm dividendu =
 divisor \times cociente + restu.</math>

==== Etimoloxía ====
La palabra deriva del llatín ''dividere'': partir, dixebrar.

== Notación ==
N'álxebra y ciencies, la división se denota xeneralmente a manera de [[fraición]], col dividendu escritu sobro'l divisor. Por casu <math>\tfrac{3}{4} </math> lléese: trés dividíu cuatro. Tamién puede emplegase una barra oblicua: <math>3/4\,</math>; este ye la manera más corriente nos [[Llinguaxe de programación|llinguaxes de programación]] per ordenador, puesto que pue ser fácilmente inscritu como secuencia simple del códigu [[ASCII]].

== Propiedaes ==
La división nun ye puramente dichu una "operación" (esto ye, una [[Operación binaria|llei de composición interna]] definida por todes les partes), les sos «propiedaes» nun tienen implicaciones estructurales sobro'l conxuntu de númberos, y tienen de ser entendíes dientro del contestu de los ''númberos fraccionarios''.

* non-[[Conmutatividá|conmutativa]], contraexemplu: <math> 5 \div 3 \neq 3 \div 5 </math>;
* non-[[Asociatividá|asociativa]], contraexemplu: <math> (5 \div 3) \div 4 \neq 3 \div (5\div4) </math>
*
* pseudo-[[elementu neutru]] a la derecha: 1

: <math>\dfrac a1 = a</math>;

* pseudo-[[elementu absorbente]] a la esquierda: 0

: <math> \mbox{ si } b \neq 0, \dfrac 0b = 0</math>;

* [[Fraición|fraiciones equivalentes]]:

: <math> \dfrac ab = \dfrac cd \iff ad=bc\ </math>.

== Algoritmos pa la división ==
Hasta'l sieglu XVI foi bien común l'algoritmu de la [[división por galera]], bien similar a la [[división llarga]] y a lo postrero (sustituyíu por ésta como métodu predilectu de división). El procesu avezáu de división (división llarga) suel representase so la diagrama:
{| cellpadding="3"
|
|
|<math> \rm Cociente \,</math>
|-
|<math> \rm Divisor \,</math>
|
| style="border-top:1px solid black; border-left:1px solid black; height:14px" |<math> \rm Dividendu \,</math>
|-
|
|
|<math> \rm Restu \,</math>
|}
Tamién s'usa un diagrama equivalente cola llinia debaxo del dividendu:
{| cellpadding="3"
|<math> \rm Divisor \,</math>
|
| style="border-bottom:1px solid black; border-left:1px solid black; height:14px" |<math> \rm Dividendu \,</math>
|-
|<math> \rm \,_{(operaciones)} \, </math>
|
|<math> \rm Cociente \,</math>
|-
|<math> \rm Resto \,</math>
|
|}
Y tamién s'usa otra diagrama equivalente:
{| cellpadding="3"
|<math> \rm Dividendu \,</math>
|
| style="border-bottom:1px solid black; border-left:1px solid black; height:14px" |<math> \rm Divisor \,</math>
|-
|<math> \rm \,_{(operaciones)} \, </math>
|
|<math> \rm Cociente \,</math>
|-
|<math> \rm Resto \,</math>
|
|}
Otru métodu consiste nel usu d'una «tabla elemental», similar a les [[tables de multiplicar]], coles resultancies preestablecidos.

== División de númberos ==

=== División de númberos naturales ===
Consideremos el conxuntu ℕ = {0, 1, 2, ...n, ...} de los [[Númberu natural|númberos naturales]] y sían ''a,b'' non nulu, ''c'' númberos naturales, vamos dicir que:

<math>a\div b = c </math>

si

<math>a = b\cdot c </math>

Si ye asina se va dicir que ''a'' ye'l dividendu; ''b'', el divisor; y ''c'', el cociente si esiste.<ref>José Vicente Ampuero. «Aritmética teórica», Edidiones de UNMSM, Lima (1960)</ref>

Sicasí, daos dos númberos naturales ''a'' y ''b'' ≠ 0, esisten dos únicos númberos naturales ''q'' y ''r'' tal que se cumplen les relaciones <math> a =b\cdot q + r, 0\leq r < b </math> .

L'algoritmu que dexa atopar ''q'' y ''r'', conociendo ''a'' y ''b'', denomínase ''división entera'', ente otros nomes.<ref>Sigler.«Álgebra»</ref>

=== División de númberos enteros ===
La división nun ye una [[Operación interna|operación zarrada]], lo cual quier dicir que, polo xeneral, la resultancia de dividir dos númberos enteros nun va ser otru [[númberu enteru]], nun siendo que'l dividendu sía un [[múltiplu]] enteru del divisor.

Esisten [[Divisibilidad|criterios de divisibilidad]] para númberos enteros (por casu, tou númberu termináu en 0,2,4,6 o 8 va ser divisible ente 2), utilizaos particularmente pa [[Factorización|descomponer los enteros en factores primos]], lo que s'usa en cálculos como'l [[mínimu común múltiplu]] o'l [[máximu común divisor]].

=== División de númberos racionales ===
La división en ℚ siempres ye posible, si cúmplese que'l divisor nun sía nulu. Pos el cociente-divisor <math> x\div y </math> nun ye sinón el productu <math> x\cdot y^{-1} </math>.

Nos racionales, la resultancia de dividir dos númberos racionales (a condición de que'l divisor nun sía 0) puede calculase con cualesquier de les fracciones representatives. Puede definise de la manera siguiente: daos ''p''/''q'' y ''r''/''s'',

<math> {p \over q} \div {r \over s} = {p \over q} \cdot {s \over r} = {p\cdot s \over q\cdot r}</math>

Esta definición demuestra que la división funciona como la ''operación inversa'' de la [[multiplicación]].

=== División de númberos reales ===
La resultancia de dividir dos númberos reales ye otru númberu real (siempres y cuando'l divisor nun sía 0). Defínese como a/b = c si y solu si a = cb y b ≠ 0.

==== División de formas binómicas cuadráticas ====
<math> (a+b\sqrt{2}) \div (c+d\sqrt{2}) = (a+b\sqrt{2}) \times (c+d\sqrt{2})^{-1} </math>

<small>(Fonte:<ref>Zuckerman. «Introducción a la teoría de los números»</ref>)</small>

=== División ente cero ===
{{AP|División por cero}}
La división de cualquier númberu ente [[cero]] ye una «indefinición». Esto resulta del fechu que cero multiplicáu por cualesquier cantidá finita ye otra vegada cero, ye dicir que'l cero nun tien un [[inversu multiplicativu]].

=== División de númberos complexos ===
La resultancia de dividir dos númberos complexos ye otru [[númberu complexu]] (siempres y cuando'l divisor nun sía 0). Defínese como

<math>{p + iq \over r + is} = {p r + q s \over r^2 + s^2} + i{q r - p s \over r^2 + s^2}</math>

onde ''r'' y ''s'' nun son dambos iguales a 0.

* Na forma trigonométrica:

<math> r(\cos a + i\sin a)\div s(\cos b+i\sin b)= (r\div s)(\cos (a-b) + i\sin (a-b)) </math>

* Na forma esponencial:

<math>{pe^{iq} \div re^{is}} = (p \div r)e^{i(q - s)}.</math>

== Referencies ==
{{Llistaref}}
{{Control d'autoridaes}}
[[Categoría:Álxebra]]
En matemática, la división ye una operación parcialmente definida nel conxuntu de los númberos naturales y los númberos enteros; sicasí, nel casu de los númberos racionales, reales y complexos ye siempres posible efectuar la división, esixendo que'l divisor sía distintu de cero, sía cual fora la naturaleza de los númberos a dividir. Nel casu de que sía posible efectuar la división, esta consiste n'esplorar cuántes vegaes un númberu (divisor) ta "conteníu" n'otru númberu (dividendu). La resultancia d'una división recibe'l nome de cociente. De manera xeneral puede dicise que la división ye la operación inversa de la multiplicación, siempres y cuando se realice nun campu.Adler «Nueva matemática»

Tien de estremase la división «exacta» (suxetu principal d'esti artículu) de la división «con restu» o borrafa (la división euclídea). A diferencia de la suma, la resta o la multiplicación, la división ente númberos enteros nun ta siempres definida; n'efectu: 4 estremáu 2 ye igual a 2 (un númberu enteru), pero 2 ente 4 ye igual a ½ (un mediu), que yá nun ye un númberu enteru. La definición formal de «división» , «divisibilidad» y «conmensurabilidad», va depender depués del conxuntu de definición. 

Como cualquier operación, na resultancia d'una división tien que ser únicu, por eso esiste una definición para cociente y restu. 

 Definición 
Conceptualmente, la división describe dos nociones rellacionaes, anque distintes, la de «dixebrar» y la de «partir».Academia de la Llingua Asturiana, "Dividir" Diccionariu de la Llingua Asturiana (DALLA) (2015)Fosnot and Dolk 2001. Young Mathematicians at Work: Constructing Multiplication and Division. Portsmouth, NH: Heinemann. De manera formal, la división ye una operación binaria qu'a dos númberos acomuña'l productu del primeru pol inversu del segundu. Para un númberu non nulu, la función «división por esi númberu» ye'l recíprocu de «multiplicación por esi númberu». 

D'esta miente, el cociente  estremáu  interprétase como'l productu  por .

Si la división nun ye exacta, esto ye, el divisor nun ta conteníu un númberu exactu de vegaes nel dividendu, la operación va tener un restu o borrafa, onde: 

 Etimoloxía 
La palabra deriva del llatín dividere: partir, dixebrar.

 Notación 
N'álxebra y ciencies, la división se denota xeneralmente a manera de fraición, col dividendu escritu sobro'l divisor. Por casu  lléese: trés dividíu cuatro. Tamién puede emplegase una barra oblicua: ; este ye la manera más corriente nos llinguaxes de programación per ordenador, puesto que pue ser fácilmente inscritu como secuencia simple del códigu ASCII.

 Propiedaes 
La división nun ye puramente dichu una "operación" (esto ye, una llei de composición interna definida por todes les partes), les sos «propiedaes» nun tienen implicaciones estructurales sobro'l conxuntu de númberos, y tienen de ser entendíes dientro del contestu de los númberos fraccionarios.

 non-conmutativa, contraexemplu: ;
 non-asociativa, contraexemplu: 

 pseudo-elementu neutru a la derecha: 1

 ;

 pseudo-elementu absorbente a la esquierda: 0

 ;

 fraiciones equivalentes:

 .

 Algoritmos pa la división 
Hasta'l sieglu XVI foi bien común l'algoritmu de la división por galera, bien similar a la división llarga y a lo postrero (sustituyíu por ésta como métodu predilectu de división). El procesu avezáu de división (división llarga) suel representase so la diagrama:

Tamién s'usa un diagrama equivalente cola llinia debaxo del dividendu:

Y tamién s'usa otra diagrama equivalente:

Otru métodu consiste nel usu d'una «tabla elemental», similar a les tables de multiplicar, coles resultancies preestablecidos.

 División de númberos 

 División de númberos naturales 
Consideremos el conxuntu ℕ = {0, 1, 2, ...n, ...} de los númberos naturales y sían a,b non nulu, c númberos naturales, vamos dicir que:

si

Si ye asina se va dicir que a ye'l dividendu; b, el divisor; y c, el cociente si esiste.José Vicente Ampuero. «Aritmética teórica», Edidiones de UNMSM, Lima (1960)

Sicasí, daos dos númberos naturales a y b ≠ 0, esisten dos únicos númberos naturales q y r tal que se cumplen les relaciones  .

L'algoritmu que dexa atopar q y r, conociendo a y b, denomínase división entera, ente otros nomes.Sigler.«Álgebra»

 División de númberos enteros 
La división nun ye una operación zarrada, lo cual quier dicir que, polo xeneral, la resultancia de dividir dos númberos enteros nun va ser otru númberu enteru, nun siendo que'l dividendu sía un múltiplu enteru del divisor.

Esisten criterios de divisibilidad para númberos enteros (por casu, tou númberu termináu en 0,2,4,6 o 8 va ser divisible ente 2), utilizaos particularmente pa descomponer los enteros en factores primos, lo que s'usa en cálculos como'l mínimu común múltiplu o'l máximu común divisor.

 División de númberos racionales 
La división en ℚ siempres ye posible, si cúmplese que'l divisor nun sía nulu. Pos el cociente-divisor  nun ye sinón el productu .

Nos racionales, la resultancia de dividir dos númberos racionales (a condición de que'l divisor nun sía 0) puede calculase con cualesquier de les fracciones representatives. Puede definise de la manera siguiente: daos p/q y r/s,

Esta definición demuestra que la división funciona como la operación inversa de la multiplicación.

 División de númberos reales 
La resultancia de dividir dos númberos reales ye otru númberu real (siempres y cuando'l divisor nun sía 0). Defínese como a/b = c si y solu si a = cb y b ≠ 0.

 División de formas binómicas cuadráticas 

(Fonte:Zuckerman. «Introducción a la teoría de los números»)

 División ente cero 

La división de cualquier númberu ente cero ye una «indefinición». Esto resulta del fechu que cero multiplicáu por cualesquier cantidá finita ye otra vegada cero, ye dicir que'l cero nun tien un inversu multiplicativu.

 División de númberos complexos 
La resultancia de dividir dos númberos complexos ye otru númberu complexu (siempres y cuando'l divisor nun sía 0). Defínese como

onde r y s nun son dambos iguales a 0.

 Na forma trigonométrica:

 Na forma esponencial:

 Referencies 

Categoría:Álxebra