Saltar al contenido principal
LibreTexts Español

19.1: Problemas clásicos

  • Page ID
    114632
  • \( \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}\)

    En esta sección enumeramos un par de problemas de construcción clásica; cada uno conocido desde hace más de mil años.

    Las soluciones de los siguientes dos problemas son bastante no triviales.

    Problema\(\PageIndex{1}\) Problem of Brahmagupta

    Construir un cuadrilátero inscrito con lados dados.

    Problema\(\PageIndex{1}\) Problem of Apollonius

    Construye un círculo que sea tangente a tres círculos dados.

    2021-03-02 9.27.24.png

    Varias soluciones de este problema basadas en diferentes ideas se presentan en [9]. El siguiente ejercicio es una versión simplificada del problema de Apolonio, que sigue siendo no trivial.

    Ejercicio\(\PageIndex{1}\)

    Construye un círculo que pase a través de un punto dado y sea tangente a dos líneas que se cruzan.

    Pista

    2021-03-02 9.37.42.png

    Dejar\(O\) ser el punto de intersección de las líneas. Construye un círculo\(\Gamma\), tangente a ambas líneas, las cruces\([OP)\); denota su centro por\(I\). Supongamos que\(X\) denota uno de los puntos de intersecciones de\(\Gamma\) y\([OP)\).

    Construir un punto\(I' \in [OI)\) tal que\(\dfrac{OI'}{OI} = \dfrac{OP}{OX}\). Observe que el círculo que pasa a través\(P\) y centrado en\(I'\) es una solución.

    Los siguientes tres problemas no pueden resolverse en principio; es decir, no existe la necesaria construcción de brújula y regla.

    Duplicar el cubo

    Construye el lado de un nuevo cubo que tenga el volum tice tan grande como el volumen de un cubo dado.

    En otras palabras, dado un segmento de la longitud\(a\), se necesita construir un segmento de longitud\(\sqrt[3]{2}\cdot a\).

    Cuadrando el círculo

    Construye un cuadrado con la misma área que un círculo dado.

    Si\(r\) es el radio del círculo dado, necesitamos construir un segmento de longitud\(\sqrt{\pi}\cdot r\).

    De hecho, no existe una construcción de brújula y regla que trisecta el ángulo con la medida\(\dfrac{\pi}{3}\). La existencia de tal construcción implicaría la constructibilidad de un 9 gon regular que está prohibido por el siguiente resultado famoso:

    Un\(n\) -gon regular inscrito en un círculo con centro\(O\) es una secuencia de puntos\(A_1\dots A_n\) en el círculo tal que

    \(\measuredangle A_nOA_1=\measuredangle A_1OA_2=\dots=\measuredangle A_{n-1}OA_n=\pm\tfrac2n\cdot \pi.\)

    Los puntos\(A_1,\dots, A_n\) son vértices, los segmentos\([A_1A_2], \dots, [A_nA_1]\) son lados y los segmentos restantes\([A_iA_j]\) son diagonales del\(n\) -gon.

    Una construcción de un\(n\) -gon regular, por lo tanto, se reduce a la construcción de un ángulo con tamaño\(\tfrac2n\cdot \pi\).

    Teorema\(\PageIndex{1}\) Gauss-Wantzel theorem

    Un\(n\) -gon regular se puede construir con una regla y una brújula si y solo si\(n\) es el producto de un poder de\(2\) y cualquier número de distintos primos Fermat.

    Un primo de Fermat es un número primo de la forma\(2^k+1\) para algún número entero\(k\). Hoy en día solo se conocen cinco primos de Fermat:

    3, 5, 17, 257, 65537.

    Por ejemplo,

    • se puede construir un gon regular de 340 ya que\(340=2^2\cdot 5\cdot 17\) y así\(5\) como\(17\) son primos Fermat;
    • no se puede construir un 7-gon regular ya que no\(7\) es un primo Fermat;
    • no se puede construir un 9 gon regular; altho\(9=3\cdot 3\) es un producto de dos primos Fermat, estos primos no son distintos.

    La imposibilidad de estas construcciones se demostró sólo en el siglo XIX. El método utilizado en las pruebas se indica en la siguiente sección.


    This page titled 19.1: Problemas clásicos is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Anton Petrunin via source content that was edited to the style and standards of the LibreTexts platform.