Saltar al contenido principal

# 2.6: Conjeturas y contraejemplos

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

Conjeturas y ejemplos educados que los desacreditan.

Una conjetura es una “suposición educada” que se basa en ejemplos en un patrón. Un contraejemplo es un ejemplo que desmiente una conjetura.

Supongamos que se le dio un patrón matemático como$$h = \dfrac{−16}{t^2}$$. ¿Y si quisieras hacer una conjetura educada, o conjetura, sobre$$h$$?

Utilice la siguiente información para los Ejemplos 1 y 2:

Un vendedor de autos vendió 5 autos usados a cinco parejas diferentes. Se percató de que cada pareja tenía menos de 30 años. Al día siguiente, vendió un auto nuevo de lujo a una pareja de unos 60 años El vendedor determinó que solo las parejas más jóvenes por autos usados.

Ejemplo$$\PageIndex{1}$$

¿Es lógica la conjetura del vendedor? ¿Por qué o por qué no?

Solución

Es lógico basado en sus experiencias, pero no es cierto.

Ejemplo$$\PageIndex{2}$$

¿Se te ocurre un contraejemplo?

Solución

Un contraejemplo sería una pareja que tiene 30 años o más comprando un auto usado.

Ejemplo$$\PageIndex{3}$$

Aquí hay una ecuación algebraica y una tabla de valores para$$n$$ y$$t$$.

$$t=(n−1)(n−2)(n−3)$$

$$n$$ $$(n−1)(n−2)(n−3)$$ $$t$$
\ (n\)” class="lt-k12-2141">1 \ ((n−1) (n−2) (n−3)\)” class="lt-k12-2141">$$(0)(−1)(−2)$$ \ (t\)” class="lt-k12-2141">0
\ (n\)” class="lt-k12-2141">2 \ ((n−1) (n−2) (n−3)\)” class="lt-k12-2141">$$(1)(0)(−1)$$ \ (t\)” class="lt-k12-2141">0
\ (n\)” class="lt-k12-2141">3 \ ((n−1) (n−2) (n−3)\)” class="lt-k12-2141">$$(2)(1)(0)$$ \ (t\)” class="lt-k12-2141">0

Solución

Después de mirar la mesa, Pablo hace esta conjetura:

El valor de$$(n−1)(n−2)(n−3)$$ es 0 para cualquier número n.

¿Es esta una verdadera conjetura?

Esta no es una conjetura válida. Si Pablo continuara la tabla a n=4, habría visto que$$(n−1)(n−2)(n−3)=(4−1)(4−2)(4−3)=(3)(2)(1)=6$$

En este ejemplo$$n=4$$ está el contraejemplo.

Ejemplo$$\PageIndex{4}$$

Arthur está haciendo figuras para un proyecto de arte. Dibujó polígonos y algunas de sus diagonales.

A partir de estos ejemplos, Arthur hizo esta conjetura:

Si un polígono convexo tiene$$n$$ lados, entonces hay$$n−2$$ triángulos formados cuando se dibujan diagonales desde cualquier vértice del polígono.

¿Es correcta la conjetura de Arthur? O bien, ¿puedes encontrar un contraejemplo?

Solución

La conjetura parece ser correcta. Si Arthur dibuja otros polígonos, en todos los casos podrá dibujar$$n−2$$ triángulos si el polígono tiene n lados.

Observe que no hemos probado la conjetura de Arthur, sino que solo encontramos varios ejemplos que son ciertos. Entonces, en este punto, decimos que la conjetura es cierta.

Ejemplo$$\PageIndex{5}$$

Dé un contraejemplo a esta afirmación: Cada número primo es un número impar.

Solución

El único contraejemplo es el número 2: un número par (no impar) que es primo.

## Revisar

Dar un contraejemplo para cada una de las siguientes declaraciones.

1. Si$$n$$ es un número entero, entonces$$n^2 >n$$.
2. Todos los números que terminan en 1 son números primos.
3. Todas las fracciones positivas están entre 0 y 1.
4. Tres puntos cualesquiera que sean coplanarios también son colineales.
5. A todas las chicas les gusta el helado.
6. Todos los alumnos de secundaria están en coro.
7. Para cualquier ángulo existe un ángulo complementario.
8. Todos los adolescentes pueden conducir.
9. Si$$n$$ es un número entero, entonces$$n>0$$.
10. Todas las ecuaciones tienen soluciones enteras.

## Reseña (Respuestas)

Para ver las respuestas de Revisar, abra este archivo PDF y busque la sección 2.5.

## vocabulario

Término Definición
conjetura Una conjetura es una suposición educada que se basa en ejemplos en un patrón.
contraejemplo Un contraejemplo es un ejemplo que desmiente una conjetura.
fracción Una fracción es parte de un todo. Una fracción se escribe matemáticamente como un valor encima de otro, separado por una barra de fracción. También se le llama un número racional.

Elemento Interactivo

Video: Razonamiento Inductivo

Actividades: Conjeturas y Contraejemplos Preguntas de discusión

Ayudas de estudio: Guía de estudio de tipos de razonamiento

Práctica: Conjeturas y Contraejemplos

Mundo real: conjeturas y contraejemplos

This page titled 2.6: Conjeturas y contraejemplos is shared under a CK-12 license and was authored, remixed, and/or curated by CK-12 Foundation via source content that was edited to the style and standards of the LibreTexts platform.