Para $n \geq 2$ demuestre que $(1- \frac{1}{4})(1- \frac{1}{9})(1- \frac{1}{16})...(1- \frac{1}{n^2}) = \frac{n+1}{2n}$
Tenemos que utilizar la inducción.
El Principio de Inducción Matemática, Teorema 4.2.1, establece que $n_0 \in \mathbb{Z}$ . Para cada número entero $n \geq n_o$ , dejemos que $P(n)$ ser una declaración sobre $n$ . Supongamos que las dos afirmaciones siguientes son ciertas:
- $P(n_o)$
- $( \forall n \geq n_o)[P(n) \rightarrow P(n+1)]$
Entonces, para todos los números enteros $n \geq n_o$ esa declaración $P(n)$ es cierto.
Supongamos, $(1- \frac{1}{4})(1- \frac{1}{9})(1- \frac{1}{16})...(1- \frac{1}{n^2}) = \frac{n+1}{2n}$ la ecuación, es cierta para algún número natural $k$ .
$\frac{1}{2^2})*...*(1- \frac{1}{k^2}) = \frac{k+1}{2k}$
La hipótesis de la inducción $P(k) \rightarrow P(k+1)$ debe cumplirse para cualquier número natural $k, P(k),$ de la base y el paso inductivo.
$(\frac{1}{2^2})*...*(1- \frac{1}{k^2})*(1- \frac{1}{(k+1)^2}) = \frac{k+1}{2k}(1- \frac{1}{(k+1)^2})$
$\leftrightarrow$ $\frac{k+1}{2k}(\frac{(k+1)^2}{(k+1)^2}- \frac{1}{(k+1)^2})$
$\leftrightarrow$ $(\frac{(k+1)}{2k})( \frac{(k+1)^2-1}{(k+1)^2})$
$\leftrightarrow$ $( \frac{(k^2+2k+1-1}{(2k)(k+1)})$
$\leftrightarrow$ $( \frac{(k^2+2k}{(2k)(k+1)})$
$\leftrightarrow$ $( \frac{k+2}{(2)(k+1)})$
Tenemos que demostrar que
$(\frac{1}{2^2})*...*(1- \frac{1}{n^2}) = \frac{n+1}{2n}$
es válido para $n \geq 2$
La pregunta es ¿simplemente sustituyo un número que sea mayor que dos después de haber hecho la inducción?