Saltar al contenido principal

# 1.2: Divisibilidad y GCD en los números enteros

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\id}{\mathrm{id}}$$ $$\newcommand{\Span}{\mathrm{span}}$$

( \newcommand{\kernel}{\mathrm{null}\,}\) $$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$ $$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$ $$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\id}{\mathrm{id}}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\kernel}{\mathrm{null}\,}$$

$$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$

$$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$

$$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$ $$\newcommand{\AA}{\unicode[.8,0]{x212B}}$$

$$\newcommand{\vectorA}[1]{\vec{#1}} % arrow$$

$$\newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow$$

$$\newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vectorC}[1]{\textbf{#1}}$$

$$\newcommand{\vectorD}[1]{\overrightarrow{#1}}$$

$$\newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}}$$

$$\newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}}$$

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\avec}{\mathbf a}$$ $$\newcommand{\bvec}{\mathbf b}$$ $$\newcommand{\cvec}{\mathbf c}$$ $$\newcommand{\dvec}{\mathbf d}$$ $$\newcommand{\dtil}{\widetilde{\mathbf d}}$$ $$\newcommand{\evec}{\mathbf e}$$ $$\newcommand{\fvec}{\mathbf f}$$ $$\newcommand{\nvec}{\mathbf n}$$ $$\newcommand{\pvec}{\mathbf p}$$ $$\newcommand{\qvec}{\mathbf q}$$ $$\newcommand{\svec}{\mathbf s}$$ $$\newcommand{\tvec}{\mathbf t}$$ $$\newcommand{\uvec}{\mathbf u}$$ $$\newcommand{\vvec}{\mathbf v}$$ $$\newcommand{\wvec}{\mathbf w}$$ $$\newcommand{\xvec}{\mathbf x}$$ $$\newcommand{\yvec}{\mathbf y}$$ $$\newcommand{\zvec}{\mathbf z}$$ $$\newcommand{\rvec}{\mathbf r}$$ $$\newcommand{\mvec}{\mathbf m}$$ $$\newcommand{\zerovec}{\mathbf 0}$$ $$\newcommand{\onevec}{\mathbf 1}$$ $$\newcommand{\real}{\mathbb R}$$ $$\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}$$ $$\newcommand{\laspan}[1]{\text{Span}\{#1\}}$$ $$\newcommand{\bcal}{\cal B}$$ $$\newcommand{\ccal}{\cal C}$$ $$\newcommand{\scal}{\cal S}$$ $$\newcommand{\wcal}{\cal W}$$ $$\newcommand{\ecal}{\cal E}$$ $$\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}$$ $$\newcommand{\gray}[1]{\color{gray}{#1}}$$ $$\newcommand{\lgray}[1]{\color{lightgray}{#1}}$$ $$\newcommand{\rank}{\operatorname{rank}}$$ $$\newcommand{\row}{\text{Row}}$$ $$\newcommand{\col}{\text{Col}}$$ $$\renewcommand{\row}{\text{Row}}$$ $$\newcommand{\nul}{\text{Nul}}$$ $$\newcommand{\var}{\text{Var}}$$ $$\newcommand{\corr}{\text{corr}}$$ $$\newcommand{\len}[1]{\left|#1\right|}$$ $$\newcommand{\bbar}{\overline{\bvec}}$$ $$\newcommand{\bhat}{\widehat{\bvec}}$$ $$\newcommand{\bperp}{\bvec^\perp}$$ $$\newcommand{\xhat}{\widehat{\xvec}}$$ $$\newcommand{\vhat}{\widehat{\vvec}}$$ $$\newcommand{\uhat}{\widehat{\uvec}}$$ $$\newcommand{\what}{\widehat{\wvec}}$$ $$\newcommand{\Sighat}{\widehat{\Sigma}}$$ $$\newcommand{\lt}{<}$$ $$\newcommand{\gt}{>}$$ $$\newcommand{\amp}{&}$$ $$\definecolor{fillinmathshade}{gray}{0.9}$$
##### Objetivos de aprendizaje

En esta sección, buscaremos responder a las preguntas:

• ¿Qué significa para un entero dividir a otro?
• ¿Cuál es el mayor divisor común de dos enteros?
• ¿Cómo podemos calcular el mayor divisor común de dos enteros?

## 1.2.1: La divisibilidad y el algoritmo de división

En esta sección, comenzamos a explorar algunas de las propiedades aritméticas y algebraicas de$$\mathbb{Z}\text{.}$$ Nos enfocamos específicamente en las propiedades de divisibilidad y factorización de los enteros, ya que estas son el foco principal del texto en su conjunto. Uno de los objetivos principales de esta sección es formalizar definiciones con las que probablemente ya esté familiarizado y de las cuales tenga una comprensión intuitiva. Al principio, esto podría parecer complicar innecesariamente las cosas. Sin embargo, quedará claro a medida que avancemos que el lenguaje matemático formal y la notación son necesarios para extender estas propiedades a un entorno más abstracto. Comenzamos con una noción familiar.

##### Definición: Divisibilidad y Algoritmo de División

Vamos$$a,b\in \mathbb{Z}\text{.}$$ Decimos que$$a$$ divide$$b\text{,}$$ y escribimos$$a\mid b\text{,}$$ si hay un entero$$c$$ tal que$$ac = b\text{.}$$ en este caso, digamos eso$$a$$ y$$c$$ son factores de$$b\text{.}$$ Si no$$c\in \mathbb{Z}$$ existe tal, escribimos$$a\nmid b\text{.}$$

Tenga en cuenta que el símbolo$$|$$ es un verbo; por lo tanto, es correcto decir, por ejemplo,$$2|4\text{,}$$ como 2 divide 4. No obstante, es un abuso de notación decir que$$2\mid 4 = 2\text{.}$$ en cambio, probablemente nos referimos a$$4\div 2 = 2$$ o$$\dfrac{4}{2} = 2$$ (aunque todavía no trataremos en fracciones).

##### Investigación: 1.2.1

Determinar$$a\mid b$$ si:

1. $$a = 3\text{,}$$$$b = -15$$
2. $$a = 4\text{,}$$$$b = 18$$
3. $$a = -7\text{,}$$$$b = 0$$
4. $$a = 0\text{,}$$$$b = 0$$

Comente brevemente los resultados de esta investigación. ¿Qué te diste cuenta? ¿Qué es lo que aún te preguntas?

A continuación se recogen varios resultados estándar sobre la divisibilidad en los$$\mathbb{Z}$$ que se utilizará ampliamente en el resto de este texto.

##### Teorema 1.2.1

Dejar$$a,b,c\in\mathbb{Z}\text{.}$$ Si$$a\mid b$$ y$$a\mid c\text{,}$$ luego$$a\mid (b+c)\text{.}$$

##### Teorema 1.2.2

Let$$a,b,c\in\mathbb{Z}\text{.}$$ Si$$a\mid b\text{,}$$ entonces$$a\mid bc\text{.}$$

##### Investigación 1.2.2

Considera lo siguiente parcial converse al Teorema 1.2.1 : Si$$a,b,c\in\mathbb{Z}$$ con$$a|bc\text{,}$$ must$$a|b$$ o$$a|c\text{?}$$ Supply una prueba o dar un contraejemplo.

##### Teorema 1.2.3

Vamos$$a,b,c,d\in \mathbb{Z}\text{.}$$ Si$$a = b+c$$ y$$d$$ divide dos cualesquiera de$$a,b,c\text{,}$$ entonces$$d$$ divide el tercero.

##### Investigación 1.2.3

Formular una conjetura similar a los teoremas anteriores sobre la divisibilidad en$$\mathbb{Z}\text{,}$$ y luego probarla

Como vimos anteriormente, no todos los pares de enteros$$a,b$$ satisfacen$$a\mid b$$ o$$b\mid a\text{.}$$ Sin embargo, nuestra experiencia en matemáticas elementales sí aplica: a menudo queda algo sobrante (un resto). El siguiente teorema formaliza esta idea para$$a,b\in \mathbb{N}\text{.}$$

##### Teorema 1.2.4

El algoritmo de división para$$\mathbb{N}$$.

Dejar$$a,b\in \mathbb{N}\text{.}$$ Entonces existen enteros únicos$$q,r$$ tales que$$a = bq + r\text{,}$$ donde$$0 \le r \lt b\text{.}$$

Pista 1

Hay dos partes en este teorema. Primero, debes establecer eso$$q$$ y$$r$$ existir. Esto se hace mejor a través de Axiom 1.2.1 . Si estás atascado en eso, revisa la segunda pista.

Una vez que haya establecido eso$$q$$ y$$r$$ exista, demuestre que son únicos pero asumiendo$$a = bq+r$$ y$$a = bq' + r'\text{,}$$ donde$$r,r'$$ ambos satisfacen las condiciones del teorema. Argumentan eso$$q = q'$$ y$$r = r'\text{.}$$

Pista 2

Let$$S = \{ a-bs : s\in \mathbb{N}_0, a-bs\ge 0\}\text{.}$$

Este teorema tiene dos partes: existencia y singularidad. No trates de probarlos a ambos al mismo tiempo.

## 1.2.2: Los divisores comunes más grandes

Pasamos a continuación a otra propiedad familiar de los enteros: la existencia de mayores divisores comunes.

##### Definición: Divisor común más grande

Dejemos que$$a,b\in \mathbb{Z}$$ tal que$$a$$ y no$$b$$ sean ambos 0. Un divisor más común de$$a$$ y$$b\text{,}$$ denotado$$\gcd(a,b)\text{,}$$ es un número natural$$d$$ satisfactorio

1. $$d\mid a$$y$$d\mid b$$
2. si$$e\in \mathbb{N}$$$$e\mid a$$ y$$e\mid b\text{,}$$ luego$$e\mid d\text{.}$$

Si$$\gcd(a,b) = 1\text{,}$$ decimos eso$$a$$ y$$b$$ son relativamente primos o coprimos.

Esta definición puede ser diferente a la que está acostumbrado, que probablemente declaró que$$d \ge e$$ rather than condition 2 in Definition: Greatest Common Divisor. It can be proved using the order relations of $$\mathbb{Z}$$ that the definition given here is equivalent to that one. However, we will prefer this definition, as it generalizes naturally to other number systems which do not have an order relation like $$\mathbb{Z}\text{.}$$

Compute$$\gcd(a,b)$$ si:

1. $$a = 123\text{,}$$$$b = 141$$
2. $$a = 0\text{,}$$$$b = 169$$
3. $$a= 85\text{,}$$$$b = 48$$

Ahora que has tenido un poco de práctica computando gcds, describe tu método para encontrarlos en una oración o dos.

¿Cómo respondiste la última pregunta en Activity 1.2.1 ? Si eres como las clases de los autores, las respuestas probablemente variaron, aunque en algún momento te has referido a un “prime” (sean cuales sean esos), o posiblemente algún otro método ad hoc para encontrar el gcd. La mayoría de estos métodos se basan de alguna forma en nuestra capacidad para factorizar números enteros. Sin embargo, el problema de factorizar enteros arbitrarios es en realidad sorprendentemente intensivo desde el punto de vista computacional. Agradecidamente, hay otra forma de calcular$$\gcd(a,b)\text{,}$$ a la que ahora recurrimos.

##### Teorema 1.2.5

Que$$a,b,c\in\mathbb{Z}$$ tal que$$a = b+c$$ con$$a$$ y$$b$$ no ambos cero. Entonces$$\gcd(a,b) = \gcd(b,c)\text{.}$$

##### Investigación 1.2.4

Supongamos$$a,b,c\in\mathbb{Z}$$ tal que existe$$q\in\mathbb{Z}$$ con$$a = bq + c$$$$a$$ y$$b$$ no ambos cero. Demostrar o desacreditar:$$\gcd(a,b)=\gcd(b,c)\text{.}$$

##### Investigación 1.2.5

(Algoritmo Euclidiana).

Let$$a,b\in \mathbb{N}\text{.}$$ Use Theorema 1.2.4 e Investigation 1.2.4 para determinar un algoritmo para la computación$$\gcd(a,b)\text{.}$$ ¿Cómo podría modificarse su método para calcular$$\gcd(a,b)$$ para$$a,b\in\mathbb{Z}\text{?}$$

Usar el algoritmo euclidiano para calcular$$\gcd(18489,17304)\text{.}$$

La siguiente identidad proporciona una caracterización útil del mayor divisor común de dos enteros, no ambos cero. Volveremos a esta idea varias veces, incluso después de haber dejado el reino familiar de los enteros.

##### Teorema 1.2.6 : Identidad de Bézout

Para cualquier número entero$$a$$ y$$b$$ no ambos 0, hay enteros$$x$$ y$$y$$ tales que

\ begin {ecuación*} hacha + por =\ gcd (a, b)\ texto {.} \ end {ecuación*}

Pista 1

Aplica Axioma 1.2.1 a un conjunto bien elegido.

Pista 2

Aplicar Axioma 1.2.1 a$$S = \{as+bt : s,t\in\mathbb{Z}, \ as+bt \gt 0\}\text{.}$$

Concluimos con una respuesta a las preguntas planteadas por Investigation 1.2.2 .

##### Teorema 1.2.7

Dejar$$a, b\text{,}$$ y$$c$$ ser enteros. Si$$a|bc$$ y$$\gcd(a,b) = 1\text{,}$$ entonces$$a|c\text{.}$$

En esta sección, hemos recopilado algunos resultados iniciales sobre la divisibilidad en los números enteros. A continuación exploraremos los bloques de construcción multiplicativos de los enteros, los primos, en preparación para una exploración más profunda de la factorización.

This page titled 1.2: Divisibilidad y GCD en los números enteros is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Michael Janssen & Melissa Lindsey via source content that was edited to the style and standards of the LibreTexts platform.
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}