6.7: Inducción en geometría, combinatoria y teoría de números
- Page ID
- 108177
\( \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}\)Pasamos junto a una colección mixta de problemas diseñados para resaltar una gama de aplicaciones.
Problema 256 Vamos,. Demostrar por inducción quetiene al menos k factores primos distintos.
Problema 257
(a) Demostrar por inducción que n puntos en una línea recta dividen la línea enpartes.
(b) (i) Experimentando con valores pequeños de n, adivina una fórmulapara el número máximo de regiones que se pueden crear en el plano mediante una matriz de n líneas rectas.
(ii) Demostrar por inducción que n líneas rectas en el plano dividen el plano en como máximoregiones.
(c) (i) Experimentando con valores pequeños de n, adivina una fórmulapara el número máximo de regiones que se pueden crear en 3 dimensiones mediante una matriz de n planos.
(ii) Demostrar por inducción que n planos en 3 dimensiones dividen el espacio en como máximoregiones.
Problema 258 Dado un cuadrado, demostrar que, para cada, el cuadrado inicial se puede cortar en n cuadrados (de posiblemente diferentes tamaños).
Problema 259 Un árbol es una gráfica conectada, o red, que consiste en vértices y aristas, pero sin ciclos (o circuitos). Demostrar que un árbol con n vértices tiene exactamentebordes.
El siguiente problema se refiere a los poliedros esféricos. Un poliedro esférico es una superficie poliédrica en 3 dimensiones, que se puede inflar para formar una esfera (donde asumimos que las caras y bordes pueden estirarse según sea necesario). Por ejemplo, un cubo es un poliedro esférico; pero la superficie de un marco no lo es. Un poliedro esférico tiene
- caras (polígonos planos bidimensionales, que se pueden estirar para tomar la forma de un disco),
- aristas (segmentos de línea unidimensionales, donde se encuentran exactamente dos caras), y
- vértices (puntos 0-dimensionales, donde se encuentran varias caras y aristas, de tal manera que forman un solo ciclo alrededor del vértice).
Cada cara debe tener claramente al menos 3 bordes; y debe haber al menos tres bordes y tres caras que se encuentran en cada vértice.
Si un poliedro esférico tiene V vértices, bordes E y caras F, entonces los números V, E, F satisfacen la fórmula de Euler
Por ejemplo, un cubo tienevértices,bordes, yrostros, y.
Problema 260
(a) (i) Describir un poliedro esférico con exactamente 6 aristas.
(ii) Describir un poliedro esférico con exactamente 8 bordes.
b) Demostrar que ningún poliedro esférico puede tener exactamente 7 aristas.
c) Demostrar que para cada, existe un poliedro esférico con n bordes.
Problema 261 Un mapa es una colección (finita) de regiones en el plano, cada una con un límite, o borde, que es `polígonal' en el sentido de que consiste en una sola secuencia de vértices distintos y —posiblemente curvados— bordes, que separan el plano en dos partes, una de las cuales es la poligonal región misma. Un mapa puede ser coloreado correctamente si a cada región se le puede asignar un color para que cada par de regiones vecinas (compartiendo un borde) siempre reciba diferentes colores. Demuestre que las regiones de dicho mapa pueden colorearse correctamente con solo dos colores si y solo si un número par de bordes se encuentran en cada vértice.
Problema 262 (Códigos grises) Haysecuencias de longitud n que consisten en 0s y 1s. Demostrar que, para cada, estas secuencias se pueden organizar en una lista cíclica de tal manera que dos secuencias vecinas cualesquiera (incluyendo la última y la primera) difieran exactamente en una posición de coordenadas.
Problema 263 (Árbol Calkin-Wilf) El árbol binario en el plano tiene un vértice distinguido como `raíz', y se construye inductivamente. La raíz se une a dos nuevos vértices; y cada nuevo vértice se une luego a otros dos vértices nuevos, con el proceso de construcción que continúa para siempre (Figura 11). Etiquete los vértices del árbol binario con fracciones positivas de la siguiente manera:
- a la raíz se le da la etiqueta
- siempre que sepamos la etiquetade un vértice 'padre', etiquetamos su `descendiente izquierdo' como, y su `descendiente derecho'.
a) Demostrar que todo racional positivoocurre una vez y sólo una vez como etiqueta, y que ocurre en sus términos más bajos.
b) Demostrar que las etiquetas son simétricas izquierda-derecha en el sentido de que las etiquetas en las posiciones izquierda y derecha correspondientes son recíprocas entre sí.
Problema 264 Una colección de n intervalos en el eje x es tal que cada par de intervalos tiene un punto en común. Demostrar que todos los n intervalos deben tener entonces al menos un punto en común.