5: Geometría
- Page ID
- 108041
\( \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}\)Los que temen experimentar con sus manos nunca sabrán nada. - George Sarton (1884-1956)
La verdad matemática no está determinada arbitrariamente por las reglas de algún sistema formal 'hecho por el hombre', sino que tiene una naturaleza absoluta y yace más allá de cualquier sistema de reglas especificables. - Roger Penrose (1930—)
La geometría es en muchos sentidos la rama más natural de las matemáticas elementales a través de la cual transmitir “la esencia” de la disciplina.
- El tema subyacente está arraigado en ver, mover, hacer, dibujar, hacer, etc., y así es accesible para todos.
- A nivel secundario esta experiencia práctica conduce de manera bastante natural a un tratamiento semiformal de la “geometría como universo mental”
- — un universo que está reventado de hechos sorprendentes, cuyas afirmaciones se pueden entender fácilmente; y
- — que tiene una estructura lógica clara, en términos de la cual las pruebas de estos hechos son accesibles, aunque a veces tentadoramente esquivas.
Esta combinación de problemas esquivos por resolver y la acumulación constante de resultados comprobados ha proporcionado a generaciones de estudiantes su primer atisbo de matemáticas serias. Todos los lectores pueden imaginar el tipo de experiencias que se encuentran detrás del primer punto de viñeta anterior: muchos de los problemas que ya hemos conocido (como Problemas 4, 19, 20, 26, 27, 28, 29, 30, 31, 37, 38, 39) no dependen del “trato semiformal” al que se refiere el segundo punto de viñeta, por lo que puede ser abordado por cualquiera que esté interesado, siempre que acepte la importancia de aprender a construir sus propios diagramas (en el espíritu de la cita de George Sarton).
La mano es la vanguardia de la mente.
Jacob Bronowski (1908-1974)
Pero hay una captura -que explica por qué el presente capítulo aparece tan tarde en la colección. Para que muchos problemas transmitan con éxito “la esencia de las matemáticas” tiene que haber alguna comprensión compartida de lo que constituye una solución. Y en geometría, muchas soluciones requieren la construcción de una prueba. Sin embargo, muchos lectores nunca habrán experimentado un “tratamiento semiformal” coherente de la geometría elemental en el espíritu del segundo punto. De ahí que en Problemas 3 (c), 18, 21, 32, 34, 36 cometimos el pecado cardinal de guiar al lector por la nariz, rompiendo cada problema en pasos con el fin de imponer una estructura lógica. Esto puede haber sido excusable en el Capítulo 1; pero en un capítulo explícitamente dedicado a la geometría, el desafío subyacente tiene que ser enfrentado de frente: es decir, la experiencia cruda de la mano tiene que ser refinada para proporcionar una estructura deductiva para la mente.
Al igual que en el Capítulo 1, algunos de los problemas enumerados a partir de la Sección 5.3 pueden abordarse sin preocuparse demasiado por la estructura lógica de la geometría elemental. Pero en muchos casos, la “esencia” que es captada por un problema requiere que el problema sea visto dentro de una jerarquía lógica acordada -una secuenciación de propiedades, resultados y métodos, que establezca qué es una consecuencia de lo que- y por lo tanto, qué se puede utilizar como parte de un solución. En particular, necesitamos construir pruebas que eviten el razonamiento circular.
Si B es una consecuencia de A, o si B es equivalente a A, entonces una 'prueba' de A que hace uso de B es en el mejor de los casos dudosa, y bien puede ser un engaño.
La necesidad de evitar tal razonamiento circular surgió ya en el Problema 21 (lo contrario del Teorema de Pitágoras), donde sentimos la necesidad de afirmar explícitamente que sería inapropiado usar la Regla del Coseno: (ver Problema 192 más adelante).
Tales preocupaciones pueden explicar por qué este capítulo sobre geometría es el último de los capítulos relativos a las 'matemáticas escolares' de primaria, y por qué comenzamos el capítulo con
- una digresión aparente (Sección 5.1), y
- un esquema de geometría euclidiana elemental (Sección 5.2).
Aquellos con un fuerte fondo en geometría pueden optar por saltarse estas secciones en una primera lectura, y pasar directamente a los problemas que comienzan en la Sección 5.3. Pero entonces tal vez no vean cómo la arquitectura acumulativa de la Sección 5.2 transmite un aspecto bastante diferente de la “esencia de las matemáticas”, derivado no solo de los problemas individuales, sino de la forma en que una disposición sistemática y cuidadosamente elaborada de “ladrillos” simples puede crear una solución mucho más estructura matemática significativa.