Saltar al contenido principal

# 3.4: Improbantes

$$\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}$$

La idea de una “desprueba” es realmente solo semántica —para desmentir una afirmación necesitamos probar su negación.

Hasta ahora hemos estado discutiendo bastante las pruebas, pero hemos prestado muy poca atención a un tema realmente enorme. Si las declaraciones que estamos intentando probar son falsas, nunca va a ser posible ninguna prueba. Realmente, un requisito previo para desarrollar una instalación con pruebas es desarrollar un buen “detector de mentiras”. Tenemos que ser capaces de adivinar, o determinar rápidamente, si una declaración es verdadera o falsa. Si se nos da una declaración universalmente cuantificada lo primero que debemos hacer es probarla para algunos elementos aleatorios del universo en el que estamos trabajando. Si sucedemos a través de un valor que satisface las hipótesis de la declaración pero no satisface la conclusión, hemos encontrado lo que se conoce como contraejemplo.

Considere la siguiente declaración sobre enteros y divisibilidad:

##### Conjetura$$\PageIndex{1}$$

$∀a, b, c ∈ \mathbb{Z}, a| bc \implies a| b ∨ a| c.$

Esto se expresa como un SCP, por lo que la hipótesis es clara, estamos buscando tres enteros para que el primero divida el producto de los otros dos. En la siguiente tabla, hemos recopilado varios valores para$$a$$,$$b$$ y$$c$$ tal que$$a| bc$$.

$$a$$ $$b$$ $$c$$ $$a| b ∨ a| c ?$$
\ (a\) ">$$2$$ \ (b\) ">$$7$$ \ (c\) ">$$6$$ \ (a| b \) ">$$\text{yes}$$
\ (a\) ">$$2$$ \ (b\) ">$$4$$ \ (c\) ">$$5$$ \ (a| b \) ">$$\text{yes}$$
\ (a\) ">$$3$$ \ (b\) ">$$12$$ \ (c\) ">$$11$$ \ (a| b \) ">$$\text{yes}$$
\ (a\) ">$$3$$ \ (b\) ">$$5$$ \ (c\) ">$$15$$ \ (a| b \) ">$$\text{yes}$$
\ (a\) ">$$5$$ \ (b\) ">$$4$$ \ (c\) ">$$15$$ \ (a| b \) ">$$\text{yes}$$
\ (a\) ">$$5$$ \ (b\) ">$$10$$ \ (c\) ">$$3$$ \ (a| b \) ">$$\text{yes}$$
\ (a\) ">$$7$$ \ (b\) ">$$2$$ \ (c\) ">$$14$$ \ (a| b \) ">$$\text{yes}$$
##### Práctica

Como se señala en la Sección 1.2 el enunciado anterior se relaciona con si a es primo o no. Tenga en cuenta que en la tabla, solo$$a$$ aparecen los valores primos de. Este es un indicio bastante amplio. Encuentra un contraejemplo a Conjetura$$3.4.1$$.

Puede haber momentos en que la búsqueda de un contraejemplo empiece a sentirse realmente inútil. ¿Pensarías que es probable que una declaración sobre números naturales pueda ser cierta para (más que) los primeros$$50$$ números a pero aún así ser falsos?

##### Conjetura$$\PageIndex{2}$$

$$∀n ∈ \mathbb{Z} + n^2 − 79n + 1601$$es primo.

##### Práctica

Encuentra un contraejemplo para Conjetura$$3.4.2$$

Oculta dentro de la prueba de Euclides de la infinitud de los primos hay una secuencia. Recordemos que en la prueba deducimos una contradicción al considerar el número$$N$$ definido por

$N = 1 + \prod_{k=1}^{n} p_k.$

Definir una secuencia por

$N_n = 1 + \prod_{k=1}^{n} p_k,$

donde$$\{p_1, p_2, . . . , p_n\}$$ están los primeros$$n$$ primos reales. Los primeros valores de esta secuencia son:

$$n$$ $$N_n$$
\ (n\) ">$$1$$ \ (N_n\) ">$$1 + (2) = 3$$
\ (n\) ">$$2$$ \ (N_n\) ">$$1 + (2 · 3) = 7$$
\ (n\) ">$$3$$ \ (N_n\) ">$$1 + (2 · 3 · 5) = 31$$
\ (n\) ">$$4$$ \ (N_n\) ">$$1 + (2 · 3 · 5 · 7) = 211$$
\ (n\) ">$$5$$ \ (N_n\) ">$$1 + (2 · 3 · 5 · 7 · 11) = 2311$$
\ (n\) ">$$⋮$$ \ (N_n\) ">$$⋮$$

Ahora bien, en la prueba, deducimos una contradicción al señalar que$$N_n$$ es mucho mayor que$$p_n$$, así que si$$p_n$$ es el prime más grande se deduce que no$$N_n$$ puede ser primo — pero lo que realmente parece ser el caso (¡solo mira esa tabla!) es que$$N_n$$ en realidad es primordial para todos$$n$$.

##### Práctica

Encuentra un contraejemplo a la conjetura que en sí misma siempre$$1 + \prod^{n}_{k=1} p_k$$ es un primo.

## Ejercicios:

##### Ejercicio$$\PageIndex{1}$$

Encuentre un polinomio que asuma solo valores primos para un rango razonablemente grande de entradas.

##### Ejercicio$$\PageIndex{2}$$

Encuentra un contraejemplo para conjeturar$$3.4.1$$ usando solo poderes de$$2$$.

##### Ejercicio$$\PageIndex{3}$$

La suma alternada de factoriales proporciona un interesante ejemplo de una secuencia de enteros.

$$1! = 1 \\ 2! − 1! = 1 \\ 3! − 2! + 1! = 5 \\ 4! − 3! + 2! − 1! = 19 \\ \text{et cetera}$$

¿Son todos primos? (Después de los dos$$1$$ primeros.)

##### Ejercicio$$\PageIndex{4}$$

Se ha conjeturado que siempre que$$p$$ es primo, también$$2^p − 1$$ es primo. Encuentra un contraejemplo mínimo.

##### Ejercicio$$\PageIndex{5}$$

Verdadero o falso: La suma de dos números irracionales cualesquiera es irracional. Demuestra tu respuesta.

##### Ejercicio$$\PageIndex{6}$$

Verdadero o falso: Hay dos números irracionales cuya suma es racional. Demuestra tu respuesta.

##### Ejercicio$$\PageIndex{7}$$

Verdadero o falso: El producto de dos números irracionales cualesquiera es irracional. Demuestra tu respuesta.

##### Ejercicio$$\PageIndex{8}$$

Verdadero o falso: Hay dos números irracionales cuyo producto es racional. Demuestra tu respuesta.

##### Ejercicio$$\PageIndex{9}$$

Verdadero o falso: Siempre que un entero n es un divisor del cuadrado de un entero,$$m^2$$, se deduce que$$n$$ es un divisor de$$m$$ también. (En símbolos,$$∀n ∈ \mathbb{Z}, ∀m ∈ \mathbb{Z}, n | m^2 \implies n | m.)$$ Demuestra tu respuesta.

##### Ejercicio$$\PageIndex{10}$$

En un ejercicio en la Sección 3.2, probamos que la ecuación cuadrática$$ax^2 + bx + c = 0$$ tiene dos soluciones si$$ac < 0$$. Encuentra un contraejemplo que demuestre que esta implicación no puede ser reemplazada por una bicondicional.

This page titled 3.4: Improbantes is shared under a GNU Free Documentation License 1.3 license and was authored, remixed, and/or curated by Joseph Fields.