14.2: Construcciones
- Page ID
- 114686
\( \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}\)Consideremos construcciones geométricas con una regla y una herramienta paralela; esta última permite trazar una línea a través de un punto dado paralelo a una línea dada. Por Ejercitador 14.1.1, cualquier construcción con estas dos herramientas es invariante con respecto a las transformaciones afines. Por ejemplo, para resolver el siguiente ejercicio, basta con probar que el punto medio de un segmento dado se puede construir con una regla y una herramienta paralela.
Dejar\(M\) ser el punto medio del segmento\([AB]\) en el plano euclidiano. Supongamos que una transformación afín envía los puntos\(A\)\(B\),, y\(M\) a\(A'\)\(B'\), y\(M'\) respectivamente. Demostrar que\(M'\) es el punto medio de\([A'B']\).
El siguiente ejercicio se utilizará en el comprobante de la Proposición 14.3.1.
- Pista
-
De acuerdo con la observación anterior al ejercicio, es suficiente construir el punto medio de\([AB]\) con una regla y una herramienta paralela. Adivina una construcción a partir del diagrama.
Supongamos que los puntos con coordenadas\((0,0)\)\((1,0)\),\((a,0)\),, y\((b,0)\) se dan. Usando una regla y una herramienta paralela, construya puntos con coordenadas\((a\cdot b,0)\) y\((a+b,0)\).
- Pista
-
Dejar\(O, E, A\), y\(B\) denotar los puntos con las coordenadas (0, 0), (1, 0), (\(a\), 0), y (\(b\), 0) respectivamente.
Para construir un punto\(W\) con las coordenadas\((0, a + b)\), tratar de construir dos paralelogramos\(OAPQ\) y\(BWPQ\).
Para construir\(Z\) con coordenadas\((0, a \cdot b)\) elige una línea\((OE') \ne (OE)\) e intenta construir los puntos\(A' \in (OE')\) y\(Z \in (OE)\) así que\(\triangle OEE' \sim \triangle OAA'\) y\(\triangle OE'B \sim \triangle OA'Z\).
Use regla y herramienta paralela para construir el centro de un círculo dado.
- Pista
-
Dibuja dos acordes paralelos\([XX']\) y\([YY']\). Establecer\(Z = (XY) \cap (X'Y')\) y\(Z' = (XY') \cap (X'Y)\). Tenga en cuenta que\((ZZ')\) pasa por el centro.
Repita la misma construcción para otro par de acordes paralelos. El centro se encuentra en la intersección de las líneas obtenidas.
Obsérvese que el mapa de cizallamiento (descrito en el Ejercicio 14.1.2 (a)) puede cambiar los ángulos entre líneas casi arbitrariamente. Esta observación puede ser utilizada para probar la imposibilidad de algunas construcciones; aquí hay un ejemplo:
Mostrar que con una regla y una herramienta paralela no se puede construir una línea perpendicular a una línea dada.
- Pista
-
Supongamos que una construcción produce dos líneas perpendiculares. Aplicar un mapa de corte que cambie el ángulo entre las líneas (ver Ejercicio 14.1.2 (a)).
Tenga en cuenta que transforma la construcción a la misma construcción para otros puntos de libre elección. Por lo tanto, esta construcción no produce líneas perpendiculares en general. (Podría producir una línea perpendicular solo por una coincidencia.)