37 votos

Ejemplos donde es más fácil de probar más de menos

Especialmente (pero no sólo) en el caso de la inducción de las pruebas, lo que ocurre es que un fuerte reclamo $B$ es más fácil de probar que la intención de reclamar $$ (por ejemplo, desde la hipótesis de inducción, proporciona más información). Estoy tratando de llegar con ejercicios para los estudiantes principiantes que ayudan a demostrar este punto (y también interesado en el fenómeno general). ¿Sabes de algún buen ejemplo (preferiblemente de primaria), donde el fortalecimiento de una reclamación que hace que la prueba sea más fácil?

Aquí es un ejemplo de lo que quiero decir (Problema 16 en el capítulo 7 de Engel `estrategias de solución de problemas'):

Demostrar que $\frac{1}{2}\frac{3}{4}...\frac{2n-1}{2n}\leq\frac{1}{\sqrt{3n}}$ para $n\geq 1$. Esto es mucho más difícil de demostrar la declaración más fuerte que $\frac{1}{2}\frac{3}{4}...\frac{2n-1}{2n}\leq\frac{1}{\sqrt{3n+1}}$ para $n\geq 1$, que es un sencillo de la inducción.

19voto

Alistair Puntos 1096

Aquí está mi favorito de la prueba de las razones por las que es muy fácil de primaria y suficiente que casi no requiere conocimientos de matemáticas a todos - para un ejemplo del caso general de que es más fácil que el caso especial:

Problema: Por cada $2^n\times2^n$ cuadrícula donde $n$ es un número natural, no es una cubierta con $L$ en forma de piezas, todas tienen una superficie de $3$ cuadrados, que deja una plaza central (uno de los cuatro cuadrados centrales) vacío.

Aquí hay un ejemplo para $n=2$:

problem

El caso General es:

Problema: Por cada $2^n\times2^n$ cuadrícula donde $n$ es un número natural, no es una cubierta con $L$ en forma de piezas, todas tienen una superficie de $3$ plazas, que deja sólo uno arbitrariamente especificado plaza vacía.

Caso General, las reclamaciones que podemos elegir cualquier plaza (no necesariamente centro frente al caso especial) queremos estar vacío, antes de cubrir. La prueba es muy fácil y utiliza la inducción en $n$:

Deje que $P(n)$ ser la proposición de que el problema de los estados.

Caso Base: $P(0)$ es obvio.

Inductivo paso: se Asume que $P(n)$ $n\in\mathbb{N}$. Tomar cualquier $2^{n+1}\times2^{n+1}$ de la junta y arbitrariamente elegir uno de los cuadrados que estará vacía. Dividir la junta de cuatro $2^n\times2^n$ cuadrantes. De hipótesis; no es una cubierta del cuadrante que ha elegido la plaza de ella, y la cobertura de todos los otros cuadrantes, excepto los tres cuadrados de centro de la gran plaza como esta:

solution

Aquí, el rojo es elegido plaza y el blues son plazas vacías para los otros cuadrantes. Ahora, poner una pieza en cuadros azules y usted tiene $P(n+1)$. $\blacksquare$

Para mí, este argumento también es una forma muy efectiva de hacer que la gente, que tienen poca o ninguna experiencia matemática, para comprender que, a veces, por qué y cómo demostrando caso general puede ser más fácil de lo que uno en especial. Por lo tanto, hacen un excelente ejemplo para demostrar este punto para estudiantes principiantes.

14voto

Dylan Yott Puntos 4464

Aquí es mi favorito. Sea $(a, n) = 1$. Hay infinitamente muchos números primos $p \equiv un \pmod{n}$ y con densidad analítica $\frac{1}{\phi(n)} $. Esto es más fácil de probar (en general) que solo mostrando un \equiv solo primer $p que existe una \pmod{n}$, puesto que lo que sé no hay ninguna forma general para encontrar a uno solo sin encontrar a todos ellos con la densidad adecuada. Si van buscando a un solo uno te probablemente te quedas atascado.

10voto

Markus Scheuer Puntos 16133

Aquí hay dos ejemplos que pueden ser útiles

  • Ejemplo 1: Generalizar en orden a utilizar técnicas de análisis de resp. formal operador técnicas

Problema: Evaluar

$$\sum_{k=1}^{n}\frac{k^2}{2^k}$$

Esto se puede hacer en lugar de evaluar

$$\sum_{k=1}^{n}k^2x^k$$

Por $x\neq 1$ sabemos que

$$S(x)=\sum_{k=1}^{n}x^k=\frac{1-x^{n+1 }}{1-x}$$

Ahora la diferenciación de cada lado y se multiplica con $x$ obtenemos

\begin{align*} (xD)S(x)&=\sum_{k=1}^{n}kx^{k}\\ y=(xD)\frac{1-x^{n+1 }}{1-x}\\ &=\left(1-(n+1)x^n+nx^{n+1}\right)\frac{x}{\left(1-x\right)^2} \end{align*}

La diferenciación de nuevo cada lado y multiplicando con $x$ obtenemos

\begin{align*} {(xD)}^2(x)&=\sum_{k=1}^{n}k^2x^{k}\\ y=(xD)^2\frac{1-x^{n+1 }}{1-x}\\ &=\left(1+x-(n+1)^2x^n-(2n^2+2n-1)x^{n+1}-n^2x^{n+2}\right)\frac{x}{\left(1-x\right)^3} \end{align*}

Llegamos a la conclusión de

\begin{align*} S\left(\frac{1}{2}\right)&=\sum_{k=1}^{n}\frac{k^2}{2^k}\\ &=\left(\frac{3}{2}-(n+1)^2\frac{1}{2^n}-(2n^2+2n-1)\frac{1}{2^{n+1}}-n^2\frac{1}{n+2}\right)\cdot 4\\ Y=6-\frac{1}{2^n}\left(n^2+4n+6\right) \end{align*}


Otro ejemplo donde la generalización es útil

  • Ejemplo 2: Generalizar integrales mediante la introducción de un parámetro y el uso de la técnica de parámetro de diferenciación

Problema: Evaluar

$$\int_{0}^{\infty}\frac{\sin^2 x}{x^2}dx$$

dado que $\int_{0}^{\infty}\frac{\sin x}{x}dx=\frac{1}{2}\pi$.

La idea es introducir un parámetro y evaluar la más general integral

\begin{align*} I(a)=\int_{0}^{\infty}\frac{\sin^2 (ax)}{x^2}dx,\qquad\geq 0\etiqueta{1} \end{align*}

y el uso del parámetro de diferenciación.

La diferenciación de cada lado de (1) con respecto a $a$, obtenemos

\begin{align*} I^{\prime}(a)&=\int_{0}^{\infty}\frac{2\sen (ax)\cos (ax)\cdot x}{x^2}dx\\ &=\int_{0}^{\infty}\frac{2\sin (2ax)}{x}dx\\ \end{align*} Ahora la sustitución de $y=2ax$, obtenemos $dy = 2a dx$, y \begin{align*} I^{\prime}(a)&=\int_{0}^{\infty}\frac{\pecado y} de{y}dx=\frac{1}{2}\pi\\ \end{align*}

La integración de cada lado da

$$I(a) =\frac{1}{2}\pi a+C,\qquad C \text{ constante}$$

Desde $I(0)=0$, obtenemos $C=0$. Por lo tanto $I(a)=\frac{1}{2}\pi,\geq 0$. $A=1$ rendimientos

$$I(1)= \int_{0}^{\infty}\frac{\sin ^2 x}{x^2}dx = \frac{1}{2}\pi$$


Nota: Los ejemplos anteriores se pueden encontrar en la Resolución de problemas a Través de Problemas. Se declaró como problemas 1.12.1 y 1.12.3 en el capítulo 1.12 Generalizar.

10voto

Alexander Gruber Puntos 21477

Aquí es relevante (aunque sea un poco simplista) ejemplo de la teoría de representaciones de grupos finitos.

Una órbita de un número finito de grupo $G$ en un espacio vectorial finito $V$ es un conjunto $v^G=\{v^g:g\in G\}$. (Aquí, yo estoy utilizando el "grupo teórico de la notación," donde $v^g$ indica $g$ actúe en $v$. Es lo que se suele ver escrito como $v\cdot g$ o $g\cdot v$ en el álgebra de los libros de texto.) Una órbita periódica en $V$ es una órbita tal que $\left|v^G\right|=\left|G\right|$. Así, por Orbit-Estabilizador, tenemos que $\left[G:\operatorname{Puñalada}_G(v)\right]=\left|G\right|$, lo que significa que $\operatorname{Puñalada}_G(v)=1$. Diciendo que $G$ tiene una órbita periódica en $V$ es, por lo tanto, equivalente a encontrar algún elemento de $V$ que se fija sólo por la identidad. La determinación de cuando los grupos han regular órbitas es un bien estudiado el problema en teoría de grupos, sobre la que hay muchas conjeturas.

Uno podría pensar que sería más fácil encontrar una órbita periódica en $V$ que contar todos los no-regular órbitas lugar. Sin embargo, en la práctica, a menudo nos encontramos que muestra que $$\left|\bigcup_{1\ne g\in G}\mathbf{C}_V(g)\right|< \left|V\right|$$ Por lo tanto, estamos diciendo, "Mira a todos estos vectores que no son parte regular de las órbitas! Como se puede ver, todavía hay espacio a la izquierda en $V$, así que el resto de las órbitas debe ser regular."

Para lidiar con la mano izquierda, debemos calcular explícitamente todos estos conjuntos de punto fijo, determinar sus intersecciones, aplicar inclusión-exclusión, y así sucesivamente. Lo que tenemos es mucha más información sobre el grupo de la órbita periódica que originalmente buscaban, pero en muchos casos, un método más simple que no se conoce.

6voto

Lissome Puntos 31

Dos ejemplos de inducción:

Ejemplo 1:

$$\sum_{k=1}^n \frac{1}{k^2} <2$$

Esto no funciona por inducción, puede ser probado por algunas otras técnicas. Pero

$$\sum_{k=1}^n \frac{1}{k^2} <2-\frac{1}{n}$$

es un ejercicio trivial.

Ejemplo 2: de Cualquier árbol con al menos dos vértices tiene al menos una hoja.

De nuevo, esto no funciona por inducción, puede ser probado después de que uno aprende algunos hechos básicos acerca de los árboles. Pero, de nuevo,

Cualquier árbol con al menos dos vértices tiene al menos dos hojas.

es un trivial de inducción ejercicio, que sólo utiliza la definición de un árbol.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X