10.4: Método de inversión
- Page ID
- 114465
\( \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}\)Aquí hay una aplicación de inversión, que incluimos como ilustración; no la usaremos más en el libro.
Dejado\(ABCD\) ser un cuadriángulo inscrito. Supongamos que los puntos\(A,B,C\), y\(D\) aparecen en la circlina en el mismo orden. Entonces
\(AB \cdot CD + BC \cdot DA = AC \cdot BD.\)
- Prueba
-
Supongamos que los puntos se\(A,B,C,D\) encuentran en una línea en este orden.
Establecer\(x = AB\),\(y = BC\),\(z = CD\). Tenga en cuenta que
\(x \cdot z + y \cdot (x + y + z) = (x + y) \cdot (y + z).\)
Ya que\(AC = x + y\)\(BD = y + z\),\(DA = x + y + z\), y, prueba la identidad.
Queda por considerar el caso cuando el cuadriángulo\(ABCD\) está inscrito en un círculo, digamos\(\Gamma\).
La identidad puede ser reescrita como
\(\dfrac{AB \cdot DC}{BD \cdot CA} + \dfrac{BC \cdot AD}{CA \cdot DB} = 1.\)
En el lado izquierdo tenemos dos ratios cruzados. Según el Teorema 10.3.1a, el lado izquierdo no cambia si aplicamos una inversión a cada punto.
Considera una inversión en un círculo centrado en un punto\(O\) que se encuentra\(\Gamma\) entre\(A\) y\(D\). Por Teorema Teorema 10.3.2, esta inversión se mapea\(\Gamma\) a una línea. Esto reduce el problema al caso cuando\(A, B, C\), y se\(D\) encuentran en una línea, que ya se consideró.
En la prueba anterior, reescribimos la identidad de Tolomeo en una forma que es invariante con respecto a la inversión para luego aplicar una inversión que hace evidente la afirmación. La solución del siguiente ejercicio se basa en la misma idea; hay que hacer una elección correcta de inversión.
Supongamos que cuatro círculos son mutuamente tangentes entre sí. Demostrar que cuatro (entre seis) de sus puntos de tangencia se encuentran en una circlina.
- Insinuación
-
Etiquetar los puntos de tangencia por\(X, Y , A, B, P\), y\(Q\) como en el diagrama. Aplicar una inversión con el centro en\(P\). Observe que los dos círculos que tangentes en\(P\) se convierten en líneas paralelas y los dos círculos restantes son tangentes entre sí y estas dos líneas paralelas.
Tenga en cuenta que los puntos de tangencia\(A'\)\(B'\)\(X'\),,, y\(Y'\) con las líneas paralelas son vértices de un cuadrado; en particular se encuentran en un círculo. Estos puntos son imágenes de\(A, B, X\), y\(Y\) bajo la inversión. Por Teorema Teorema 10.3.1, los puntos\(A, B, X\), y\(Y\) también se encuentran en una circlina.
Supongamos que tres círculos tangentes entre sí y a dos líneas paralelas como se muestra en la imagen.
Mostrar que la línea que pasa a través\(A\) y también\(B\) es tangente a dos círculos en\(A\).
- Insinuación
-
Aplicar la inversión en un círculo con centro\(A\). El punto\(A\) irá al infinito, los dos círculos tangentes en se\(A\) convertirán en líneas paralelas y las dos líneas paralelas se convertirán en círculos tangentes en\(A\); ver el diagrama.
Queda por mostrar que la línea discontinua (\(AB'\)) es paralela a las otras dos líneas.