19.4: Verificaciones
- Page ID
- 114623
\( \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}\)Supongamos que necesitamos verificar que una configuración dada está definida por una determinada propiedad. ¿Es posible hacer esta tarea mediante una construcción geométrica con herramientas dadas? Suponemos que podemos verificar que dos puntos construidos coinciden.
Evidentemente si una configuración es construible, entonces es verificable — simplemente repita la construcción y comprueba si el resultado es el mismo. Alguna configuración no constuctable puede ser verificable. Por ejemplo, no plantea ningún problema verificar que el ángulo dado se trisecta mientras que es imposible trisectar un ángulo dado con regla y brújula. Un 7-gon regular proporciona otro ejemplo de ese tipo —es fácil de verificar, mientras que el teorema de Gauss—Wantzel afirma que es imposible construir con regla y brújula.
Dado que no probamos la imposibilidad de la trisección angular y el teorema de Gauss-Wantzel, el siguiente ejemplo podría ser más satisfactorio. Se basa en el Ejercicio 19.3.2 que establece que es imposible construir un equilátero con cuadrado-conjunto solamente.
Hacer una construcción set-square verificando que un triángulo dado es equilátero.
- Sugerencia
-
Observe que tres perpendiculares en el diagrama se encuentran en un punto si y solo si el triángulo es isósceles. Utilice esta observación un par de veces para verificar que el triángulo dado es equilátero.
Esta observación conduce a una fuente de construcciones imposibles en un sentido más fuerte —aquellas que ni siquiera son verificables.
El siguiente ejemplo está estrechamente relacionado con el Ejercicio 10.3.2. Recordemos que una circunherramienta produce un círculo que pasa a través de cualquiera de tres puntos o una línea si los tres puntos se encuentran en una línea.
Demostrar que con una circunherramienta solamente, es imposible verificar que un punto dado sea el centro de un círculo dado\(\Gamma\). En particular es imposible construir el centro con una circunherramienta solamente.
En construcciones geométricas, permitimos elegir algunos puntos libres, digamos cualquier punto del plano, o un punto en una línea construida, o un punto que no se encuentre sobre una línea construida, o un punto en una línea dada que no se encuentre en un círculo dado, y así sucesivamente.
En principio, cuando haces una elección tan libre es posible hacer una construcción correcta por accidente. Sin embargo, no aceptamos tal coincidencia como verdadera construcción; decimos que una construcción produce el centro si lo produce para cualquier elección libre.
- Solución
-
Argumentando por contradicción, supongamos que tenemos una construcción verificadora.
Aplicar una inversión en círculo perpendicular\(\Gamma\) a toda la construcción. Según Corolario 10.5.1, el círculo se\(\Gamma\) mapea a sí mismo. Dado que la inversión envía una circlina a una circlina, obtenemos que toda la construcción se mapea a una construcción equivalente; es decir, una constricción con una elección diferente de puntos libres.
De acuerdo con el Ejercicio 10.3.1, la inversión envía el centro de\(\Gamma\) a otro punto. No obstante esta construcción afirma que este otro punto es el centro —una contradicción.
Un ejemplo similar de construcciones imposibles para una regla y una herramienta paralela se da en el Ejercicio 14.2.4.
Hablemos de otro ejemplo para una construcción solo gobernante. Obsérvese que las construcciones solo reglas son invariantes con respecto a las transformaciones proyectivas. En particular, para resolver el siguiente ejercicio, basta con construir una transformación proyectiva que fije dos puntos y mueva su punto medio.
Demostrar que no hay ninguna construcción de solo regla que verifique que un punto dado es un punto medio de un segmento dado. En particular es imposible construir el punto medio solo con una regla.
- Sugerencia
-
Considera la proyección de perspectiva\((x,y) \mapsto (\tfrac{1}{x}, \tfrac{y}{x})\). Vamos\(A = (1, 1), B = (3, 1)\), y\(M = (2, 1)\). Tenga en cuenta que\(M\) es el punto medio de\([AB]\).
Sus imágenes son\(A' = (1, 1)\),\(B' = (\tfrac{1}{3}, \tfrac{1}{3})\), y\(M' = (\tfrac{1}{2}, \tfrac{1}{2})\). Claramente,\(M'\) es anotar el punto medio de\([A'B']\).
El siguiente teorema es una versión más fuerte del ejercicio anterior.
No hay ninguna construcción de regla que verifique que un punto dado sea el centro de un círculo dado. En particular es imposible construir el centro solo con una regla.
La prueba utiliza la construcción en el Teorema 16.3.2.
- Croquis de la prueba
-
El mismo argumento que en el problema anterior muestra que es suficiente construir una transformación proyectiva que envíe el círculo dado\(\Gamma\) a un círculo de\(\Gamma'\) tal manera que el centro de no\(\Gamma'\) sea la imagen del centro de\(\Gamma\).
Elige un círculo\(\Gamma\) que se encuentre en el plano\(\Pi\) en el espacio euclidiano. Por el Teorema 16.3.1, la inversa de un círculo en una esfera es un círculo o una línea. Fijar una esfera\(\Sigma\) con el centro\(O\) para que la inversión\(\Gamma'\) de\(\Gamma\) sea un círculo y el plano\(\Pi'\) que contiene no\(\Gamma'\) sea paralelo a\(\Pi\); ninguna esfera \(\Sigma\)en una posición general va a hacer.
Dejar\(Z\) y\(Z'\) denotar los centros de\(\Gamma\) y\(\Gamma'\). Tenga en cuenta que\(Z'\notin(OZ)\). De ello se deduce que la proyección en perspectiva\(\Pi\to \Pi'\) con centro en\(O\) envía\(\Gamma\) a\(\Gamma'\), pero no\(Z'\) es la imagen de\(Z\).