M É T OD O DE I N DU ÇÃ O M AT E M ÁT I CA

APRESENTAÇÃO

Sej a 𝑃(𝑛) u ma p r o p o s ição q ue d e sej a mo s p ro var s er ve rd ad e ira, ∀𝑛 ∈ 𝐴 ⊆ ℕ.

Se

1 . 𝑃(𝑎) é ver d ad eir a, se nd o 𝑎 o me no r e le me n to d o co nj u nt o 𝐴, e s e,

2 . ao c o n sid er a r mo s 𝑘 ∈ 𝐴, ti v er mo s

𝑃(𝑛) v er d ad e ir a p ar a 𝑛 = 𝑘 ⇒ 𝑃(𝑛) v erd ad e ira p a ra 𝑛 = 𝑘 + 1,

en tão p o d e mo s co nc l uir q ue 𝑃(𝑛) é v erd ad e ira, ∀𝑛 ∈ 𝐴.

O mé to d o d e i nd u ção ma te má t ica é u m p ro c ed i me n to d e d ed u çã o p o r r eco rr ên c ia ,

fo r ma l izad o p o r Au g u s t u s D e Mo r g a n, e m 1 8 8 3 .

E xe mp lo 0 1

Co n sid er e a p r o p o s iç ão :
“ A so ma do s 𝑛 pri me iro s nú me ro s í mp a re s v a le 𝑛2 ”.
Escr it a so b fo r ma d e eq ua ção , es sa p ro p o siç ão f ica :

1 + 3 + 5 + 7 + ⋯ + (2𝑛 − 1) = 𝑛2 . ( * )

Ne ste ca so , d e v e mo s, ev id e n te me n te, co ns id e rar 𝐴 = ℕ = {1, 2, 3, 4, … }, p o i s t e mo s “o

p ri me iro n ú me ro ímp a r , o s d o is p ri me i ro s n ú me ro s ímp a re s , o s t rê s p r i mei ro s n ú me ro s
ímp a re s , o s q u a t ro p r im ei ro s n ú me ro s ímp a re s , etc. As s i m, à med id a q ue a va riá v el 𝑛
p erco rre o co nj u n to 𝐴, a p r o p o si ção v ai no s d ize n d o :
“ A so ma do p ri me iro n ú me ro í mpa r v a l e 1 .”
“ A so ma do s do is p ri meiro s nú me ro s í mp a r e s v a le 22 .”
“ A so ma do s t r ê s pr i me iro s n ú mero s í mpa r es v a l e 32 .”
“ A so ma do s qua t ro pr i me i ro s n ú mero s í mp a r e s v a le 42 .”
⋮
.
Va mo s, e n tão , p r o var q u e ( * ) é u ma p ro p o si ção verd ad e ira , u ti li za nd o
o méto d o d e i nd u ção ap r ese n tad o ac i ma.
Co mo 𝑎 = 1, te mo s ,

1 . 𝑃(𝑎) = 𝑃(1) é ver d ad eir a, p o i s 1 = 12 .

A t ít u lo d e il u s tr aç ão , n o te q ue
i) 𝑃(2) é ver d ad eir a, p o i s 1 + 3 = 22 ,
ii) 𝑃(3) é ver d ad eir a, p o i s 1 + 3 + 5 = 32 ,
iii ) 𝑃(4) é ver d ad eir a, p o i s 1 + 3 + 5 + 7 = 42 , e tc.

2 . Ag o r a, s up o nd o 𝑃(𝑛) v erd ad eira p ara 𝑛 = 𝑘, o u sej a, s up o nd o q u e

 1 + 3 + 5 + ⋯ + (2𝑘 − 1) = 𝑘 2 ,

te mo s co nd içõ e s d e d ed uz ir q ue 𝑃(𝑛) ta mb é m é v erd ad eir a p ara 𝑛 = 𝑘 + 1, i sto

é, q ue

1 + 3 + 5 + ⋯ + (2𝑘 + 1) = (𝑘 + 1)2

ta mb é m é v er d ad e ir a ( o b ser v e q u e se o b té m 𝑃(𝑘 + 1) sub s tit u i nd o - se 𝑛 p o r 𝑘 +

1 e m 𝑃(𝑛)) .
De fa to ,
1 + 3 + 5 + ⋯ + (2𝑘 + 1) = 1 + 3 + 5 + ⋯ + (2𝑘 − 1) + (2𝑘 + 1)
= 𝑘 2 + (2𝑘 + 1) = (𝑘 + 1)2
co mo a f ir ma mo s ☺

A co mp ro va ção d a v er ac id ad e d a p ro p o s ição ( * ) te m re g i stro h is tó r ico q u e d ata d e 1 5 7 5 ,

te nd o sid o e stab ele cid a , o r i gi na l me n te, p o r Fra n ces co M a uro ly co s .

Co m b as e n o e x e mp lo r e cé m co n cl u íd o , vo c ê p o d e p ro var q u e
𝑛(𝑛+1)
“ A so ma do s 𝑛 pri me ir o s nú me ro s na t ura i s v a le ”.
2

E xe mp lo 0 2

Va mo s p r o var q ue to d o n ú me r o d a fo r ma 22𝑛 − 1, o nd e 𝑛 ∈ ℕ, é mú l t ip lo d e 3.

1 . 𝑃(𝑎) = 𝑃(1) é ver d ad eir a, p o i s 22 − 1 = 3.

2 . As s u mi n d o q ue 22𝑘 − 1 é mú l t ip lo d e 3, se g ue q ue

𝑃(𝑘 + 1): 22(𝑘+1) − 1 = 22𝑘+2 − 1 = 22𝑘 . 22 − 1 = 22𝑘 . 4 − 1 = 22𝑘 (3 + 1) − 1

= 22𝑘 − 1 + 3. 22𝑘 .

Co mo , p o r hip ó te se, 22𝑘 − 1 é mú ltip lo d e 3, 𝑃(𝑘 + 1) é verd ad eir a p o r ser a so ma d e d o i s

mú l t ip lo s d e 3, j á q ue 3. 22𝑘 é, ev id e n te me n te, u m mú l t i p lo d e 3.

E xe mp lo 0 3

Se 𝛼 = { 𝑥1 = √5 , 𝑥2 = √5 + √5 , 𝑥3 = √5 + √5 + √5 , … }, ent ão , u ma vez ma i s atr a vé s d o

mé to d o d e i nd uç ão , p o d e mo s p r o var q ue 𝑥𝑛 ∈ 𝛼 ⇒ 𝑥𝑛 < 3, 𝑛 = 1, 2, 3, … .
Re al me n te ,

1 . 𝑃(1) é ver d ad eir a, p o i s 𝑥1 = √5 < 3.

2 . S up o n ha mo s 𝑥𝑘 < 3. De s sa fo r ma , p er ceb e nd o q u e 𝑥𝑘+1 = √5 + 𝑥𝑘 , te mo s

𝑥𝑘 < 3 ⇒ 5 + 𝑥𝑘 < 5 + 3 ⇒ 5 + 𝑥𝑘 < 8 ⇒ √5 + 𝑥𝑘 < √8 < 3 ,

o u sej a, 𝑥𝑘+1 < 3, e a p ro p o siç ão é verd ad eir a p ar a to d o 𝑛 ∈ ℕ ☺