6.9: Prueba por contradicción
- Page ID
- 118198
\( \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}\)Para cualquier declaración lógicamente falsa\(e\text{,}\) tenemos
- Prueba
-
Primero,\(s\rightarrow t\) es falso precisamente cuando\(s\) es verdadero y\(t\) es falso. Por otro lado,\((s \land \neg t) \rightarrow e\) es falso precisamente cuando\(s \land \neg t\) es verdadero, y\(s \land \neg t\) es cierto precisamente cuando ambos\(s, \neg t\) son verdaderos, es decir, cuando\(s\) es verdadero y\(t\) es falso.
- Para probar\(P \Rightarrow Q\text{,}\) idear una declaración falsa\(E\) tal que\((P \land \neg Q) \Rightarrow E\text{.}\)
- Para probar\((\forall x)(P(x) \Rightarrow Q(x))\text{,}\) idear un predicado\(E(x)\) tal que\((\forall x)(\neg E(x))\) sea verdadero (es decir,\(E(x)\) es falso para todos\(x\) en el dominio), pero\((\forall x)\bigl[(P(x) \land \neg Q(x)) \Rightarrow E(x)\bigr]\text{.}\)
Por lo general\(E\) se toma como alguna variación de\(C \land \neg C\text{,}\) para alguna afirmación\(C\text{.}\) (Véase la Ley de Contradicción, registrada como Tautología Básica 4 en el Ejemplo 1.4.1.)
Demostrar que\(\sqrt{2}\) es irracional.
Solución
Queremos probar el condicional cuantificado con dominio los números reales: para todos\(x\text{,}\) si\(x^2 = 2\) y\(x \gt 0\) entonces no\(x\) es racional.
Supongamos que\(x\) es un número real tal que\(x^2 = 2\) y\(x \gt 0\text{.}\) Por contradicción, asumamos también que\(x\) es racional. Queremos que esta suposición extra lleve a una declaración falsa. Ahora bien, las medias\(x\) racionales\(x = a/b\) para algunos enteros\(a,b\text{.}\) Podemos suponer que ambas\(a,b\) son positivas, ya que también\(x \gt 0\text{.}\) podemos suponer que no\(a,b\) tienen factores comunes (es decir, la fracción\(a/b\) está en términos más bajos). Entonces,
\ begin {alinear*} x^2 = 2 &\;\ Rightarrow\; a^2 = 2 b^2,\\ &\;\ Rightarrow\; a^2\ text {par},\\ &\;\ Rightarrow\; a\ text {par},\\ &\;\ Rightarrow\; a = 2m,\ text {algunos} m,\\ &\;\ Rightarrow\; 2 b^2 = a^2 = 4m^2,\\ &\;\ Rightarrow\; b^2 = 2m^2,\\ &\;\ Rightarrow\; b ^2\ texto {par},\\ &\;\ Rightarrow\; b\ text {par}. \ end {alinear*}
Pero si ambos\(a,b\) son parejos, entonces\(a\) y ambos\(b\) son divisibles por\(2\text{.}\) Hemos llegado a nuestra contradicción: no\(a,b\) tenemos un factor común pero\(a,b\) tenemos un factor común de Es\(2\text{.}\) decir, hemos demostrado lo siguiente.
Para todos\(x\text{,}\) si\(( (x^2 = 2 \text{ and } x \gt 0) \text{ and } x \text{ not irrational}) \) entonces (existen enteros positivos\(a,b\) tales que\(x = a/b\) y no\(a,b\) tienen divisor común y\(a,b\) tienen un divisor común).