SlideShare uma empresa Scribd logo
1 de 10
Baixar para ler offline
´
                                LISTA 3 - BASES MATEMATICAS
                                                    Resolu¸˜o
                                                          ca


                                                     Indu¸˜o
                                                         ca


1 — Calcule:

a) A soma dos n primeiros pares.

Os n´meros pares formam uma progress˜o aritm´tica de raz˜o 2: (0, 2, 4, 6, 8, 10, · · · )
     u                                  a      e           a
O termo geral dessa PA pode ser obtido pela equa¸˜o an = a1 + (n − 1)r, onde an ´ o n-´simo valor,
                                                 ca                                   e   e
a1 ´ o primeiro e r a raz˜o. O n-´simo termo (termo geral) ´, ent˜o, an = 0 + 2(n − 1) = 2n − 2. A
   e                     a       e                         e     a
progress˜o aritm´tica pode ser representada como
        a        e

                                          (0, 2, 4, 6, 8, 10, · · · , 2n − 2).
                                                                                                                    n(a1 +an )
A soma dos n primeiros termos de uma progress˜o artim´tica ´ obtida por meio de Sn =
                                             a       e     e                                                            2      .
Ent˜o, a soma dos n primeiros pares ´
   a                                e

                                          n(0 + 2n − 2)   2n(n − 1)
                               Spares =                 =           = n(n − 1)
                                                2             2


b) A soma dos n primeiros ´
                          ımpares.

Os n´meros ´
    u       ımpares formam uma progress˜o artim´tica de raz˜o 2: (1, 3, 5, 7, 9, · · · )
                                        a        e         a
O n-´simo termo ´ an = 1 + 2(n − 1) = 2n − 1. A soma dos n primeiros termos ´, ent˜o
    e           e                                                                e       a

                                            n(1 + 2n − 1)   n(2n)   2n2
                               Simpares =                 =       =     = n2
                                                  2           2      2


2 — Prove que para todo inteiro positivo n vale:
                                                                        n(2n+1)(n+1)
                                   12 + 2 2 + 3 2 + · · · + n2 =             6       .

i) Testando a propriedade para n = 1:
                                                 1(2·1+1)(1+1          1·3·2
                                          12 =         6           =     6     =1

P(1) ´ verdadeira.
     e

ii) Hip´tese indutiva – P (k) : 12 + 22 + 32 + · · · + k 2 = k(2k+1)(k+1)
       o                                                           6
Tese – P (k + 1) : 12 + 22 + 32 + · · · + k 2 + (k + 1)2 = (k+1)(2(k+1)+1)((k+1)+1) =               (k+1)(2k+3)(k+2)
                                                                       6                                    6

Assumindo como verdadeira a hip´tese indutiva temos,
                               o
                                                    k(2k+1)(k+1)                         k(2k+1)(k+1)+6(k+1)2
         12 + 22 + 32 + · · · + k 2 +(k + 1)2 =          6             + (k + 1)2 =                6            =
                k(2k+1)(k+1)
                     6
                                                                                  3
              (k+1)[k(2k+1)+6(k+1)]       (k+1)(2k2 +7k+6)         (k+1)2(k+2)(k+ 2 )        (k+1)(k+2)(2k+3)
                        6             =          6             =           6             =          6

A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 1.
         ca                                                                 e a




                                                           1
Nota: Polinˆmios, ou seja, express˜es do tipo P (x) = an xn + an−1 xn−1 + · · · + a2 x2 + a1 x + a0 podem
              o                     o
ser reescritas como P (x) = an (x − rn )(x − rn−1 ) · · · (x − r2 )(x − r1 ), onde rn , rn−1 , · · · , r1 s˜o zeros do
                                                                                                           a
polinˆmio.
      o

3 — Demonstre que para todo inteiro positivo n vale:

                                  1              2
a) 13 + 23 + · · · + n3 =         2 n(n   + 1)

i) Testando a propriedade para n = 1:
                                                     1                 2               1        2
                                          13 =       2   · 1(1 + 1)        =           2   ·2       = 12 = 1

P (1) ´ verdadeira.
      e
                                                                                                     2
ii) Hip´tese indutiva – P (k) : 13 + 23 + · · · + k 3 = 1 k(k + 1)
       o                                                 2
                                                       1                                                           2        1                     2
Tese – P (k + 1) : 13 + 23 + · · · + k 3 + (k + 1)3 = 2 (k + 1)((k + 1) + 1)                                           =    2 (k   + 1)(k + 2)

Assumindo como verdadeira a hip´tese indutiva temos,
                               o
                                                                               2
           13 + 23 + · · · + k 3 +(k + 1)3 =               1
                                                           2 k(k   + 1)            + (k + 1)3 = 1 k 2 (k + 1)2 + (k + 1)3 =
                                                                                                4
                             2
                ( 1 k(k+1))
                  2
                1 2                                       1 2                                            1                       1                    2
    (k + 1)2    4 k + (k + 1) = (k + 1)
                                        2
                                                          4k    + k + 1 = (k + 1)2                       4 (k   + 2)2 =          2 (k   + 1)(k + 2)

A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 1.
         ca                                                                 e a




b) 1 + 2( 2 ) + 3( 1 )2 + · · · + n( 1 )n−1 = 4 −
          1
                   2                 2
                                                             n+2
                                                             2n−1

i) Testando a propriedade para n = 1:
                                                            1+2                    3
                                              1=4−          21−1
                                                                    =4−            1   =4−3=1

P (1) ´ verdadeira.
      e

ii) Hip´tese indutiva – P (k) : 1 + 2( 1 ) + 3( 1 )2 + · · · + k( 1 )k−1 = 4 −
       o                               2        2                 2
                                                                                                                 k+2
                                                                                                                 2k−1
                                                                                                                   (k+1)+2
Tese – P (k + 1) : 1 + 2( 1 ) + 3( 1 )2 + · · · + k( 1 )k−1 + (k + 1)( 2 )k = 4
                          2        2                 2
                                                                       1
                                                                                                                − 2(k+1)−1   =4−          k+3
                                                                                                                                           2k

Assumindo como verdadeira a hip´tese indutiva temos,
                               o
       1      1               1
 1 + 2( ) + 3( )2 + · · · + k( )k−1 +(k + 1)( 2 )k = 4 −
                                              1                                        k+2
                                                                                       2k−1
                                                                                                + (k + 1)( 1 )k = 4 −
                                                                                                           2
                                                                                                                                 k+2
                                                                                                                                   2k
                                                                                                                                        + (k + 1)( 21 ) =
                                                                                                                                                    k
       2      2               2                                                                                                     2
                       k+2
                 4−
                      2k−1
                                  −2k−4                            −2k−4+k+1                             −k−3
                             4+     2k
                                           + ( k+1 ) = 4 +
                                                2k                     2k
                                                                                            =4+           2k
                                                                                                                =4−        k+3
                                                                                                                            2k

A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 1.
         ca                                                                 e a




c) (1 − 1 )(1 − 1 ) · · · (1 −
        2       3
                                   1
                                  n+1 )   =    1
                                              n+1

i) Testando a propriedade para n = 1:
                                                                   1       1            1
                                                            1−     2   =   2   =       1+1




                                                                       2
P (1) ´ verdadeira.
      e

ii) Hip´tese indutiva – P (k) : (1 − 1 )(1 − 1 ) · · · (1 − k+1 ) = k+1
       o                                  2      3
                                                              1      1
                        1       1               1         1        1
Tese – P (k + 1) : (1 − 2 )(1 − 3 ) · · · (1 − k+1 )(1 − k+2 ) = k+2

Assumindo como verdadeira a hip´tese indutiva temos,
                               o
       1     1              1              1           1           1
   (1 − )(1 − ) · · · (1 −     )(1 −      k+2 )   = ( k+1 )(1 −   k+2 )   = ( k+1 )( k+2−1 ) = ( k+1 )( k+2 ) =
                                                                               1
                                                                                      k+2
                                                                                                  1     k+1        1
                                                                                                                  k+2
       2     3             k+1
                   1
                  k+1


A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 1.
         ca                                                                 e a



d) 1 + 2 + 22 + · · · + 2n−1 = 2n − 1

i) Testando a propriedade para n = 1:

                                    21−1 = 20 = 1 = 21 − 1 = 2 − 1 = 1

P (1) ´ verdadeira.
      e

ii) Hip´tese indutiva – P (k) : 1 + 2 + 22 + · · · + 2k−1 = 2k − 1
       o
Tese – P (k + 1) : 1 + 2 + 22 + · · · + 2k−1 + 2k = 2k+1 − 1

Assumindo como verdadeira a hip´tese indutiva temos,
                               o

            1 + 2 + 22 + · · · + 2k−1 +2k = 2k − 1 + 2k = 2 · 2k − 1 = 21 · 2k − 1 = 2k+1 − 1
                        2k −1

A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 1.
         ca                                                                 e a



e) n < 2n

i) Testando a propriedade para n = 1:

                                                  1 < 21 ⇒ 1 < 2

P (1) ´ verdadeira.
      e

ii) Hip´tese indutiva – P (k) : k < 2k
       o
Tese – P (k + 1) : k + 1 < 2k+1

Assumindo como verdadeira a hip´tese indutiva temos, k < 2k .
                                o
Multiplicando ambos os lados da desigualdade por 2, obtemos

                                          2k < 2 · 2k ⇒ 2k < 2k+1

Claramente, para k ≥ 1 temos k + 1 ≤ 2k. Ent˜o, k + 1 ≤ 2k < 2k+1 . Logo, k + 1 < 2k+1 .
                                            a

A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 1.
         ca                                                                 e a



f ) 12 − 22 + 32 − 42 + · · · + (−1)n+1 n2 = (−1)n+1 n(n+1)
                                                        2

i) Testando a propriedade para n = 1:

                                                         3
(−1)1+1 · 12 = 12 = 1 = (−1)1+1 1(1+1) = 1 ·
                                                                 2
                                                                                          2
                                                                                          2   =1

P (1) ´ verdadeira.
      e

ii) Hip´tese indutiva – P (k) : 12 − 22 + 32 − 42 + · · · + (−1)k+1 k 2 = (−1)k+1 k(k+1)
       o                                                                             2
Tese – P (k + 1) : 12 − 22 + 32 − 42 + · · · + (−1)k+1 k 2 + (−1)k+2 (k + 1)2 = (−1)k+2 (k+1)(k+2)
                                                                                            2

Assumindo como verdadeira a hip´tese indutiva temos,
                               o

                         12 − 22 + 32 − 42 + · · · + (−1)k+1 k 2 +(−1)k+2 (k + 1)2 =
                                               k(k+1)
                                     (−1)k+1      2

                                                   k(k + 1)
                                         = (−1)k+1          + (−1)k+2 (k + 1)2 =
                                                       2
                                              k(k + 1)
                                    = (−1)k+1           + (−1)(−1)k+1 (k + 1)2 =
                                                 2
                                                                  k
                                                = (−1)k+1 (k + 1)[ − (k + 1)] =
                                                                  2
                                                           k+1          k
                                                    = (−1) (k + 1)[− − 1] =
                                                                        2
                                                                      1
                                               = (−1)k+1 (k + 1)(−1) (k + 2) =
                                                                      2
                                                           (−1)k+2 (k + 1)(k + 2)
                                                         =
                                                                      2
A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 1.
         ca                                                                 e a



4 — Dados a e r dois n´ meros inteiros, r = 1. A sequˆncia a1 = a, a2 = ra, a3 = r2 a, · · · , an =
                         u                           e
rn−1 a, · · · ´ denominada progress˜o geom´trica de raz˜o r. Prove que a soma dos n pri-
              e                    a       e           a
meiros termos de uma progress˜o geom´trica ´:
                                  a      e      e

                                                             rn a − a
                                                     Sn =             .
                                                              r−1
i) Testando a propriedade para n = 1:

                                                        r1 a − a   a(r − 1)
                                       a1 = a =                  =          =a
                                                         r−1        r−1
P (1) ´ verdadeira.
      e

                                                                                 rk a−a
ii) Hip´tese indutiva – P (k) : a + ra + r2 a + · · · + rk−1 a = Sk =
       o                                                                          r−1
                                                                            rk+1 a−a
Tese – P (k + 1) : a + ra + r2 a + · · · + rk−1 a + rk a = Sk+1 =             r−1

Assumindo como verdadeira a hip´tese indutiva temos,
                               o
                                            rk a−a                 rk a−a+(r−1)rk a       rk a−a+rrk a−rk a       −a+rrk a
   a + ra + r2 a + · · · + rk−1 a +rk a =    r−1        + rk a =         r−1          =         r−1           =     r−1      =
               r k a−a
                 r−1
                                                           rk+1 a−a
                                                             r−1

A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 1.
         ca                                                                 e a



5 — Prove que 2n + 1 < 2n para todo n > 3.




                                                              4
i) Testando a propriedade para n = 4:

                                             2 · 4 + 1 < 24 ⇒ 9 < 16

P (4) ´ verdadeira.
      e

ii) Hip´tese indutiva – P (k) : 2k + 1 < 2k
       o
Tese – P (k + 1) : 2(k + 1) + 1 = 2k + 3 < 2( k + 1)

Multiplicando ambos os lados da desigualdade, na hip´tese, obtemos
                                                    o

                                      2(2k + 1) < 2 · 2k ⇒ 4k + 2 < 2k+1 .

Mas, 2k + 3 < 4k + 2 para valores naturais tais que k ≥ 1 (basta resolver a inequa¸˜o). Ent˜o
                                                                                  ca       a

                                            2k + 3 < 4k + 2 < 2k+1 .

Logo,
                                                  2k + 3 < 2k+1 .
A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 4.
         ca                                                                 e a



6 — Seja x um inteiro positivo. Demonstre que:

                                     (1 + x)n > 1 + nx, para todo n ≥ 2.



i) Testando a propriedade para n = 2:

      (1 + x)2 > 1 + 2x ⇒ 1 + 2x + x2 > 1 + 2x ⇒ x2 > 0               todo n´mero elevado ` 2 ´ positivo
                                                                            u             a e

P (2) ´ verdadeira.
      e

ii) Hip´tese indutiva – P (k) : (1 + x)k > 1 + kx
       o
Tese – P (k + 1) : (1 + x)k+1 > 1 + (k + 1)x

Na hip´tese indutiva, multiplicando-se ambos os lados da desiguldade por (1 + x), obt´m-se
      o                                                                              e                     1


(1 + x)(1 + x)k > (1 + x)(1 + kx) ⇒ (1 + x)k+1 > 1 + kx + x + kx2 ⇒ (1 + x)k+1 > 1 + (k + 1)x + kx2

Como kx2 > 0, temos 1 + (k + 1)x < 1 + (k + 1)x + kx2 . Ent˜o
                                                           a

                              1 + (k + 1)x < 1 + (k + 1)x + kx2 < (1 + x)k+1 .

Logo,
                1 + (k + 1)x < (1 + x)k+1 ou, equivalentemente(1 + x)k+1 > 1 + (k + 1)x.
A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 2.
         ca                                                                 e a


  1
    x ´ um inteiro positivo (informado no enunciado), ent˜o (x + 1) ´ tamb´m positivo. Por isso foi poss´ multiplicar
      e                                                  a          e     e                             ıvel
ambos os lados da desigualdade sem se preocupar com a altera¸ao do sinal.
                                                              c˜




                                                         5
7 — Prove que:
                                            1   1             1        n
                                              +    + ··· +          =     .
                                           1·2 2·3         n(n + 1)   n+1
i) Testando a propriedade para n = 1:
                                                       1   1   1    1
                                                          = =     =
                                                      1·2  2  1+1   2
P (1) ´ verdadeira.
      e

                                           1       1               1          k
ii) Hip´tese indutiva – P (k) :
       o                                  1·2   + 2·3 + · · · + k(k+1)   =   k+1
                      1         1                  1             1           k+1
Tese – P (k + 1) :   1·2   +   2·3   + ··· +    k(k+1) + (k+1)(k+2)      =   k+2

Assumindo como verdadeira a hip´tese indutiva temos,
                               o

                                 1   1             1           1
                                   +    + ··· +         +               =
                                1·2 2·3         k(k + 1) (k + 1)(k + 2)
                                                     k
                                                    k+1

                                           k             1          k(k + 2) + 1
                                     =          +               =                 =
                                         k + 1 (k + 1)(k + 2)      (k + 1)(k + 2)
                                             k 2 + 2k + 1       (k + 1)2       k+1
                                         =                 =                =
                                            (k + 1)(k + 2)   (k + 1)(k + 2)    k+2

A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 1.
         ca                                                                 e a



8 — Prove que para qualquer inteiro positivo n o n´ mero 22n − 1 ´ divis´
                                                  u              e      ıvel por 3.

i) Se n = 1, ´ trivial que 22·1 − 1 = 3 ´ div´
             e                          e    ısivel por 3.

ii) Hip´tese indutiva – P (k) : 22k − 1 ´ divis´ por 3, id est, 22k − 1 = 3m, m ∈ Z
       o                                e      ıvel
Tese – P (k + 1) : 22(k+1) − 1 = 22k+2 − 1 ´ divis´
                                            e       ıvel por 3, id est, 22k − 1 = m , m ∈ Z

Multiplicando por 4 ambos os lados da igualdade que representa P (k), temos

                     4 · 22k − 1 = 4 · 3m ⇒ 22 · 22k − 1 = 3(4m) ⇒ 22k+2 − 1 = 3(4m).

4m ´ um n´mero inteiro qualquer, assim como m , ent˜o podemos impor que m = 4m. Obtemos
    e      u                                       a
22k+2 − 1 = 3m .

Logo, para todo inteiro n ≥ 1 o n´mero 22n − 1 ´ divis´ por 3.
                                 u             e      ıvel



10 — Mostre que a soma dos ˆngulos internos de um pol´
                           a                         ıgono convexo com n lados
(n ≥ 3) ´ (n − 2)π.
        e

i) Testando a propriedade para um triˆngulo, i.e., n = 3:
                                     a

                                 Soma dos ˆngulos internos = (3 − 2)π = π = 180◦
                                          a

Claramente, P (3) ´ verdadeira.
                  e

                                            k
ii) Hip´tese indutiva – P (k) :
       o                                    i=1 ϕi   = (k − 2)π.
Tese – P (k + 1) : k+1 ϕi =
                    i=1
                                           k
                                           i=1 ϕi   + ϕk+1 = (k − 1)π.


                                                                  6
Onde ϕ ´ um ˆngulo interno do pol´
       e    a                    ıgono de k lados.

Pela hip´tese indutiva, assumida como verdadeira, conclui-se que o aumento de um lado no pol´
        o                                                                                     ıgono
implica em um aumento de π rad na soma dos ˆngulos internos. Exemplificando, a soma dos ˆngulos
                                                a                                           a
internos de um triˆngulo (n = 3) ´ π rad, de um quadril´tero (n = 4) ´ 2π = π+π rad. Genericamente,
                  a              e                     a             e
              Soma dos ˆngulos internos (k + 1 lados) = π + Soma dos ˆngulos internos (k lados)
                       a                                             a


Temos,
                     k
                          ϕi + ϕk+1 = (k − 2)π + ϕk+1 = (k − 2)π + π = π(k − 2 + 1) = (k − 1)π
                    i=1
                 a                               ıgono convexo com n ≥ 3 lados ´ dado por (n − 2)π.
Logo, a soma dos ˆngulos internos de qualquer pol´                             e


11 — Prove que:
      n
a)         2k = 2n+1 − 2
     k=1
i) Testando a propriedade para n = 1:
                                                21 = 21+1 − 2 = 22 − 2 = 4 − 2 = 2
P (1) ´ verdadeira.
      e
                                               m
ii) Hip´tese indutiva – P (m) :
       o                                           2k = 2m+1 − 2
                                             k=1
                           m+1           m
Tese – P (m + 1) :                2k =         2k + 2m+1 = 2m+2 − 2
                           k=1           k=1
Assumindo como verdadeira a hip´tese indutiva temos,
                               o
                              m
                                   2k + 2m+1 = 2m+1 − 2 + 2m+1 = 2 · 2m+1 − 2 = 2m+2 − 2
                             k=1

A implica¸˜o P (m) ⇒ P (m + 1) foi verificada. Ent˜o P (n) ´ v´lida para n > 0, onde n ´ um inteiro.
         ca                                      a        e a                         e

      n
                   n(n + 1)(2n + 1)
b)         k2 =
                          6
     k=1
i) Testando a propriedade para n = 1:
                                                           1(1 + 1)(1 + 2)  6
                                                    12 =                   = =1
                                                                  6         6
P (1) ´ verdadeira.
      e

                                                m     2    m(m+1)(2m+1)
ii) Hip´tese indutiva – P (m) :
       o                                        k=1 k =         6
Tese – P (m + 1) : m+1 k 2 =
                     k=1
                                                m
                                                k=1 k 2 + (m + 1)2 = (m+1)(m+2)(2m+3)
                                                                            6

Assumindo como verdadeira a hip´tese indutiva temos,
                               o
           m
                                      m(m + 1)(2m + 1)              m(m + 1)(2m + 1) + 6(m + 1)2
                 k 2 + (m + 1)2 =                      + (m + 1)2 =                              =
                                             6                                  6
           k=1

        (m + 1)[m(2m + 1) + 6(m + 1)]     (m + 1)(2m2 + 7m + 6)      (m + 1)(m + 2)(2m + 3)
          =                             =                         =
                      6                             6                           6
A implica¸˜o P (m) ⇒ P (m + 1) foi verificada. Ent˜o P (n) ´ v´lida para n > 0, onde n ´ um inteiro.
         ca                                      a        e a                         e

                                                                   7
n
                  1             n
c)                          =
           (2i − 1)(2i + 1)   2n + 1
     i=1
i) Testando a propriedade para n = 1:
                                           1               1   1    1     1
                                                        =     = =       =
                                 (2 · 1 − 1)(2 · 1 + 1)   1·3  3  2·1+1   3

P (1) ´ verdadeira.
      e

                                        m        1            m
ii) Hip´tese indutiva – P (m) :
       o                                i=1 (2i−1)(2i+1) = 2m+1
                           m+1      1            m        1                      1                   m+1
Tese – P (m + 1) :         i=1 (2i−1)(2i+1) =    i=1 (2i−1)(2i+1)   +   (2(m+1)−1)(2(m+1)+1)   =   2(m+1)+1

Assumindo como verdadeira a hip´tese indutiva temos,
                               o
                   m
                                1                1             m           1
                                         +                 =       +
                         (2i − 1)(2i + 1) (2m + 1)(2m + 3)   2m + 1 (2m + 1)(2m + 3)
                   i=1

                       (2m + 3)m + 1       2m2 + 3m + 1      (m + 1)(2m + 1)    m+1
                  =                    =                  =                  =
                      (2m + 1)(2m + 3)   (2m + 1)(2m + 3)   (2m + 1)(2m + 3)   2m + 3
A implica¸˜o P (m) ⇒ P (m + 1) foi verificada. Ent˜o P (n) ´ v´lida para n > 0, onde n ´ um inteiro.
         ca                                      a        e a                         e


      n
                         n(n + 1)(n + 2)
d)         j(j + 1) =
                                3
     j=1

i) Testando a propriedade para n = 1:

                                                           1(1 + 1)(1 + 2)  6
                                  1(1 + 1) = 1 · 2 = 2 =                   = =2
                                                                  3         3
P (1) ´ verdadeira.
      e

                                           m              m(m+1)(m+2)
ii) Hip´tese indutiva – P (m) :
       o                                   j=1 j(j + 1) =     3
                           m+1                   n                                    (m+1)(m+2)(m+3)
Tese – P (m + 1) :         j=1 j(j   +   1) = j=1 j(j + 1) + (m + 1)(m       + 2) =          3

Assumindo como verdadeira a hip´tese indutiva temos,
                               o
     n
                                             m(m + 1)(m + 2)                    (m + 1)(m + 2)(m + 3)
           j(j + 1) + (m + 1)(m + 2) =                       + (m + 1)(m + 2) =
                                                   3                                      3
     j=1

A implica¸˜o P (m) ⇒ P (m + 1) foi verificada. Ent˜o P (n) ´ v´lida para ∀n ∈ Z
         ca                                      a        e a


      n
e)         (2j − 1) = n2
     j=1

i) Testando a propriedade para n = 1:

                                              (2 · 1 − 1) = 2 − 1 = 1 = 12

P (1) ´ verdadeira.
      e

ii) Hip´tese indutiva – P (m) : m (2j − 1) = m2
       o                        j=1
Tese – P (m + 1) : m+1 (2j − 1) = m (2j − 1) + [2(m + 1) − 1] = (m + 1)2
                     j=1            j=1




                                                           8
Assumindo como verdadeira a hip´tese indutiva temos,
                               o
     m
         (2j − 1) + [2(m + 1) − 1] = m2 + 2(m + 1) − 1 = m2 + 2m + 2 − 1 = m2 + 2m + 1 = (m + 1)2
  j=1

A implica¸˜o P (m) ⇒ P (m + 1) foi verificada. Ent˜o P (n) ´ v´lida para ∀n ∈ Z
         ca                                      a        e a


     n
f)         i(i!) = (n + 1)! − 1
     i=1
i) Testando a propriedade para n = 1:

                                       1(1!) = 1 = 1(1 + 1)! − 1 = 2 − 1 = 1

P (1) ´ verdadeira.
      e

                                        m
ii) Hip´tese indutiva – P (m) :
       o                                i=1 i(i!) = (m + 1)! − 1
Tese – P (m + 1) : m+1 i(i!) =
                     i=1
                                          m
                                          i=1 i(i!) + (m + 1)(m +   1)! = (m + 2)! − 1

Assumindo como verdadeira a hip´tese indutiva temos,
                               o
                         m
                              i(i!) + (m + 1)(m + 1)! = (m + 1)! − 1 + (m + 1)(m + 1)! =
                        i=1

                       = (m + 1)![1 + m + 1] − 1 = (m + 2)(m + 1)! − 1 = (m + 2)! − 1
A implica¸˜o P (m) ⇒ P (m + 1) foi verificada. Ent˜o P (n) ´ v´lida para ∀n ∈ Z
         ca                                      a        e a



12 — Use indu¸˜o para mostrar que um conjunto finito com n elementos possui 2n sub-
             ca
conjuntos:

Nota¸˜o: ℘(A) ´ o conjunto de todos os subconjuntos de A e |A| ´ o n´mero de elementos do conjunto
    ca        e                                                e    u
A.

i) Para o conjunto B = {u}, de um unico conjunto, i.e., |B| = 1 temos que seu conjunto potˆncia ´
                                   ´                                                      e     e
℘(B) = {∅, {u}}. Logo, |℘(B)| = 21 = 2.

Portanto, P (1) ´ v´lida.
                e a

ii) Hip´tese Indutiva – P (n) : Um conjunto de n elementos tem 2n subconjuntos, i.e., |C| = n ⇒
       o
|℘(C)| = 2n .
Tese – P (n+1) : Um conjunto de n+ 1 elementos tem 2n+1 subconjuntos, i.e., |D| = n+ 1 ⇒ |℘(D)| =
2n+1 .

Sem perda de generalidade, supomos que C = {1, 2, 3, 4, · · · , n}, logo |C| = n e D = {1, 2, 3, 4, · · · , n, n+
1}, logo, |D| = n + 1. Ent˜o, D = C ∪ {n + 1}. Pela hip´tese indutiva temos que |℘(C)| = 2n e,
                            a                                   o
sabendo que |℘(D)| = 2|℘(C)| (demonstra¸˜o abaixo), ent˜o, |℘(D)| = 2 · 2n = 2n+1 .
                                           ca                 a
Portanto, P (n) ´ v´lida para todo inteiro n > 0.
                e a

Demonstra¸˜o de |C| = n e |D| = n + 1 ⇒ |℘(D)| = 2|℘(C)|.
         ca

Tomando o conjunto C = {1, 2, · · · , n}. Sendo D = C ∪ {n + 1}. Todos os subconjuntos de D s˜o
                                                                                              a
tamb´m subconjuntos de C. Os demais subconjuntos s˜o obtidos incluindo o elemento {n + 1}. Logo,
    e                                               a
|℘(D)| = 2|℘(C)|.




                                                         9
14 — Prove que para todo n ≥ 9,
                                                         n! ≥ (2n)2 .



i) Testando a propriedade para n = 9:
                      9! ≥ (2 · 9)2 ⇒ 9 · 8 · 7 · 6 · 5 · 4 · 3 · 2 ≥ 4 · 9 · 9 ⇒ 8 · 7 · 6 · 5 · 3 · 2 ≥ 9
Claramente, P (9) ´ verdadeira.
                  e

ii) Hip´tese indutiva – P (k) : k! ≥ (2k)2
       o
Tese – P (k + 1) : (k + 1)! ≥ [2(k + 1)]2 ⇒ (k + 1)! ≥ [2k + 2]2

Multiplicando ambos os lados da desiguladade, na hip´tese indutiva por (k + 1) (pois k + 1 > 0), temos
                                                    o
                                  (k + 1)k! ≥ (2k)2 (k + 1) ⇒ (k + 1)! ≥ 4k 3 + 4k 2 .
Mas, (2k + 2)2 < 4k 3 + 4k 2 para k ∈ Z : k > 1. Ent˜o
                                                    a
 (2k + 2)2 < 4k 3 + 4k 2 ≤ (k + 1)! ⇒ (2k + 2)2 ≤ (k + 1)! ou, equivalentemente, (k + 1)! ≥ (2k + 2)2
A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 1.
         ca                                                                 e a


15 — Prove para todo n > 1,
                                                        n
                                                             1      1
                                                                ≤2−
                                                             i2     n
                                                       i=1



i) Testando a propriedade para n = 1:
                                               1      1
                                                 2
                                                   ≤2− =2−1⇒1≤1
                                               1      1
P (1) ´ verdadeira.
      e

                                          k    1       1
ii) Hip´tese indutiva – P (k) :
       o                                  i=1 i2 ≤ 2 − k
Tese – P (k + 1) : k+1 i1 =
                    i=1 2
                                        k    1      1
                                        i=1 i2 + (k+1)2 ≤     2−     1
                                                                    k+1

               1
Somando      (k+1)2
                      em ambos os lados da hip´tese indutiva, temos
                                              o
                                          k
                                               1       1         1    1
                                                2
                                                  +         2
                                                              ≤2− +
                                               i    (k + 1)      k (k + 1)2
                                         i=1
Para confirmar a tese, precisamos mostrar que
                                     1       1        1
                                 2− +          2
                                                 <2−     .
                                     k (k + 1)       k+1
Resolvendo a equa¸˜o:
                 ca
                 1    1         1      k − (k + 1)2 + (k + 1)       −k 2
                − +        2
                             +     <0⇒                2
                                                              <0⇒           <0
                 k (k + 1)     k+1           k(k + 1)             k(k + 1)2
Como k > 0, o numerador da fra¸˜o ´ negativo e o denominador positivo.
                                 ca e
                      −k2
Portanto, ∀k ∈ Z+ ; k(k+1)2 < 0.
Assim sendo, temos que
         k                                                                       k
              1       1         1    1           1                                   1       1           1
               2
                 +         2
                             <2− +        2
                                            ≤2−     =⇒                                2
                                                                                        +         2
                                                                                                    ≤2−     .
              i    (k + 1)      k (k + 1)       k+1                                  i    (k + 1)       k+1
        i=1                                                                    i=1

Ent˜o, P (n) ´ v´lida para todo inteiro n ≥ 1.
   a         e a




                                                               10

Mais conteúdo relacionado

Mais procurados

Reforço matematica 6º ano
Reforço matematica 6º anoReforço matematica 6º ano
Reforço matematica 6º anoPatricia Rezende
 
Números inteiros relativos multiplicação e divisão
Números inteiros relativos multiplicação e divisãoNúmeros inteiros relativos multiplicação e divisão
Números inteiros relativos multiplicação e divisãoPatriciaLavos
 
Linha do Tempo Matemática
Linha do Tempo MatemáticaLinha do Tempo Matemática
Linha do Tempo MatemáticaPatricia
 
Ponto de máximo e ponto de mínimo
Ponto de máximo e ponto de mínimoPonto de máximo e ponto de mínimo
Ponto de máximo e ponto de mínimodeserradosalitre
 
Exercícios - Princípio da Indução Finita (PIF)
Exercícios - Princípio da Indução Finita (PIF)Exercícios - Princípio da Indução Finita (PIF)
Exercícios - Princípio da Indução Finita (PIF)Rodrigo Thiago Passos Silva
 
Avaliação de Matemática do 6º ano
Avaliação de Matemática do 6º ano Avaliação de Matemática do 6º ano
Avaliação de Matemática do 6º ano Marcela Chinoti
 
Lista de Exercícios 2 – Números Inteiros
Lista de Exercícios 2 – Números InteirosLista de Exercícios 2 – Números Inteiros
Lista de Exercícios 2 – Números InteirosEverton Moraes
 
Exercícios Resolvidos - Domínios de funções; Injetividade;Composta;Inversa
Exercícios Resolvidos - Domínios de funções; Injetividade;Composta;InversaExercícios Resolvidos - Domínios de funções; Injetividade;Composta;Inversa
Exercícios Resolvidos - Domínios de funções; Injetividade;Composta;Inversanumerosnamente
 
Teoria das Categorias: Uma introdução
Teoria das Categorias: Uma introduçãoTeoria das Categorias: Uma introdução
Teoria das Categorias: Uma introduçãoCarlos Campani
 
Exercicio regra de sinais 2
Exercicio regra de sinais 2Exercicio regra de sinais 2
Exercicio regra de sinais 2Jodiléia Dutra
 
PROVA DOS NOVES FORA
PROVA DOS NOVES FORAPROVA DOS NOVES FORA
PROVA DOS NOVES FORAJonasblog
 
9 ano ficha_diagnostico_11_12_v1
9 ano ficha_diagnostico_11_12_v19 ano ficha_diagnostico_11_12_v1
9 ano ficha_diagnostico_11_12_v1Yolanda Maria
 
9ano sug atividades_unid_3
9ano sug atividades_unid_39ano sug atividades_unid_3
9ano sug atividades_unid_3Erivaldo Duarte
 
Aula Sobre BinôMio De Newton
Aula Sobre BinôMio De NewtonAula Sobre BinôMio De Newton
Aula Sobre BinôMio De Newtonandre alcantara
 
Análise para licenciatura g,ávila completo.pdf
Análise para  licenciatura g,ávila completo.pdfAnálise para  licenciatura g,ávila completo.pdf
Análise para licenciatura g,ávila completo.pdfAntonio Batista Mota
 
gramatica os adjetivos
gramatica os adjetivosgramatica os adjetivos
gramatica os adjetivosTatiana Cruz
 

Mais procurados (20)

Reforço matematica 6º ano
Reforço matematica 6º anoReforço matematica 6º ano
Reforço matematica 6º ano
 
Números inteiros relativos multiplicação e divisão
Números inteiros relativos multiplicação e divisãoNúmeros inteiros relativos multiplicação e divisão
Números inteiros relativos multiplicação e divisão
 
Linha do Tempo Matemática
Linha do Tempo MatemáticaLinha do Tempo Matemática
Linha do Tempo Matemática
 
Ponto de máximo e ponto de mínimo
Ponto de máximo e ponto de mínimoPonto de máximo e ponto de mínimo
Ponto de máximo e ponto de mínimo
 
Sequencias e series calculo
Sequencias e series   calculoSequencias e series   calculo
Sequencias e series calculo
 
Exercícios - Princípio da Indução Finita (PIF)
Exercícios - Princípio da Indução Finita (PIF)Exercícios - Princípio da Indução Finita (PIF)
Exercícios - Princípio da Indução Finita (PIF)
 
Avaliação de Matemática do 6º ano
Avaliação de Matemática do 6º ano Avaliação de Matemática do 6º ano
Avaliação de Matemática do 6º ano
 
Lista de Exercícios 2 – Números Inteiros
Lista de Exercícios 2 – Números InteirosLista de Exercícios 2 – Números Inteiros
Lista de Exercícios 2 – Números Inteiros
 
Exercícios Resolvidos - Domínios de funções; Injetividade;Composta;Inversa
Exercícios Resolvidos - Domínios de funções; Injetividade;Composta;InversaExercícios Resolvidos - Domínios de funções; Injetividade;Composta;Inversa
Exercícios Resolvidos - Domínios de funções; Injetividade;Composta;Inversa
 
Teoria das Categorias: Uma introdução
Teoria das Categorias: Uma introduçãoTeoria das Categorias: Uma introdução
Teoria das Categorias: Uma introdução
 
Exercicio regra de sinais 2
Exercicio regra de sinais 2Exercicio regra de sinais 2
Exercicio regra de sinais 2
 
PROVA DOS NOVES FORA
PROVA DOS NOVES FORAPROVA DOS NOVES FORA
PROVA DOS NOVES FORA
 
9 ano ficha_diagnostico_11_12_v1
9 ano ficha_diagnostico_11_12_v19 ano ficha_diagnostico_11_12_v1
9 ano ficha_diagnostico_11_12_v1
 
Números complexos
Números complexosNúmeros complexos
Números complexos
 
Lista 1 - FUV - Resolução
Lista 1 - FUV - ResoluçãoLista 1 - FUV - Resolução
Lista 1 - FUV - Resolução
 
9ano sug atividades_unid_3
9ano sug atividades_unid_39ano sug atividades_unid_3
9ano sug atividades_unid_3
 
6º ano - mmc e mdc
6º ano - mmc e mdc6º ano - mmc e mdc
6º ano - mmc e mdc
 
Aula Sobre BinôMio De Newton
Aula Sobre BinôMio De NewtonAula Sobre BinôMio De Newton
Aula Sobre BinôMio De Newton
 
Análise para licenciatura g,ávila completo.pdf
Análise para  licenciatura g,ávila completo.pdfAnálise para  licenciatura g,ávila completo.pdf
Análise para licenciatura g,ávila completo.pdf
 
gramatica os adjetivos
gramatica os adjetivosgramatica os adjetivos
gramatica os adjetivos
 

Destaque

Matemática Discreta - Parte III definicoes indutivas
Matemática Discreta - Parte III definicoes indutivasMatemática Discreta - Parte III definicoes indutivas
Matemática Discreta - Parte III definicoes indutivasUlrich Schiel
 
Como calcular a média do ENEM para ingresso na UFABC?
Como calcular a média do ENEM para ingresso na UFABC?Como calcular a média do ENEM para ingresso na UFABC?
Como calcular a média do ENEM para ingresso na UFABC?Rodrigo Thiago Passos Silva
 
Seqüência de Fibonacci - Aspectos Matemáticos
Seqüência de Fibonacci - Aspectos MatemáticosSeqüência de Fibonacci - Aspectos Matemáticos
Seqüência de Fibonacci - Aspectos MatemáticosRodrigo Thiago Passos Silva
 
Analise real
Analise realAnalise real
Analise realDelerre
 
Matemática Discreta - Parte VI funções
Matemática Discreta - Parte VI funçõesMatemática Discreta - Parte VI funções
Matemática Discreta - Parte VI funçõesUlrich Schiel
 

Destaque (20)

Questões - Bases Matemáticas
Questões - Bases MatemáticasQuestões - Bases Matemáticas
Questões - Bases Matemáticas
 
Matemática Discreta - Parte III definicoes indutivas
Matemática Discreta - Parte III definicoes indutivasMatemática Discreta - Parte III definicoes indutivas
Matemática Discreta - Parte III definicoes indutivas
 
Sensor de Campo Magnético
Sensor de Campo MagnéticoSensor de Campo Magnético
Sensor de Campo Magnético
 
Redes de Primeira Ordem
Redes de Primeira OrdemRedes de Primeira Ordem
Redes de Primeira Ordem
 
Por que "menos com menos dá mais"?
Por que "menos com menos dá mais"?Por que "menos com menos dá mais"?
Por que "menos com menos dá mais"?
 
Resumo - Álgebra Linear
Resumo - Álgebra LinearResumo - Álgebra Linear
Resumo - Álgebra Linear
 
Como calcular a média do ENEM para ingresso na UFABC?
Como calcular a média do ENEM para ingresso na UFABC?Como calcular a média do ENEM para ingresso na UFABC?
Como calcular a média do ENEM para ingresso na UFABC?
 
Relatório - Desenho e Projeto
Relatório - Desenho e ProjetoRelatório - Desenho e Projeto
Relatório - Desenho e Projeto
 
1 = 0,999...
1 = 0,999...1 = 0,999...
1 = 0,999...
 
Identidade de Euler - Demonstração
Identidade de Euler - DemonstraçãoIdentidade de Euler - Demonstração
Identidade de Euler - Demonstração
 
Seqüência de Fibonacci - Aspectos Matemáticos
Seqüência de Fibonacci - Aspectos MatemáticosSeqüência de Fibonacci - Aspectos Matemáticos
Seqüência de Fibonacci - Aspectos Matemáticos
 
Demonstração da equação de Bhaskara
Demonstração da equação de BhaskaraDemonstração da equação de Bhaskara
Demonstração da equação de Bhaskara
 
Cálculo do imposto de renda
Cálculo do imposto de rendaCálculo do imposto de renda
Cálculo do imposto de renda
 
Lista 8 - Geometria Analítica - Resolução
Lista 8 - Geometria Analítica - ResoluçãoLista 8 - Geometria Analítica - Resolução
Lista 8 - Geometria Analítica - Resolução
 
Lista 4 - Resolução
Lista 4 - ResoluçãoLista 4 - Resolução
Lista 4 - Resolução
 
Lista 0 - Bases Matemáticas
Lista 0 - Bases MatemáticasLista 0 - Bases Matemáticas
Lista 0 - Bases Matemáticas
 
Demonstrações
DemonstraçõesDemonstrações
Demonstrações
 
Lista 2 - FUV - Resolução
Lista 2   - FUV - ResoluçãoLista 2   - FUV - Resolução
Lista 2 - FUV - Resolução
 
Analise real
Analise realAnalise real
Analise real
 
Matemática Discreta - Parte VI funções
Matemática Discreta - Parte VI funçõesMatemática Discreta - Parte VI funções
Matemática Discreta - Parte VI funções
 

Semelhante a Lista 3 - Bases Matemáticas - Indução

Semelhante a Lista 3 - Bases Matemáticas - Indução (20)

Ativ jaime
Ativ jaimeAtiv jaime
Ativ jaime
 
FUNÇÕES GERADORAS
FUNÇÕES GERADORASFUNÇÕES GERADORAS
FUNÇÕES GERADORAS
 
Aula N02
Aula N02Aula N02
Aula N02
 
A3 me
A3 meA3 me
A3 me
 
Potenciação
Potenciação Potenciação
Potenciação
 
Ufba12mat2
Ufba12mat2Ufba12mat2
Ufba12mat2
 
Mat em progressoes geometricas sol vol2 cap1
Mat em progressoes geometricas sol vol2 cap1Mat em progressoes geometricas sol vol2 cap1
Mat em progressoes geometricas sol vol2 cap1
 
Demonstrações
DemonstraçõesDemonstrações
Demonstrações
 
áLgebra cn lista_gabarito
áLgebra cn lista_gabaritoáLgebra cn lista_gabarito
áLgebra cn lista_gabarito
 
Gabarito pa
Gabarito paGabarito pa
Gabarito pa
 
Correção do exame nacional
Correção do exame nacionalCorreção do exame nacional
Correção do exame nacional
 
Ufba11mat2
Ufba11mat2Ufba11mat2
Ufba11mat2
 
Mat em geometria sol vol6 cap1
Mat em geometria sol vol6 cap1Mat em geometria sol vol6 cap1
Mat em geometria sol vol6 cap1
 
04 pa e pg
04 pa e pg04 pa e pg
04 pa e pg
 
Gerando triângulos pitagóricos
Gerando triângulos pitagóricosGerando triângulos pitagóricos
Gerando triângulos pitagóricos
 
Exercicios resolvidos
Exercicios resolvidosExercicios resolvidos
Exercicios resolvidos
 
Teoria do números - Classificações especiais
Teoria do números - Classificações especiaisTeoria do números - Classificações especiais
Teoria do números - Classificações especiais
 
Ea02 alunos
Ea02 alunosEa02 alunos
Ea02 alunos
 
Prova p1 calc4_2011_2_eng
Prova p1 calc4_2011_2_engProva p1 calc4_2011_2_eng
Prova p1 calc4_2011_2_eng
 
Uma questão espetacular
Uma questão espetacularUma questão espetacular
Uma questão espetacular
 

Mais de Rodrigo Thiago Passos Silva

Exercício - Torre de Resfriamento - Termodinâmica
Exercício - Torre de Resfriamento - TermodinâmicaExercício - Torre de Resfriamento - Termodinâmica
Exercício - Torre de Resfriamento - TermodinâmicaRodrigo Thiago Passos Silva
 
Necessidades de P&D na área industrial de Vinhaça
Necessidades de P&D na área industrial de VinhaçaNecessidades de P&D na área industrial de Vinhaça
Necessidades de P&D na área industrial de VinhaçaRodrigo Thiago Passos Silva
 

Mais de Rodrigo Thiago Passos Silva (18)

Recompra de Energia - Demonstração
Recompra de Energia - DemonstraçãoRecompra de Energia - Demonstração
Recompra de Energia - Demonstração
 
Exercício sobre Pré-Imagem
Exercício sobre Pré-ImagemExercício sobre Pré-Imagem
Exercício sobre Pré-Imagem
 
Demonstração - Propriedade de módulo
Demonstração - Propriedade de móduloDemonstração - Propriedade de módulo
Demonstração - Propriedade de módulo
 
Newton e Leibniz
Newton e LeibnizNewton e Leibniz
Newton e Leibniz
 
Petróleos ultra-pesados - Apresentação
Petróleos ultra-pesados - ApresentaçãoPetróleos ultra-pesados - Apresentação
Petróleos ultra-pesados - Apresentação
 
Petróleos ultra-pesados
Petróleos ultra-pesadosPetróleos ultra-pesados
Petróleos ultra-pesados
 
Tensão média e tensão eficaz
Tensão média e tensão eficazTensão média e tensão eficaz
Tensão média e tensão eficaz
 
Exercício - Torre de Resfriamento - Termodinâmica
Exercício - Torre de Resfriamento - TermodinâmicaExercício - Torre de Resfriamento - Termodinâmica
Exercício - Torre de Resfriamento - Termodinâmica
 
Demonstração do binômio de Newton
Demonstração do binômio de NewtonDemonstração do binômio de Newton
Demonstração do binômio de Newton
 
Formulário - Estatística
Formulário - EstatísticaFormulário - Estatística
Formulário - Estatística
 
Limite de função de duas variáveis
Limite de função de duas variáveisLimite de função de duas variáveis
Limite de função de duas variáveis
 
Necessidades de P&D na área industrial de Vinhaça
Necessidades de P&D na área industrial de VinhaçaNecessidades de P&D na área industrial de Vinhaça
Necessidades de P&D na área industrial de Vinhaça
 
Exercícios de Geometria Analítica
Exercícios de Geometria AnalíticaExercícios de Geometria Analítica
Exercícios de Geometria Analítica
 
Esboço - Gráfico de Função
Esboço - Gráfico de FunçãoEsboço - Gráfico de Função
Esboço - Gráfico de Função
 
1+1=2
1+1=21+1=2
1+1=2
 
Lista 3 - Geometria Analítica
Lista 3   - Geometria AnalíticaLista 3   - Geometria Analítica
Lista 3 - Geometria Analítica
 
Matriz inversa
Matriz inversaMatriz inversa
Matriz inversa
 
Apresentação - Desenho e Projeto
Apresentação - Desenho e ProjetoApresentação - Desenho e Projeto
Apresentação - Desenho e Projeto
 

Lista 3 - Bases Matemáticas - Indução

  • 1. ´ LISTA 3 - BASES MATEMATICAS Resolu¸˜o ca Indu¸˜o ca 1 — Calcule: a) A soma dos n primeiros pares. Os n´meros pares formam uma progress˜o aritm´tica de raz˜o 2: (0, 2, 4, 6, 8, 10, · · · ) u a e a O termo geral dessa PA pode ser obtido pela equa¸˜o an = a1 + (n − 1)r, onde an ´ o n-´simo valor, ca e e a1 ´ o primeiro e r a raz˜o. O n-´simo termo (termo geral) ´, ent˜o, an = 0 + 2(n − 1) = 2n − 2. A e a e e a progress˜o aritm´tica pode ser representada como a e (0, 2, 4, 6, 8, 10, · · · , 2n − 2). n(a1 +an ) A soma dos n primeiros termos de uma progress˜o artim´tica ´ obtida por meio de Sn = a e e 2 . Ent˜o, a soma dos n primeiros pares ´ a e n(0 + 2n − 2) 2n(n − 1) Spares = = = n(n − 1) 2 2 b) A soma dos n primeiros ´ ımpares. Os n´meros ´ u ımpares formam uma progress˜o artim´tica de raz˜o 2: (1, 3, 5, 7, 9, · · · ) a e a O n-´simo termo ´ an = 1 + 2(n − 1) = 2n − 1. A soma dos n primeiros termos ´, ent˜o e e e a n(1 + 2n − 1) n(2n) 2n2 Simpares = = = = n2 2 2 2 2 — Prove que para todo inteiro positivo n vale: n(2n+1)(n+1) 12 + 2 2 + 3 2 + · · · + n2 = 6 . i) Testando a propriedade para n = 1: 1(2·1+1)(1+1 1·3·2 12 = 6 = 6 =1 P(1) ´ verdadeira. e ii) Hip´tese indutiva – P (k) : 12 + 22 + 32 + · · · + k 2 = k(2k+1)(k+1) o 6 Tese – P (k + 1) : 12 + 22 + 32 + · · · + k 2 + (k + 1)2 = (k+1)(2(k+1)+1)((k+1)+1) = (k+1)(2k+3)(k+2) 6 6 Assumindo como verdadeira a hip´tese indutiva temos, o k(2k+1)(k+1) k(2k+1)(k+1)+6(k+1)2 12 + 22 + 32 + · · · + k 2 +(k + 1)2 = 6 + (k + 1)2 = 6 = k(2k+1)(k+1) 6 3 (k+1)[k(2k+1)+6(k+1)] (k+1)(2k2 +7k+6) (k+1)2(k+2)(k+ 2 ) (k+1)(k+2)(2k+3) 6 = 6 = 6 = 6 A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 1. ca e a 1
  • 2. Nota: Polinˆmios, ou seja, express˜es do tipo P (x) = an xn + an−1 xn−1 + · · · + a2 x2 + a1 x + a0 podem o o ser reescritas como P (x) = an (x − rn )(x − rn−1 ) · · · (x − r2 )(x − r1 ), onde rn , rn−1 , · · · , r1 s˜o zeros do a polinˆmio. o 3 — Demonstre que para todo inteiro positivo n vale: 1 2 a) 13 + 23 + · · · + n3 = 2 n(n + 1) i) Testando a propriedade para n = 1: 1 2 1 2 13 = 2 · 1(1 + 1) = 2 ·2 = 12 = 1 P (1) ´ verdadeira. e 2 ii) Hip´tese indutiva – P (k) : 13 + 23 + · · · + k 3 = 1 k(k + 1) o 2 1 2 1 2 Tese – P (k + 1) : 13 + 23 + · · · + k 3 + (k + 1)3 = 2 (k + 1)((k + 1) + 1) = 2 (k + 1)(k + 2) Assumindo como verdadeira a hip´tese indutiva temos, o 2 13 + 23 + · · · + k 3 +(k + 1)3 = 1 2 k(k + 1) + (k + 1)3 = 1 k 2 (k + 1)2 + (k + 1)3 = 4 2 ( 1 k(k+1)) 2 1 2 1 2 1 1 2 (k + 1)2 4 k + (k + 1) = (k + 1) 2 4k + k + 1 = (k + 1)2 4 (k + 2)2 = 2 (k + 1)(k + 2) A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 1. ca e a b) 1 + 2( 2 ) + 3( 1 )2 + · · · + n( 1 )n−1 = 4 − 1 2 2 n+2 2n−1 i) Testando a propriedade para n = 1: 1+2 3 1=4− 21−1 =4− 1 =4−3=1 P (1) ´ verdadeira. e ii) Hip´tese indutiva – P (k) : 1 + 2( 1 ) + 3( 1 )2 + · · · + k( 1 )k−1 = 4 − o 2 2 2 k+2 2k−1 (k+1)+2 Tese – P (k + 1) : 1 + 2( 1 ) + 3( 1 )2 + · · · + k( 1 )k−1 + (k + 1)( 2 )k = 4 2 2 2 1 − 2(k+1)−1 =4− k+3 2k Assumindo como verdadeira a hip´tese indutiva temos, o 1 1 1 1 + 2( ) + 3( )2 + · · · + k( )k−1 +(k + 1)( 2 )k = 4 − 1 k+2 2k−1 + (k + 1)( 1 )k = 4 − 2 k+2 2k + (k + 1)( 21 ) = k 2 2 2 2 k+2 4− 2k−1 −2k−4 −2k−4+k+1 −k−3 4+ 2k + ( k+1 ) = 4 + 2k 2k =4+ 2k =4− k+3 2k A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 1. ca e a c) (1 − 1 )(1 − 1 ) · · · (1 − 2 3 1 n+1 ) = 1 n+1 i) Testando a propriedade para n = 1: 1 1 1 1− 2 = 2 = 1+1 2
  • 3. P (1) ´ verdadeira. e ii) Hip´tese indutiva – P (k) : (1 − 1 )(1 − 1 ) · · · (1 − k+1 ) = k+1 o 2 3 1 1 1 1 1 1 1 Tese – P (k + 1) : (1 − 2 )(1 − 3 ) · · · (1 − k+1 )(1 − k+2 ) = k+2 Assumindo como verdadeira a hip´tese indutiva temos, o 1 1 1 1 1 1 (1 − )(1 − ) · · · (1 − )(1 − k+2 ) = ( k+1 )(1 − k+2 ) = ( k+1 )( k+2−1 ) = ( k+1 )( k+2 ) = 1 k+2 1 k+1 1 k+2 2 3 k+1 1 k+1 A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 1. ca e a d) 1 + 2 + 22 + · · · + 2n−1 = 2n − 1 i) Testando a propriedade para n = 1: 21−1 = 20 = 1 = 21 − 1 = 2 − 1 = 1 P (1) ´ verdadeira. e ii) Hip´tese indutiva – P (k) : 1 + 2 + 22 + · · · + 2k−1 = 2k − 1 o Tese – P (k + 1) : 1 + 2 + 22 + · · · + 2k−1 + 2k = 2k+1 − 1 Assumindo como verdadeira a hip´tese indutiva temos, o 1 + 2 + 22 + · · · + 2k−1 +2k = 2k − 1 + 2k = 2 · 2k − 1 = 21 · 2k − 1 = 2k+1 − 1 2k −1 A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 1. ca e a e) n < 2n i) Testando a propriedade para n = 1: 1 < 21 ⇒ 1 < 2 P (1) ´ verdadeira. e ii) Hip´tese indutiva – P (k) : k < 2k o Tese – P (k + 1) : k + 1 < 2k+1 Assumindo como verdadeira a hip´tese indutiva temos, k < 2k . o Multiplicando ambos os lados da desigualdade por 2, obtemos 2k < 2 · 2k ⇒ 2k < 2k+1 Claramente, para k ≥ 1 temos k + 1 ≤ 2k. Ent˜o, k + 1 ≤ 2k < 2k+1 . Logo, k + 1 < 2k+1 . a A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 1. ca e a f ) 12 − 22 + 32 − 42 + · · · + (−1)n+1 n2 = (−1)n+1 n(n+1) 2 i) Testando a propriedade para n = 1: 3
  • 4. (−1)1+1 · 12 = 12 = 1 = (−1)1+1 1(1+1) = 1 · 2 2 2 =1 P (1) ´ verdadeira. e ii) Hip´tese indutiva – P (k) : 12 − 22 + 32 − 42 + · · · + (−1)k+1 k 2 = (−1)k+1 k(k+1) o 2 Tese – P (k + 1) : 12 − 22 + 32 − 42 + · · · + (−1)k+1 k 2 + (−1)k+2 (k + 1)2 = (−1)k+2 (k+1)(k+2) 2 Assumindo como verdadeira a hip´tese indutiva temos, o 12 − 22 + 32 − 42 + · · · + (−1)k+1 k 2 +(−1)k+2 (k + 1)2 = k(k+1) (−1)k+1 2 k(k + 1) = (−1)k+1 + (−1)k+2 (k + 1)2 = 2 k(k + 1) = (−1)k+1 + (−1)(−1)k+1 (k + 1)2 = 2 k = (−1)k+1 (k + 1)[ − (k + 1)] = 2 k+1 k = (−1) (k + 1)[− − 1] = 2 1 = (−1)k+1 (k + 1)(−1) (k + 2) = 2 (−1)k+2 (k + 1)(k + 2) = 2 A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 1. ca e a 4 — Dados a e r dois n´ meros inteiros, r = 1. A sequˆncia a1 = a, a2 = ra, a3 = r2 a, · · · , an = u e rn−1 a, · · · ´ denominada progress˜o geom´trica de raz˜o r. Prove que a soma dos n pri- e a e a meiros termos de uma progress˜o geom´trica ´: a e e rn a − a Sn = . r−1 i) Testando a propriedade para n = 1: r1 a − a a(r − 1) a1 = a = = =a r−1 r−1 P (1) ´ verdadeira. e rk a−a ii) Hip´tese indutiva – P (k) : a + ra + r2 a + · · · + rk−1 a = Sk = o r−1 rk+1 a−a Tese – P (k + 1) : a + ra + r2 a + · · · + rk−1 a + rk a = Sk+1 = r−1 Assumindo como verdadeira a hip´tese indutiva temos, o rk a−a rk a−a+(r−1)rk a rk a−a+rrk a−rk a −a+rrk a a + ra + r2 a + · · · + rk−1 a +rk a = r−1 + rk a = r−1 = r−1 = r−1 = r k a−a r−1 rk+1 a−a r−1 A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 1. ca e a 5 — Prove que 2n + 1 < 2n para todo n > 3. 4
  • 5. i) Testando a propriedade para n = 4: 2 · 4 + 1 < 24 ⇒ 9 < 16 P (4) ´ verdadeira. e ii) Hip´tese indutiva – P (k) : 2k + 1 < 2k o Tese – P (k + 1) : 2(k + 1) + 1 = 2k + 3 < 2( k + 1) Multiplicando ambos os lados da desigualdade, na hip´tese, obtemos o 2(2k + 1) < 2 · 2k ⇒ 4k + 2 < 2k+1 . Mas, 2k + 3 < 4k + 2 para valores naturais tais que k ≥ 1 (basta resolver a inequa¸˜o). Ent˜o ca a 2k + 3 < 4k + 2 < 2k+1 . Logo, 2k + 3 < 2k+1 . A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 4. ca e a 6 — Seja x um inteiro positivo. Demonstre que: (1 + x)n > 1 + nx, para todo n ≥ 2. i) Testando a propriedade para n = 2: (1 + x)2 > 1 + 2x ⇒ 1 + 2x + x2 > 1 + 2x ⇒ x2 > 0 todo n´mero elevado ` 2 ´ positivo u a e P (2) ´ verdadeira. e ii) Hip´tese indutiva – P (k) : (1 + x)k > 1 + kx o Tese – P (k + 1) : (1 + x)k+1 > 1 + (k + 1)x Na hip´tese indutiva, multiplicando-se ambos os lados da desiguldade por (1 + x), obt´m-se o e 1 (1 + x)(1 + x)k > (1 + x)(1 + kx) ⇒ (1 + x)k+1 > 1 + kx + x + kx2 ⇒ (1 + x)k+1 > 1 + (k + 1)x + kx2 Como kx2 > 0, temos 1 + (k + 1)x < 1 + (k + 1)x + kx2 . Ent˜o a 1 + (k + 1)x < 1 + (k + 1)x + kx2 < (1 + x)k+1 . Logo, 1 + (k + 1)x < (1 + x)k+1 ou, equivalentemente(1 + x)k+1 > 1 + (k + 1)x. A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 2. ca e a 1 x ´ um inteiro positivo (informado no enunciado), ent˜o (x + 1) ´ tamb´m positivo. Por isso foi poss´ multiplicar e a e e ıvel ambos os lados da desigualdade sem se preocupar com a altera¸ao do sinal. c˜ 5
  • 6. 7 — Prove que: 1 1 1 n + + ··· + = . 1·2 2·3 n(n + 1) n+1 i) Testando a propriedade para n = 1: 1 1 1 1 = = = 1·2 2 1+1 2 P (1) ´ verdadeira. e 1 1 1 k ii) Hip´tese indutiva – P (k) : o 1·2 + 2·3 + · · · + k(k+1) = k+1 1 1 1 1 k+1 Tese – P (k + 1) : 1·2 + 2·3 + ··· + k(k+1) + (k+1)(k+2) = k+2 Assumindo como verdadeira a hip´tese indutiva temos, o 1 1 1 1 + + ··· + + = 1·2 2·3 k(k + 1) (k + 1)(k + 2) k k+1 k 1 k(k + 2) + 1 = + = = k + 1 (k + 1)(k + 2) (k + 1)(k + 2) k 2 + 2k + 1 (k + 1)2 k+1 = = = (k + 1)(k + 2) (k + 1)(k + 2) k+2 A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 1. ca e a 8 — Prove que para qualquer inteiro positivo n o n´ mero 22n − 1 ´ divis´ u e ıvel por 3. i) Se n = 1, ´ trivial que 22·1 − 1 = 3 ´ div´ e e ısivel por 3. ii) Hip´tese indutiva – P (k) : 22k − 1 ´ divis´ por 3, id est, 22k − 1 = 3m, m ∈ Z o e ıvel Tese – P (k + 1) : 22(k+1) − 1 = 22k+2 − 1 ´ divis´ e ıvel por 3, id est, 22k − 1 = m , m ∈ Z Multiplicando por 4 ambos os lados da igualdade que representa P (k), temos 4 · 22k − 1 = 4 · 3m ⇒ 22 · 22k − 1 = 3(4m) ⇒ 22k+2 − 1 = 3(4m). 4m ´ um n´mero inteiro qualquer, assim como m , ent˜o podemos impor que m = 4m. Obtemos e u a 22k+2 − 1 = 3m . Logo, para todo inteiro n ≥ 1 o n´mero 22n − 1 ´ divis´ por 3. u e ıvel 10 — Mostre que a soma dos ˆngulos internos de um pol´ a ıgono convexo com n lados (n ≥ 3) ´ (n − 2)π. e i) Testando a propriedade para um triˆngulo, i.e., n = 3: a Soma dos ˆngulos internos = (3 − 2)π = π = 180◦ a Claramente, P (3) ´ verdadeira. e k ii) Hip´tese indutiva – P (k) : o i=1 ϕi = (k − 2)π. Tese – P (k + 1) : k+1 ϕi = i=1 k i=1 ϕi + ϕk+1 = (k − 1)π. 6
  • 7. Onde ϕ ´ um ˆngulo interno do pol´ e a ıgono de k lados. Pela hip´tese indutiva, assumida como verdadeira, conclui-se que o aumento de um lado no pol´ o ıgono implica em um aumento de π rad na soma dos ˆngulos internos. Exemplificando, a soma dos ˆngulos a a internos de um triˆngulo (n = 3) ´ π rad, de um quadril´tero (n = 4) ´ 2π = π+π rad. Genericamente, a e a e Soma dos ˆngulos internos (k + 1 lados) = π + Soma dos ˆngulos internos (k lados) a a Temos, k ϕi + ϕk+1 = (k − 2)π + ϕk+1 = (k − 2)π + π = π(k − 2 + 1) = (k − 1)π i=1 a ıgono convexo com n ≥ 3 lados ´ dado por (n − 2)π. Logo, a soma dos ˆngulos internos de qualquer pol´ e 11 — Prove que: n a) 2k = 2n+1 − 2 k=1 i) Testando a propriedade para n = 1: 21 = 21+1 − 2 = 22 − 2 = 4 − 2 = 2 P (1) ´ verdadeira. e m ii) Hip´tese indutiva – P (m) : o 2k = 2m+1 − 2 k=1 m+1 m Tese – P (m + 1) : 2k = 2k + 2m+1 = 2m+2 − 2 k=1 k=1 Assumindo como verdadeira a hip´tese indutiva temos, o m 2k + 2m+1 = 2m+1 − 2 + 2m+1 = 2 · 2m+1 − 2 = 2m+2 − 2 k=1 A implica¸˜o P (m) ⇒ P (m + 1) foi verificada. Ent˜o P (n) ´ v´lida para n > 0, onde n ´ um inteiro. ca a e a e n n(n + 1)(2n + 1) b) k2 = 6 k=1 i) Testando a propriedade para n = 1: 1(1 + 1)(1 + 2) 6 12 = = =1 6 6 P (1) ´ verdadeira. e m 2 m(m+1)(2m+1) ii) Hip´tese indutiva – P (m) : o k=1 k = 6 Tese – P (m + 1) : m+1 k 2 = k=1 m k=1 k 2 + (m + 1)2 = (m+1)(m+2)(2m+3) 6 Assumindo como verdadeira a hip´tese indutiva temos, o m m(m + 1)(2m + 1) m(m + 1)(2m + 1) + 6(m + 1)2 k 2 + (m + 1)2 = + (m + 1)2 = = 6 6 k=1 (m + 1)[m(2m + 1) + 6(m + 1)] (m + 1)(2m2 + 7m + 6) (m + 1)(m + 2)(2m + 3) = = = 6 6 6 A implica¸˜o P (m) ⇒ P (m + 1) foi verificada. Ent˜o P (n) ´ v´lida para n > 0, onde n ´ um inteiro. ca a e a e 7
  • 8. n 1 n c) = (2i − 1)(2i + 1) 2n + 1 i=1 i) Testando a propriedade para n = 1: 1 1 1 1 1 = = = = (2 · 1 − 1)(2 · 1 + 1) 1·3 3 2·1+1 3 P (1) ´ verdadeira. e m 1 m ii) Hip´tese indutiva – P (m) : o i=1 (2i−1)(2i+1) = 2m+1 m+1 1 m 1 1 m+1 Tese – P (m + 1) : i=1 (2i−1)(2i+1) = i=1 (2i−1)(2i+1) + (2(m+1)−1)(2(m+1)+1) = 2(m+1)+1 Assumindo como verdadeira a hip´tese indutiva temos, o m 1 1 m 1 + = + (2i − 1)(2i + 1) (2m + 1)(2m + 3) 2m + 1 (2m + 1)(2m + 3) i=1 (2m + 3)m + 1 2m2 + 3m + 1 (m + 1)(2m + 1) m+1 = = = = (2m + 1)(2m + 3) (2m + 1)(2m + 3) (2m + 1)(2m + 3) 2m + 3 A implica¸˜o P (m) ⇒ P (m + 1) foi verificada. Ent˜o P (n) ´ v´lida para n > 0, onde n ´ um inteiro. ca a e a e n n(n + 1)(n + 2) d) j(j + 1) = 3 j=1 i) Testando a propriedade para n = 1: 1(1 + 1)(1 + 2) 6 1(1 + 1) = 1 · 2 = 2 = = =2 3 3 P (1) ´ verdadeira. e m m(m+1)(m+2) ii) Hip´tese indutiva – P (m) : o j=1 j(j + 1) = 3 m+1 n (m+1)(m+2)(m+3) Tese – P (m + 1) : j=1 j(j + 1) = j=1 j(j + 1) + (m + 1)(m + 2) = 3 Assumindo como verdadeira a hip´tese indutiva temos, o n m(m + 1)(m + 2) (m + 1)(m + 2)(m + 3) j(j + 1) + (m + 1)(m + 2) = + (m + 1)(m + 2) = 3 3 j=1 A implica¸˜o P (m) ⇒ P (m + 1) foi verificada. Ent˜o P (n) ´ v´lida para ∀n ∈ Z ca a e a n e) (2j − 1) = n2 j=1 i) Testando a propriedade para n = 1: (2 · 1 − 1) = 2 − 1 = 1 = 12 P (1) ´ verdadeira. e ii) Hip´tese indutiva – P (m) : m (2j − 1) = m2 o j=1 Tese – P (m + 1) : m+1 (2j − 1) = m (2j − 1) + [2(m + 1) − 1] = (m + 1)2 j=1 j=1 8
  • 9. Assumindo como verdadeira a hip´tese indutiva temos, o m (2j − 1) + [2(m + 1) − 1] = m2 + 2(m + 1) − 1 = m2 + 2m + 2 − 1 = m2 + 2m + 1 = (m + 1)2 j=1 A implica¸˜o P (m) ⇒ P (m + 1) foi verificada. Ent˜o P (n) ´ v´lida para ∀n ∈ Z ca a e a n f) i(i!) = (n + 1)! − 1 i=1 i) Testando a propriedade para n = 1: 1(1!) = 1 = 1(1 + 1)! − 1 = 2 − 1 = 1 P (1) ´ verdadeira. e m ii) Hip´tese indutiva – P (m) : o i=1 i(i!) = (m + 1)! − 1 Tese – P (m + 1) : m+1 i(i!) = i=1 m i=1 i(i!) + (m + 1)(m + 1)! = (m + 2)! − 1 Assumindo como verdadeira a hip´tese indutiva temos, o m i(i!) + (m + 1)(m + 1)! = (m + 1)! − 1 + (m + 1)(m + 1)! = i=1 = (m + 1)![1 + m + 1] − 1 = (m + 2)(m + 1)! − 1 = (m + 2)! − 1 A implica¸˜o P (m) ⇒ P (m + 1) foi verificada. Ent˜o P (n) ´ v´lida para ∀n ∈ Z ca a e a 12 — Use indu¸˜o para mostrar que um conjunto finito com n elementos possui 2n sub- ca conjuntos: Nota¸˜o: ℘(A) ´ o conjunto de todos os subconjuntos de A e |A| ´ o n´mero de elementos do conjunto ca e e u A. i) Para o conjunto B = {u}, de um unico conjunto, i.e., |B| = 1 temos que seu conjunto potˆncia ´ ´ e e ℘(B) = {∅, {u}}. Logo, |℘(B)| = 21 = 2. Portanto, P (1) ´ v´lida. e a ii) Hip´tese Indutiva – P (n) : Um conjunto de n elementos tem 2n subconjuntos, i.e., |C| = n ⇒ o |℘(C)| = 2n . Tese – P (n+1) : Um conjunto de n+ 1 elementos tem 2n+1 subconjuntos, i.e., |D| = n+ 1 ⇒ |℘(D)| = 2n+1 . Sem perda de generalidade, supomos que C = {1, 2, 3, 4, · · · , n}, logo |C| = n e D = {1, 2, 3, 4, · · · , n, n+ 1}, logo, |D| = n + 1. Ent˜o, D = C ∪ {n + 1}. Pela hip´tese indutiva temos que |℘(C)| = 2n e, a o sabendo que |℘(D)| = 2|℘(C)| (demonstra¸˜o abaixo), ent˜o, |℘(D)| = 2 · 2n = 2n+1 . ca a Portanto, P (n) ´ v´lida para todo inteiro n > 0. e a Demonstra¸˜o de |C| = n e |D| = n + 1 ⇒ |℘(D)| = 2|℘(C)|. ca Tomando o conjunto C = {1, 2, · · · , n}. Sendo D = C ∪ {n + 1}. Todos os subconjuntos de D s˜o a tamb´m subconjuntos de C. Os demais subconjuntos s˜o obtidos incluindo o elemento {n + 1}. Logo, e a |℘(D)| = 2|℘(C)|. 9
  • 10. 14 — Prove que para todo n ≥ 9, n! ≥ (2n)2 . i) Testando a propriedade para n = 9: 9! ≥ (2 · 9)2 ⇒ 9 · 8 · 7 · 6 · 5 · 4 · 3 · 2 ≥ 4 · 9 · 9 ⇒ 8 · 7 · 6 · 5 · 3 · 2 ≥ 9 Claramente, P (9) ´ verdadeira. e ii) Hip´tese indutiva – P (k) : k! ≥ (2k)2 o Tese – P (k + 1) : (k + 1)! ≥ [2(k + 1)]2 ⇒ (k + 1)! ≥ [2k + 2]2 Multiplicando ambos os lados da desiguladade, na hip´tese indutiva por (k + 1) (pois k + 1 > 0), temos o (k + 1)k! ≥ (2k)2 (k + 1) ⇒ (k + 1)! ≥ 4k 3 + 4k 2 . Mas, (2k + 2)2 < 4k 3 + 4k 2 para k ∈ Z : k > 1. Ent˜o a (2k + 2)2 < 4k 3 + 4k 2 ≤ (k + 1)! ⇒ (2k + 2)2 ≤ (k + 1)! ou, equivalentemente, (k + 1)! ≥ (2k + 2)2 A implica¸˜o P (k) ⇒ P (k + 1) foi verificada. Portanto, a propriedade P (n) ´ v´lida, ∀n ∈ N : n ≥ 1. ca e a 15 — Prove para todo n > 1, n 1 1 ≤2− i2 n i=1 i) Testando a propriedade para n = 1: 1 1 2 ≤2− =2−1⇒1≤1 1 1 P (1) ´ verdadeira. e k 1 1 ii) Hip´tese indutiva – P (k) : o i=1 i2 ≤ 2 − k Tese – P (k + 1) : k+1 i1 = i=1 2 k 1 1 i=1 i2 + (k+1)2 ≤ 2− 1 k+1 1 Somando (k+1)2 em ambos os lados da hip´tese indutiva, temos o k 1 1 1 1 2 + 2 ≤2− + i (k + 1) k (k + 1)2 i=1 Para confirmar a tese, precisamos mostrar que 1 1 1 2− + 2 <2− . k (k + 1) k+1 Resolvendo a equa¸˜o: ca 1 1 1 k − (k + 1)2 + (k + 1) −k 2 − + 2 + <0⇒ 2 <0⇒ <0 k (k + 1) k+1 k(k + 1) k(k + 1)2 Como k > 0, o numerador da fra¸˜o ´ negativo e o denominador positivo. ca e −k2 Portanto, ∀k ∈ Z+ ; k(k+1)2 < 0. Assim sendo, temos que k k 1 1 1 1 1 1 1 1 2 + 2 <2− + 2 ≤2− =⇒ 2 + 2 ≤2− . i (k + 1) k (k + 1) k+1 i (k + 1) k+1 i=1 i=1 Ent˜o, P (n) ´ v´lida para todo inteiro n ≥ 1. a e a 10