GAZETA DE MATEMTICA

Julho 2006 - n 151

Somas de nmeros naturais consecutivos

Antnio Pereira Rosa

Escola Secundria Maria Amlia Vaz de Carvalho, Lisboa

1. Introduo se pode propor aos alunos) e, evidentemente, impossvel

para nmeros pares2.
O objectivo deste trabalho abordar o problema da No que se segue, vo ser utilizados os chamados nmeros
representao de nmeros naturais por meio de somas de triangulares 1, 3, 6, 10, 15, 21,... que so definidos por
dois ou mais nmeros naturais consecutivos. Estuda-se a n( n + 1)
Tn = 1+ 2 + K + n = . bvio que todos estes
possibilidade e a unicidade de uma tal representao e 2

descrevem-se algoritmos para a obter; veremos ainda uma nmeros, excepo de 1, admitem uma representao

caracterizao menos conhecida dos nmeros primos do tipo que estamos a considerar. Por exemplo,

mpares. Utilizam-se apenas ferramentas matemticas T5 = 1 5 =1 + 2+ 3 +4 + 5= 7 +8 ; estas igualdades mostram que

muito simples, como algumas propriedades das progresses a representao no , em geral, nica.

aritmticas e propriedades elementares de divisibilidade

em IN1. O resultado principal o seguinte:
Teorema 1
Um nmero natural pode ser escrito como uma soma de

2. O problema da representao nmeros naturais consecutivos se e s se no for uma

potncia de 2.

bvio que h nmeros naturais que no podem ser escritos

como soma de naturais consecutivos, como 2 e 4. Por outro Demonstrao

lado, claro que qualquer nmero mpar maior que 1 pode Seja N um nmero natural que no potncia de 2; ento,

n n ( )
ele pode ser escrito na forma N = 2 k 2m + 1 , sendo 2k a
ser escrito nesta forma: se n mpar, n = C + C + 1 ,
2 2 maior potncia de 2 que divide N e 2 m + 1 o maior factor

sendo C(n) a caracterstica de n. Esta representao como mpar de N. Tem-se obviamente que m 1 e k 0 .

soma de duas parcelas nica (um exerccio simples, que Consideremos agora a soma

1
assim, o contedo deste trabalho acessvel, pelo menos em parte, a
(2 m) + (2
k k
) ( )( )
m + 1 + K + 2 k m + 2m 1 + 2 k m + 2m (1).
alunos do 11 ano (Matemtica A) e pode ser aproveitado no estudo do
Tema III (Sucesses Reais) dessa disciplina. Temos mais dvidas quanto
sua utilidade para alunos de Matemtica B; em todo o caso, a sua
apresentao ter de ser adiada para o Tema II do 12 ano.
Trata-se da soma de termos consecutivos de uma
2
para evitar trivialidades, s consideraremos somas com duas ou mais progresso aritmtica de razo 1, pelo que o seu valor
parcelas; a generalidade dos alunos considera absurdas somas com uma
s parcela.

44

(2m + 1)(2k m + 2k m + 2m)
2
( )
= 2 k 2m + 1 = N .
Se alguns dos nmeros inteiros que aparecem na soma
(1) forem negativos, eles anulam-se com os primeiros
nmeros naturais que aparecem na expresso, sobrando
sempre pelo menos as duas ltimas parcelas. Com efeito,
se ficasse apenas a ltima,
2 k + m = N = 2 k (2m + 1) donde k = 1 , o que absurdo.
Podemos assim escrever o nmero N na forma de uma soma
de nmeros naturais consecutivos.
k
Reciprocamente, se uma potncia 2 pudesse ser escrita
como soma de m nmeros naturais consecutivos, ter-se-ia
( ) ( )
2 k = n + ( n + 1) + K + n + m 2 + n + m 1 , para um certo
natural n. Viria ento
( ( ) (
2 k +1 = 2 n + ( n + 1) + K + n + m 2 + n + m 1 =
= m( n + n + m 1) = m(2n + m 1)
Ora a diferena dos dois factores 2n + m 1 e m o
nmero mpar 2n 1, pelo que um deles deve ser mpar;
como so ambos diferentes de 1 ( m > 1 e n > 0, por
hiptese, o que mostra logo que 2n + m 1 1), segue-se
que 2 k +1 tem um factor mpar maior que 1, o que absurdo.
de observar que este teorema proporciona um mtodo
para obter uma representao do tipo em anlise. Por
exemplo, se N = 100 = 2 2 (2 12 + 1) vem, usando as
notaes anteriores, k = 2 e m =12, donde:
( 2
)( 2
)
100 = 2 12 + 2 11 + K + 1 + 0 + 1+ ( )
( )( )
+ K + 2 2 + 4 + 2 2 + 5 + K + 2 2 + 12 =
( )
= 8/ + ( 7/ ) + K + /1 + 0/ + 1/ + K + 8/ + 9 +
+ 10 + 11+ 12 + 13 + 14 + 15 + 16 =
= 9 + 10 + 11+ 12 + 13 + 14 + 15 + 16.
O mtodo , frequentemente, muito moroso
(experimente-se N = 1000...) mas torna-se bastante mais
GAZETA DE MATEMTICA
Julho 2006 - n 151
prtico se repararmos que estamos a somar nmeros
inteiros consecutivos desde 2 k m at 2 k +m ; se o primeiro
for positivo, o resultado imediato, a soma vai de 2 k m
at 2 k +m ; se for negativo, a soma que nos interessa
comear em 2 k m + 1 e terminar em 2 k +m .
No exemplo anterior, 2 k m = 2 2 12 = 8 , pelo que
devemos comear em 2 k m + 1 = 8 + 1 = 9 e terminar em
resultaria que
2 k + m = 2 2 + 12 = 16 . Vem assim que
100=9+10+11+12+13+14+15+16, como anteriormente.
Exerccio 1
Escreva 76 como soma de naturais consecutivos.
Exerccio 2
Justifique que qualquer nmero natural que no seja uma
potncia de 2 triangular ou dado pela diferena de dois
)) nmeros triangulares; exemplifique com 76.
.
Observao 1
O teorema 1 pode ser provado recorrendo aos nmeros
triangulares. Para isso, basta estudar a equao diofantina
Tx T y = N , sendo N o nmero a representar. A
demonstrao , no entanto, mais extensa e difcil que a
apresentada.
Exerccio 3
Escreva um programa de computador que, dado um natu-
ral N, apresente uma representao como soma de naturais
consecutivos (ou que indique que tal representao
impossvel).
( ) Apresentamos em seguida um processo diferente para
resolver o problema desta representao, recorrendo a um
exemplo detalhado.
Exemplo 1
Escrever 105 como soma de naturais consecutivos.
45
 GAZETA DE MATEMTICA
Julho 2006 - n 151

Pretendemos determinar os naturais m e k de modo A ltima soluo exprime precisamente o facto de 105

(
que 105 = m + ( m + 1) + K + m + k . ) ser um nmero triangular: 105 = T14 .

Pela frmula que permite calcular a soma de termos de observar ainda que o nmero de solues poderia

consecutivos numa progresso aritmtica, vem ser previsto: na verdade, ao aplicarmos o mtodo, as
expresses k + 1 e 2m + k percorrem sucessivamente os
m + (m + k )
2
(( )
m + k m + 1 = 105 ) 8 divisores mpares de 210; como devemos excluir a soluo
ou ainda trivial 105 = 105, segue-se que h 81 =7 solues distintas.
(2m + k )(k + 1) = 210 (2)
Divisores de 210
Parece ento razovel considerar os 16 divisores 1 210

distintos de 210 (como 210 = 21 31 51 71 , 210 tem 2 105

(1+ 1) (1+ 1) (1+ 1) (1+ 1) = 16 divisores; ver tabela no fim

3 70
5 42
do exemplo), agrupados em pares cujo produto seja 210 e
6 35
igualar cada um dos factores do primeiro membro de (2)
7 30
aos dois elementos de cada par. Porm, um pouco de
10 21
reflexo mostra que se est a fazer muito trabalho
14 15
( ) ( )
desnecessrio: como 2m + k k + 1 = 2m 1 mpar, um
Tabela 1
dos factores 2m + k e k + 1 mpar e o outro par. Alm
disso, bvio que 2m + k > k + 1. Assim, temos apenas de
Exerccio 4
considerar os casos
Escreva como soma de nmeros naturais consecutivos os
k + 1= 1 k + 1= 3 k + 1 = 5 k + 1 = 7 nmeros 23, 25, 200, 400 e 1000, pelo processo do exemplo
; ; ;
2m + k = 210 2 m + k = 70 2 m + k = 42 2m + k = 30 1, comeando por estimar em cada caso o nmero de
solues.
2m + k = 105 2m + k = 35 2m + k = 21 2m + k = 15
; ; ;
k + 1= 2 k + 1 = 6 k + 1 = 10 k + 1 = 14
Exerccio 5
que nos do as solues Tente demonstrar o teorema 1 pelo processo sugerido no

k =0 k = 2 k = 4 k = 6 exemplo 1.
; ; ;
m = 105 m = 34 m = 19 m = 12
Exerccio 6
k = 1 k = 5 k = 9 k = 13 Apresente um mtodo para resolver (em nmeros naturais,
; ; ;
m = 52 m = 15 m = 6 m= 1 claro) a equao de Pell degenerada x 2 n 2 y 2 = , onde
Desprezando a primeira soluo, obtm-se finalmente n e so nmeros naturais dados; exemplifique com

105 = 34 + 35 + 36 x 2 4 y 2 = 36.
= 19 + 20 + 21+ 22 + 23
= 12 + 13 + 14 + 15 + 16 + 17 + 18 Exerccio 7
= 52 + 53 Procure obter uma frmula para estimar o nmero de
= 15 + 16 + 17 + 18 + 19 + 20
parcelas da representao com maior nmero de parcelas
= 6 + 7 + 8 + 9 + 10 + 11+ 12 + 13 + 14 + 15
de um nmero n dado.
= 1+ 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10 + 11 + 12 + 13 + 14.

46
 GAZETA DE MATEMTICA
Julho 2006 - n 151

3. Uma caracterizao dos nmeros primos

mpares
Anuncie aqui!
Ao resolver o exerccio 4, o leitor ter talvez notado que o
J reparou que um anncio na Gazeta visto por
nmero primo mpar 23 tem apenas uma representao, a
mais de 3.800 leitores, todos eles potenciais
saber 23=11+12; como observmos anteriormente, todo o
interessados em Matemtica? Nenhum se desperdia!
nmero mpar maior que 1 admite uma representao deste
A Gazeta o local prprio para anunciar tudo quanto
tipo. Sucede que o problema das representaes como soma
respeite a actividades matemticas: programas de
de nmeros naturais consecutivos leva a uma caracterizao
Mestrado, programas de Doutoramento, livros, or-
dos nmeros primos mpares. Tem-se, com efeito:
ganizao de workshops ou debates, acontecimen-
tos que interesse dar a conhecer e que devam ficar
Teorema 2
registados para o futuro ... O que no publicitado
Um nmero mpar maior que 1 primo se e s se no
como se no existisse. E mais, ao anunciar na Ga-
puder ser escrito como soma de trs ou mais nmeros
zeta contribui para que esta cumpra a sua funo
naturais consecutivos.
de ser til comunidade matemtica portuguesa.

Demonstrao
Comecemos por supor que n primo, com vista a provar
que no pode ser escrito como soma de trs ou mais
Tabela de Preos
nmeros naturais consecutivos. Vamos provar o contra-
Pginas Interiores
-recproco: se n puder ser escrito como soma de trs ou
mpar Par
mais nmeros naturais consecutivos, ento n no primo.
1 pgina 590 Euros 490 Euros

( ) ( )
1/2 pgina 390 Euros 290 Euros
Seja n = m + m + 1 + K + m + t 1 , sendo m e t nmeros
1/4 pgina 220 Euros 170 Euros

naturais, com t 2. Segue-se que n = t m +

( ) . Dois
t t 1
1/8 pgina 120 Euros 120 Euros
2
casos se podem dar:
Cores: Ao preo indicado acresce 40%, tanto para as pgi-
(i) t mpar. nas interiores como para o verso da contra-capa. A publi-
(ii) t par. cidade na contra-capa tem um preo nico, seja ou no a
cores, e no pode sobrepor-se barra laranja.
No primeiro caso, bvio que t 1 par e portanto
Descontos
t 1 t 1
natural. Vem ento que n = t m + o que mostra Os Scios Institucionais da Sociedade Portuguesa de Mate-
2 2
mtica tm direito a um desconto de 15%.
t 1
que n no primo, pois tanto t como m + so nmeros
2
possvel enviar encartes. Para mais detalhes consultar a
naturais maiores do que 1.
pgina na web: http://www.spm.pt

No segundo caso, escreva-se t = 2k , sendo k um nmero Aos preos acima acresce 21% de IVA.
natural maior que 1. Vem ento que

47
 GAZETA DE MATEMTICA
Julho 2006 - n 151

(
2k 2k 1 ) = k 2m + 2k 1 Teorema 4
n = 2km +
2
( ) Um nmero par pode ser escrito como soma de nmeros
e, tal como anteriormente, n no primo. mpares consecutivos se e s for divisvel por 4.

Para provar a implicao no outro sentido (Se n no se As demonstraes so semelhantes s do Teorema 1 e

pode escrever como soma de trs ou mais nmeros naturais
consecutivos, ento n primo), vamos de novo recorrer
ao contra-recproco, mostrando que se n for composto
mpar, ento pode ser escrito como soma de trs ou mais
nmeros naturais consecutivos.
podem ser vistas em [SCY].
Agradecimento
O autor agradece ao referee as sugestes apresentadas,
que muito contriburam para a melhoria do texto.

Seja pois n um nmero composto mpar; ento pode

escrever-se n = qxp, com q p 3 , p e q nmeros naturais 5. Referncias
mpares. Vejamos que n soma de p nmeros naturais
p1 [BA] Beiler, A. H. (1964) - Recreations in the Theory of
consecutivos, o primeiro dos quais q . Com efeito:
2 Numbers, New York, Dover Publications Inc.
p1
1. p 1 par, logo q inteiro. [NZM] Niven, I. , Zuckerman, H. e Montgomery, H. (1991) -
2
An Introduction to the Theory of Numbers, New York,
p1
2. q 1, pois como q p , vem 2q > p donde se segue John Wiley & Sons.
2
que 2q p + 1 e que 2q p + 1 p + 2 > 2 ; portanto [Ol] Oliveira, G. N. (1981) - Resoluo de Equaes em

p1 Nmeros Inteiros, Coimbra (notas de um curso integrado

q 1.
2 na Escola de Vero organizada pela Sociedade
Portuguesa de Matemtica).
p 1 p 1 p 1
3. q + q + 1 + ... + q + p 1 =
2 2 2 [PA] Carvalho e Silva, J. (Coord.) et al. (s/d) - Matemtica

p 1 p 1 A 11 ano, Lisboa, Ministrio da Educao-

q + q + p 1
2 2 Departamento do Ensino Secundrio (disponvel em
= p = q p = n,
2 www.mat-no-sec-org).

o que conclui a prova. [PB] Carvalho e Silva, J. (Coord.) et al. (s/d) - Matemtica
B 12 ano, Lisboa, Ministrio da Educao-Departamento

4. Observaes finais do Ensino Secundrio (disponvel em www.mat-no-sec-

org).

Para terminar, e a ttulo de curiosidade, vamos enunciar [SCY] Shklarsky, D. O., Chentzov, N. N. e Yaglom, I.M. (1993)

dois teoremas sobre representao de nmeros naturais - The USSR Olympiad Problem Book, New York, Dover

por meio de somas de nmeros mpares consecutivos. Publications Inc.

[WD] Wells, D. (1987) - The Penguin Dictionary of Curious

Teorema 3 and Interesting Numbers, London, Penguin Books Ltd.

Qualquer nmero mpar composto pode ser representado

como soma de nmeros mpares consecutivos; tal
representao impossvel para nmeros primos.

48