\documentclass[12pt,a4paper]{article}

\usepackage[utf8]{inputenc}
%\usepackage[T1]{fontenc}
\usepackage{amsmath,amsthm}
\usepackage{tikz}

\begin{document}
\begin{titlepage}
\centering
\textrm{\huge {TRABAJO DE TEORÍA DE NÚMEROS} }\\
\vspace{3 cm}
\textrm{\huge Integrantes:}\\
\vspace{0.3cm}
\textrm{\huge Samuel Herrera Simanca}\\
\vspace{0.3cm}
\textrm{\huge Yerlis Pérez Reyes} \\
\vspace{2.5 cm}
\textrm{\huge Docente:}\\
\vspace{0.3 cm}
\textrm{\huge Sergio Avilez}\\
\vspace{3 cm}
\textrm{\huge Universidad De Córdoba}\\
\vspace{0.3 cm}
\textrm{\huge Facultad de Ciencias Básicas}\\
\vspace{0.3cm}
\textrm{\huge Prograna de Matemáticas y Estadistica}\\
\vspace{0.3cm}
\textrm{\huge Matemáticas}\\
\vspace{0.3cm}
\textrm{\huge 12 Abril 2023}\\

\end{titlepage}
\begin{center}
{\huge{Taller uno de Teoría de Números}}
\vspace{1cm}
\end{center}

\begin{enumerate}
\item Cuando el señor Smith cobró un cheque en su banco, el cajero
equivocadamente intercambio el número de centavos por el número de dólares y
viceversa. Sin darse cuenta de esto, el señor Smith gastó 68 centavos y luego notó
con sorpresa que tenia el doble de la cantidad del cheque original. Determine el
valor más pequeño para el que se pudo haber escrito el cheque.

\item Pruebe que la conjetura de Golbach, esto es, que todo entero par
mayor que 2 es la suma de dos primos es equivalente a la afrmación: todo entero
mayor que 5 es la suma de tres primos.

\textit{\textbf{Demostración:}}

Todo par mayor o igual que $4$ es la suma de dos primos

\begin{align*}
a_1 =& 4 = 2+2 \\
a_2 =& 6 = 3+3 \\
a_3 =& 8 = 3+5 \\
\vdots \\
a_n =& 2(n+1) = p+q
 \end{align*}

con $p$, $q$ números primos.

Todo entero mayor que $5$ es la suma de tres primos, equivalentemente, todo
número mayor o igual a $6$ es la suma de tres primos y todo número impar mayor o
igual que $7$ es la suma de tres primos.
$(i)$. números pares mayores o igual a $6$
\begin{align*}
p_1=& 6 = 4+2 = a_1+2\\
p_2=& 8 = 6+2 = a_2+2\\
p_3=& 10 = 8+2 = a_3+2\\
\vdots \\
p_n=& 2(n+2) = 2(n+1+1) = 2(n+1)+2 = a_n+2
\end{align*}
Ahora $p_n=a_n+2$ para todo $n \in \emph{\textrm{N}}$, y por hipotesis
$a_n=p+q$ para algunos numeros primos $p$ y $q$, así
$p_n=p+q+2$ tales que $p$, $q$ y $2$ son primos, de este modo $p_n$ se
escribe como la suma de tres números primos.

$(ii)$. números impares mayores o igual a $7$

\begin{align*}
I_1=& 7 = 4+3 = a_1+3\\
I_2=& 9 = 6+3 = a_2+3\\
I_3=& 11 = 8+3 = a_3+3\\
\vdots \\
I_n=& a_n+3
\end{align*}
Ahora $I_n=a_n+3$ para todo $n \in \emph{\textrm{N}}$ y $a_n=p+q$ para
algun $p$, $q$ primos, luego $I_n=p+q+3$ tales que $p$, $q$ y $3$ son primos.
Así $I_n$ se escribe como la suma de tres números primos.y así
hemos probado la conjetura de Golbach.

\item Sean a; b; c enteros, donde por lo menos 2 no son ceros y

$d = mcd (a, b, c)$. Muestre que

$d = mcd (mcd (a, b),c) = mcd (a, mcd (b, c)) = mcd(mcd(a,c),b)$.

\textit{\textbf{Demostración:}}

sean

\[k=mcd(a,b) ; t=mcd(a,c) ; q=mcd(b,c)\]

denotemos

\[d=mcd(a,b,c) \hspace{0.1cm} (a) ; \hspace{0.3cm} p=mcd(k,c) \

hspace{0.1cm} (b) ; \hspace{0.3cm}
v=mcd(a,q) \hspace{0.1cm} (c); \hspace{0.3cm} s=mcd(t,b) \
hspace{0.1cm}(d)\]

por definicion de $(a)$ tenemos que $d|a$ y $d|b$ y puesto que

$k=mcd(a,b)$ por el Teorema 1.6 $(ii)$ $d|k$. nuevamente por definicin de $(a)$
$d|a$ y $d|c$ y como $t=mcs(a,c)$ por el Teorema 1.6 $(ii)$ $d|t$, analogamente
tendremos que $d|q$.
definimos
\[l_1:d|k ; \hspace{0.3cm} l_2=d|q ; \hspace{0.3cm} l_3=d|t\]
 $\bullet$ \hspace{0.1cm} de $l_1$ y $(a)$ $d | k$ y $d | c$ y por
definicin 1.2 tenemos
\begin{equation*}
d\leq mcd(k,c) = p
\end{equation*}

$\bullet$ \hspace{0.1cm} de $l_2$ y $(a)$ $d | a$ y $ d | c$ y por

definición 1.2 tenemos
\begin{equation*}
d\leq mcd(a,q) = v
\end{equation*}

$\bullet$ \hspace{0.1cm} de $l_3$ y $(a)$ $d|t$ y $d|b$ y por Teorema 1.2

tenemos
\begin{equation*}
d\leq mcd(t,b) = s
\end{equation*}
Ahora como $k=mcd(a,b)$ y de $p=mcd(k,c)$, existen enteros $x_1, x_2, x_3$ y
$x_4$ tales que
\[kx_1=a ;\hspace{0.3cm} kx_2=b ; \hspace{0.3cm} px_3=k ; \hspace{0.3cm} px_4=c
\]
luego, multiplicando $px_3=k$ por $x_1$ tenemos
\[p(x_3.x_1)=k.x_1=a\]
entonces $p|a$.

si multiplicamos $px_3=k$ por $x_2$ tenemos

\[p(x_3.x_2)=k.x_2=b\]
entonces $p|b$

recapitulando $p|c$ , $p|a$ y $p|b$ , por Teorema 1.2 tenemos

\begin{equation*}
p\leq mcd(a,b,c)=d
\end{equation*}

dado que $q=mcd(b,c)$ y $v=mcd(a,q)$, entonces $v|a$ y existen enteros $x_1, x_2,
x_3$ tales que.
\[qx_1=b ;\hspace{0.3cm}qx_2=c ; \hspace{0.3cm} vx_3=q.\]

multiplicando $vx_3=q$ po $x_1$ tenemos

\[v(x_3.x_1)=qx_1=b\]
esto es $v|b$.

si multiplicamos $vx_3=q$ por $x_2$ tenemos

\[v(x_3.x_2)=qx_2=c\]
esto es $v|c$

recapitulando nuevamente $v|a$, $v|b$ y $v|c$, por definicion 1.2 tenemos

\begin{equation*}
v\leq mcd(a,b,c)=d
\end{equation*}
Ahora, puesto que $t=mcd(a,c)$ y $s=mcd(t,b)$, $s|t$ y existen enteros $x_1,
x_2, x_3$ tales que
\[tx_1=a , \hspace{0.3cm} tx_2=c , \hspace{0.3cm} sx_3=t.\]

multiplicando $sx_3=t$ por $x_1$ tenemos

\[s(x_3.x_1)=tx_1=a\]
así $s|a$

del mismo modo multiplicamos $sx_3=t$ por $x_2$ tenemos

 \[s(x_3.x_2)=tx_2=c\]
así $s|c$

retomando $s|a$ , $s|b$ , $s|c$, por definición 1.2

\begin{equation*}
s\leq mcd(a,b,c)=d
\end{equation*}

Adjuntando todo
\[d\leq p ; d\leq v ; d\leq s.\]
\[p\leq d ; v\leq d ; s\leq d.\]
por la propiedad antisimetrica
\[d=p; d=v ; d=s\]
esto es
\[d=p=v=s\]
remplazando
\[d=mcd(k,c)=mcd(a,q)=mcd(t,b)\]
\[d=mcd(mcd(a,b),c)=mcd(a,mcd(b,c))=mcd(mcvd(a,c),b).\]
\item Pruebe que el producto de cuatro enteros consecutivos es uno
menos que un cuadrado perfecto.

\textit{\textbf{Demostración:}}

sean $a, a+1, a+2, a+3$ cuatro enteros consecutivos, tales que
\begin{align*}
a(a+1)(a+2)(a+3)=& (a^2+a)(a^2+3a+2a+6)\\
=& a^4+3a^3+2a^3+6a^2+a^3+3a^2+2a^2+6 \\
=& a^4+6a^3+11a^2+6a
\end{align*}
ahora tenemos dos casos, cuando $a$ es par y cuando $a$ es impar.

supongamos que $a=2n$, tal que

\begin{align*}
a^4+6a^3+11a^2+6a =& (2n)^4+6(2n)^3+11(2n)^2+6(2n) \\
=& 16n^4+48n^3+44n^2+12n \\
=& 16n^4+48n^3+44n^2+12n+1-1 \\
=& (4n^2+6n+1)^2-1 \\
=& k^2-1 \hspace{1cm}; k=4n^2+6n+1
\end{align*}

Ahora supongamos $a=2n+1$, tal que

\begin{align*}
a^4+6a^3+11a^2+6a =& (2n+1)^4+6(2n+1)^3+11(2n+1)^2+6(2n+1)\\
=& 16n^4+80n^3+140n^2+100n+24 \\
=& 16n^4+80n^3+140n^2+100n+24+1-1 \\
=& 16n^4+80n^3+140n^2+100n+25-1 \\
=& (4n^2+10n+5)^2-1 \\
=& t^2-1 \hspace{1cm}; t=4n^2+10n+5
\end{align*}
así hemos demostrado que el producto de cuatro enteros consecutivos es
uno menos que un cuadrado perfecto.

\item (a) Pruebe que todo cuadrado perfecto es de la forma $4k$ o

$4k+1$ para algún entero $k$.

\textit{\textbf{Demostración:}}

Usando el algoritmo de la division tenemos lo siguiente:

 \[a=4q+r ; \hspace{1cm} 0\leq r<4\]
para $r=0$
\begin{align*}
a^2 =& (4q)^2 \\
=& 16q^2 \\
=& 4k ; \hspace{1cm} k=4q^2.
\end{align*}
para $r=1$
\begin{align*}
a^2 =& (4q+1)^2 \\
=& 16q^2+8q+1 \\
=& 4(4q^2+2q)+1 \\
=& 4k+1 ; \hspace{1cm} k=4q^2+2q.
\end{align*}
para $r=2$
\begin{align*}
a^2 =& (4q+2)^2 \\
=& 16q^2+16q+4 \\
=& 4(4q^2+4q+1) \\
=& 4k ; \hspace{1cm} k=4q^2+4q+1.
\end{align*}
para $r=3$
\begin{align*}
a^2 =& (4q+3)^2 \\
=& 16q^2+24q+9 \\
=& (16q^2+24q+8)+1 \\
=& 4(4q^2+6q+2)+1 \\
=& 4k+1 ; \hspace{1cm} k=4q^2+6q+2.
\end{align*}
así hemos probado que todo cuadrado perfecto es de la forma $4k$ o $4k+1$.

(b) Pruebe que si $a$ y $b$ son impares, entonces $a^2+b^2$ no es un

cuadrado perferto.

\textit{\textbf{Demostración:}}

sean $a$ y $b$ enteros impares, tales que, $a=2m+1$ y $b=2n+1$ con $m,n
$ enteros, así

\begin{align*}
a^2+b^2 =& (2m+1)^2+(2n+1)^2 \\
=& 4m^2+4m+1+4n^2+4n+1 \\
=& 4m^2+4m+4n^2+4n+2 \\
=& 4(m^2+n^2+m+n)+2 \\
=& 4k+2 ; \hspace{1cm} k=m^2+n^2+m+n \\
\neq & 4k \vee 4k+1
\end{align*}
por la prueba (a) sabemos que todo cuadrado perfecto es de la forma $4k$ o
$4k+1$ y como $a^2+b^2$ no es de esa forma entonces no es un cuadrado perfecto.

\end{enumerate}

\end{document}