Exercicis de principis de demostració

La fórmula.

$1 + 2 + \cdots + 14 = \frac{14\cdot15}{2} = 105$

Per què és certa (esquema de la inducció). El cas base $n=1$ dona $1\cdot 2/2 = 1$, correcte. I si val per a un $n$ concret, sumant $n+1$ al total surt

$\frac{n(n+1)}{2} + (n+1) = (n+1)\left(\frac{n}{2}+1\right) = \frac{(n+1)(n+2)}{2},$

que és exactament la fórmula amb $n+1$. Com que el cas base val i el pas es pot repetir, val per a tot $n$.

On s'ha fet servir la hipòtesi: a la primera igualtat, i només allà. Si en una prova per inducció no saps assenyalar el punt exacte on l'has aplicada, probablement no és inductiva.

El valor.

$2^{14} = 16384$

La desigualtat. Es compleix que $16384 > 14$, com afirma l'enunciat.

L'esquema de la prova. Cas base $n=1$: $2 > 1$. Pas inductiu: si $2^{n} > n$, aleshores

$2^{n+1} = 2\cdot 2^{n} > 2n \geq n+1,$

on l'última desigualtat val perquè $n\geq 1$. Observa que el pas fa servir dues coses: la hipòtesi d'inducció i una propietat elemental dels enters positius.

El creixement. La diferència entre les dues quantitats es dispara: a $n=10$ ja és de $1014$. Aquesta és la raó per la qual un algorisme exponencial és inviable i un de lineal no.

La fórmula.

$1 + 2 + \cdots + 15 = \frac{15\cdot16}{2} = 120$

Per què és certa (esquema de la inducció). El cas base $n=1$ dona $1\cdot 2/2 = 1$, correcte. I si val per a un $n$ concret, sumant $n+1$ al total surt

$\frac{n(n+1)}{2} + (n+1) = (n+1)\left(\frac{n}{2}+1\right) = \frac{(n+1)(n+2)}{2},$

que és exactament la fórmula amb $n+1$. Com que el cas base val i el pas es pot repetir, val per a tot $n$.

On s'ha fet servir la hipòtesi: a la primera igualtat, i només allà. Si en una prova per inducció no saps assenyalar el punt exacte on l'has aplicada, probablement no és inductiva.

El valor.

$2^{15} = 32768$

La desigualtat. Es compleix que $32768 > 15$, com afirma l'enunciat.

L'esquema de la prova. Cas base $n=1$: $2 > 1$. Pas inductiu: si $2^{n} > n$, aleshores

$2^{n+1} = 2\cdot 2^{n} > 2n \geq n+1,$

on l'última desigualtat val perquè $n\geq 1$. Observa que el pas fa servir dues coses: la hipòtesi d'inducció i una propietat elemental dels enters positius.

El creixement. La diferència entre les dues quantitats es dispara: a $n=10$ ja és de $1014$. Aquesta és la raó per la qual un algorisme exponencial és inviable i un de lineal no.

La fórmula.

$1 + 2 + \cdots + 16 = \frac{16\cdot17}{2} = 136$

Per què és certa (esquema de la inducció). El cas base $n=1$ dona $1\cdot 2/2 = 1$, correcte. I si val per a un $n$ concret, sumant $n+1$ al total surt

$\frac{n(n+1)}{2} + (n+1) = (n+1)\left(\frac{n}{2}+1\right) = \frac{(n+1)(n+2)}{2},$

que és exactament la fórmula amb $n+1$. Com que el cas base val i el pas es pot repetir, val per a tot $n$.

On s'ha fet servir la hipòtesi: a la primera igualtat, i només allà. Si en una prova per inducció no saps assenyalar el punt exacte on l'has aplicada, probablement no és inductiva.

El valor.

$2^{16} = 65536$

La desigualtat. Es compleix que $65536 > 16$, com afirma l'enunciat.

L'esquema de la prova. Cas base $n=1$: $2 > 1$. Pas inductiu: si $2^{n} > n$, aleshores

$2^{n+1} = 2\cdot 2^{n} > 2n \geq n+1,$

on l'última desigualtat val perquè $n\geq 1$. Observa que el pas fa servir dues coses: la hipòtesi d'inducció i una propietat elemental dels enters positius.

El creixement. La diferència entre les dues quantitats es dispara: a $n=10$ ja és de $1014$. Aquesta és la raó per la qual un algorisme exponencial és inviable i un de lineal no.

La fórmula.

$1 + 2 + \cdots + 17 = \frac{17\cdot18}{2} = 153$

Per què és certa (esquema de la inducció). El cas base $n=1$ dona $1\cdot 2/2 = 1$, correcte. I si val per a un $n$ concret, sumant $n+1$ al total surt

$\frac{n(n+1)}{2} + (n+1) = (n+1)\left(\frac{n}{2}+1\right) = \frac{(n+1)(n+2)}{2},$

que és exactament la fórmula amb $n+1$. Com que el cas base val i el pas es pot repetir, val per a tot $n$.

On s'ha fet servir la hipòtesi: a la primera igualtat, i només allà. Si en una prova per inducció no saps assenyalar el punt exacte on l'has aplicada, probablement no és inductiva.

El valor.

$2^{17} = 131072$

La desigualtat. Es compleix que $131072 > 17$, com afirma l'enunciat.

L'esquema de la prova. Cas base $n=1$: $2 > 1$. Pas inductiu: si $2^{n} > n$, aleshores

$2^{n+1} = 2\cdot 2^{n} > 2n \geq n+1,$

on l'última desigualtat val perquè $n\geq 1$. Observa que el pas fa servir dues coses: la hipòtesi d'inducció i una propietat elemental dels enters positius.

El creixement. La diferència entre les dues quantitats es dispara: a $n=10$ ja és de $1014$. Aquesta és la raó per la qual un algorisme exponencial és inviable i un de lineal no.

La fórmula.

$1 + 2 + \cdots + 18 = \frac{18\cdot19}{2} = 171$

Per què és certa (esquema de la inducció). El cas base $n=1$ dona $1\cdot 2/2 = 1$, correcte. I si val per a un $n$ concret, sumant $n+1$ al total surt

$\frac{n(n+1)}{2} + (n+1) = (n+1)\left(\frac{n}{2}+1\right) = \frac{(n+1)(n+2)}{2},$

que és exactament la fórmula amb $n+1$. Com que el cas base val i el pas es pot repetir, val per a tot $n$.

On s'ha fet servir la hipòtesi: a la primera igualtat, i només allà. Si en una prova per inducció no saps assenyalar el punt exacte on l'has aplicada, probablement no és inductiva.

El valor.

$2^{18} = 262144$

La desigualtat. Es compleix que $262144 > 18$, com afirma l'enunciat.

L'esquema de la prova. Cas base $n=1$: $2 > 1$. Pas inductiu: si $2^{n} > n$, aleshores

$2^{n+1} = 2\cdot 2^{n} > 2n \geq n+1,$

on l'última desigualtat val perquè $n\geq 1$. Observa que el pas fa servir dues coses: la hipòtesi d'inducció i una propietat elemental dels enters positius.

El creixement. La diferència entre les dues quantitats es dispara: a $n=10$ ja és de $1014$. Aquesta és la raó per la qual un algorisme exponencial és inviable i un de lineal no.