Cálculo Diferencial e Integral I: Propiedades algebraicas de los números reales (Parte 2)

Por Karen González Cárdenas

Introducción

Continuaremos revisando resultados derivados de las Propiedades básicas de los números reales vistas en la entrada anterior.

Resultados relacionados a la multiplicación

Proposición. Demostraremos lo siguiente:

  1. Sean $a,b \in\RR$. Si $ab=0 \Rightarrow a=0 $ ó $b=0$.
  2. Sea $a\in \RR, a\neq 0$. Si $ax=a$, entonces $x=1$.
  3. Sean $a,b,c \in \RR$ con $a \neq 0$. Si $ab = ac \Rightarrow b=c$.

Demostración:

  1. Procederemos a demostrar por contradicción. Así suponemos que $ab=0$, $a\neq 0$ y $b\neq 0$. Entonces por la propiedad M5 existen $a^{-1},b^{-1}\in\RR$ tales que $a\cdot a^{-1}=1$ y $b\cdot b^{-1}=1$.
    Y como $ab=0$ se sigue:
    \begin{align*}
    &\Rightarrow (ab)\cdot b^{-1}=0\cdot b^{-1}\tag{por multiplicar $b^{-1}$}\\
    &\Rightarrow a (b\cdot b^{-1}) = 0\cdot b^{-1}\tag{por M3}\\
    &\Rightarrow a (1) = 0\cdot b^{-1}\tag{por M5}\\
    &\Rightarrow a = 0\cdot b^{-1}\tag{por M4}\\
    &\Rightarrow a = b^{-1}\cdot 0 \tag{por M2}\\
    &\Rightarrow a = 0 \contradiccion \tag{por resultado $a\cdot 0=0$}\\
    \end{align*}
    Lo anterior es una contradicción, pues supusimos que $a\neq 0$.
    $\therefore \quad a=0 \quad \text{o}\quad b=0$.

    Observación: Utilizaremos el símbolo $\contradiccion$ para referirnos a una contradicción en las pruebas.

    Otra alternativa de demostración para este punto 1 es la siguiente:
    Vamos a suponer que $ab=0$ y $a\neq 0$. Por M5 sabemos que existe $a^{-1}\in\RR$ inverso multiplicativo de $a$, así tenemos que:
    \begin{align*}
    &\Rightarrow a^{-1}\cdot (ab)=a^{-1}\cdot 0 \tag{por multiplicar $a^{-1}$}\\
    &\Rightarrow (a^{-1}\cdot a)b=a^{-1}\cdot 0 \tag{por M3}\\
    &\Rightarrow 1\cdot b=a^{-1}\cdot 0 \tag{por M5}\\
    &\Rightarrow b=a^{-1}\cdot 0 \tag{por M4}\\
    &\Rightarrow b = 0 \tag{por resultado $a\cdot 0=0$}\\
    \end{align*}
    Análogamente, si consideramos $b\neq 0$ obtendríamos que $a=0$.
    $\therefore a=0 $ ó $b=0$
  2. Como por hipótesis tenemos que $ax=a$.
    \begin{align*}
    &\Rightarrow ax + (-a)=a + (-a)\tag{por sumar $-a$}\\
    &\Rightarrow ax + (-a) = 0\tag{por S5}\\
    &\Rightarrow ax + (-1)(a)=0\tag{por $-a = (-1)(a)$}\\
    &\Rightarrow ax +(a)(-1)=0\tag{por M2}\\
    &\Rightarrow a (x + (-1))=0\tag{por D}\\
    \end{align*}

    Por el punto anterior 1 tenemos que $a=0$ ó $x + (-1)=0$. Pero como por hipótesis tenemos que $a\neq 0$ entonces $x + (-1)=0$.

    Como ya vimos que el inverso aditivo es único $\Rightarrow x$ es el inverso aditivo de $-1$, que por el resultado $-(-a)=a$ usando $a=1$, sabemos que es 1.
    $$\therefore \quad x=1$$
  3. Como por hipótesis tenemos que $a\neq 0$ entonces existe $a^{-1}\in\RR$ por M5.
    Así multiplicando por $a^{-1}$ en ambos lados de la igualdad $ab=ac$ tenemos:
    \begin{align*}
    &\Rightarrow a^{-1}(ab)=a^{-1}(ac)\\
    &\Rightarrow (a^{-1}a)b=(a^{-1}a)c\tag{por M3}\\
    &\Rightarrow 1\cdot b= 1\cdot c\tag{por M5}\\
    &\Rightarrow b=c\tag{por M4}\\
    \end{align*}
    $$\therefore \quad b=c$$

$\square$

Como vimos en las pruebas anteriores, conforme vayamos probando más propiedades los resultados que obtendremos se volverán más interesantes. A continuación demostraremos algunos con los que seguramente ya estás familiarizado.

Algunos productos notables

Notación: Definimos $x-y:=x + (-y)$.

Proposición: Para $x,y \in \RR$ se cumple lo siguiente:

  1. Diferencia de cuadrados: $x^{2} – y^{2} =(x – y)(x+y)$ .
  2. Si $x^{2} = y^{2}$ entonces $x=y \quad$ o $\quad x=-y$ .
  3. Diferencia de cubos: $x^{3} – y^{3}=(x-y)(x^{2} +xy+ y^{2})$ .
  4. Suma de cubos: $x^{3} + y^{3}=(x-y)(x^{2} -xy+ y^{2})$ .

Demostración:

  1. Partiremos de $(x – y)(x+y)$, así obtenemos lo siguiente:
    \begin{align*}
    (x – y)(x+y)&= (x-y)x + (x-y)y\tag{por D}\\
    &=x(x-y)+y(x-y)\tag{por M2}\\
    &=x(x+(-y))+y(x+(-y))\\
    &=x\cdot x + x\cdot (-y)+y\cdot x+y\cdot (-y)\tag{por D}\\
    &= x^{2} – xy+yx-y^{2}\tag{por $-xy=x(-y)$}\\
    &= x^{2} – xy+xy-y^{2}\tag{por M2}\\
    &= x^{2} +0-y^{2}\tag{por S5}\\
    &= x^{2} -y^{2}\tag{por S4}\\
    \therefore \quad(x – y)(x+y)&=x^{2} -y^{2}
    \end{align*}
  2. Sabemos que $x^{2} =y^{2}$. Veamos que si sumamos $-y^{2}$ en ambos lados obtenemos:
    $$x^{2} – y^{2}=y^{2}- y^{2} \Rightarrow x^{2} – y^{2}=0$$
    Aplicando el punto anterior se sigue que:
    $$(x – y)(x+y)=0$$
    Recordando la proposición vista al principio de la entrada decimos que: $x-y=0$, o bien, $x+y=0$.
    Por un lado tenemos que al sumar $y$ en $x-y=0$:
    \begin{align*}
    (x-y)+y&=0+y\\
    x+((-y)+y)&=y\tag{por S3 y S4}\\
    x&=y\tag{por S5}\\
    \end{align*}
    $$\therefore \quad x=y$$

    Y por otro tenemos que al sumar $-y$ en $x+y=0$:
    \begin{align*}
    (x+y)-y&=0-y\\
    x+(y+(-y))&=-y\tag{por S3 y S4}\\
    x&=-y\tag{por S5}\\
    \end{align*}
    $$\therefore \quad x=-y$$
    De lo anterior concluimos que $x=y$, ó $x=-y$.

    Los incisos 3 y 4 se dejarán como ejercicios en la Tarea moral.

$\square$

Propiedades relacionadas a los inversos multiplicativos

Notación: Denotaremos al inverso multiplicativo de $a\in\RR$ como $a^{-1}=\frac{1}{a}$. Consecuentemente, definimos $\frac{a}{b}:= a \cdot b^{-1}$.

Proposición: Para $a,b,c,d \in \RR$ se cumple lo siguiente:

  1. Para $a,b\neq 0$, $$(ab)^{-1} = a^{-1}b^{-1}\quad \text{.}$$
  2. Para $b,c\neq 0$, $$\frac{a}{b}=\frac{ac}{bc}\quad \text{.}$$
  3. Para $b,d \neq 0$, $$\frac{a}{b} + \frac{c}{d} =\frac{ad+bc}{bd}\quad \text{.}$$
  4. Para $b,d \neq 0$, $$\frac{a}{b} \cdot \frac{c}{d}=\frac{ac}{bd}\quad \text{.}$$
  5. Para $b,c,d \neq 0$, $$\frac{\frac{a}{b}}{\frac{c}{d}} = \frac{ad}{bc}\quad \text{.}$$
  6. Para $b,d \neq 0$, $$\frac{a}{b}=\frac{c}{d} \Rightarrow ad=bc \quad \text{.}$$

Demostración:

  1. Observemos que por la propiedad de cerradura M1, $ab\in\RR$ y $ab\neq 0$. Así por M5 se sigue que: $$(ab)(ab)^{-1}=1 \tag {1}\quad \text{.}$$
    De este modo, lo que queremos probar es: $$(ab)(a^{-1}b^{-1})=1\quad \text{.}$$
    Comenzando por el lado izquierdo de la igualdad tenemos:
    \begin{align*}
    (ab)(a^{-1}b^{-1})&=a(b(a^{-1}b^{-1}))\tag{por M3}\\
    &=a(b(b^{-1}a^{-1}))\tag{por M2}\\
    &=a((bb^{-1})a^{-1})\tag{por M3}\\
    &=a((1)a^{-1})\tag{por M5}\\
    &=aa^{-1}\tag{por M4}\\
    &=1 \quad \text{.}\tag{por M5}
    \end{align*}
    Concluimos que $(ab)(a^{-1}b^{-1})=1 \tag{2}$. Al igualar con $(1)$ nos queda: $$(ab)(ab)^{-1}=(ab)(a^{-1}b^{-1})\quad\text{.}$$ Y aplicando el punto 3 de la primera sección de esta entrada tenemos: $$(ab)^{-1}=a^{-1}b^{-1}\quad\text{.}$$
  2. Recordemos que por la definición $\frac{a}{b}=ab^{-1}$. Por lo que tendríamos:
    \begin{align*}
    \frac{ac}{bc} &=(ac)(bc)^{-1}\\
    &=(ac)(b^{-1}c^{-1})\tag{ por el punto anterior}\\
    &=((ac)b^{-1})c^{-1}\tag{por M3}\\
    &=(a(cb^{-1}))c^{-1}\tag{por M3}\\
    &=(a(b^{-1}c))c^{-1}\tag{por M2}\\
    &=(ab^{-1})c)c^{-1}\tag{por M3}\\
    &=(ab^{-1})(cc^{-1})\tag{por M3}\\
    &=(ab^{-1})(1)\tag{por M5}\\
    &=ab^{-1} \quad \text{.}\tag{por M4}\\
    \end{align*}
    $$\therefore \quad \frac{a}{b}=\frac{ac}{bc}\quad \text{.}$$
  3. La propiedad 3 queda como ejercicio para nuestro lector.
  4. Procedamos a demostrar la propiedad 4, comenzaremos por $$\frac{ac}{bd}=\frac{ac}{bd}\quad\text{.}$$
    Así por definición tenemos lo siguiente:
    \begin{align*}
    \frac{ac}{bd}&=(ac)(bd)^{-1}\\
    &= (ac)(b^{-1}d^{-1})\tag{por el primer punto}\\
    &= ((ac)b^{-1})d^{-1}\tag{por M3}\\
    &=(a(cb^{-1}))d^{-1}\tag{por M3}\\
    &=(a(b^{-1}c))d^{-1}\tag{por M2}\\
    &=((ab^{-1})c)d^{-1}\tag{por M3}\\
    &=(ab^{-1})(cd^{-1})\tag{por M3}\\
    &=\frac{a}{b}\cdot \frac{c}{d}\quad\text{.}
    \end{align*}
    $$\therefore \quad \frac{a}{b} \cdot \frac{c}{d}=\frac{ac}{bd}\quad\text{.}$$
  5. La propiedad 5 queda como ejercicio para nuestro lector.
  6. Sean $b,d \neq 0$. Supongamos que: $$\frac{a}{b}=\frac{c}{d}\quad\text{.}$$
    $P.d.$ $ad = bc$.
    Ya que $$\frac{a}{b}=\frac{c}{d}\quad\text{,}$$ por definición tenemos $ab^{-1}=cd^{-1}$.
    Multiplicando por $b$ se sigue que:
    \begin{align*}
    &\Rightarrow(ab^{-1})b =(cd^{-1})b\\
    &\Rightarrow a(b^{-1}b) =c(d^{-1}b)\tag{por M3}\\
    &\Rightarrow a(1) =c(bd^{-1})\tag{por M5 y M2}\\
    &\Rightarrow a =(cb)d^{-1}\quad\text{.}\tag{por M4 y M3}\\
    \end{align*}

    Ahora multiplicaremos la igualdad anterior por $d$:
    \begin{align*}
    &\Rightarrow ad =((cb)d^{-1})d\\
    &\Rightarrow ad =(cb)(d^{-1}d)\tag{por M3}\\
    &\Rightarrow ad =(cb)(1)\tag{por M5}\\
    &\Rightarrow ad =cb\tag{por M4}\\
    &\Rightarrow ad =bc\quad\text{.}\tag{por M2}\\
    \end{align*}

$\square$

Más adelante

Durante las últimas dos entradas vimos las propiedades relacionadas con la suma y la multiplicación de los números reales. Sin embargo, no son las únicas propiedades que este conjunto de números cumple. En la siguiente entrada comenzaremos a ver las propiedades de orden de los números reales y algunas de sus consecuencias.

Tarea moral

Prueba los puntos 3 y 4 de la sección «Algunos productos notables».

  • Diferencia de cubos: $x^{3} – y^{3}=(x-y)(x^{2} +xy+ y^{2})$
  • Suma de cubos: $x^{3} + y^{3}=(x+y)(x^{2} -xy+ y^{2})$
    Sugerencia: Utiliza el punto anterior «Diferencia de cubos» y prueba que $y^{3}=-(-y)^{3}$.

Prueba los puntos 3 y 5 de la sección anterior:

  • Para $b,d \neq 0$, $$\frac{a}{b} + \frac{c}{d} =\frac{ad+bc}{bd}\quad\text{.}$$
  • Para $b,c,d \neq 0$, $$\frac{\frac{a}{b}}{\frac{c}{d}} = \frac{ad}{bc}\quad\text{.}$$

Entradas relacionadas

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.