O PRINCPIO DA INVARINCIA

Marcelo Rufino de Oliveira, Belm PA Artigo baseado em aula ministrada no II Teorema, Fortaleza ! Nvel Intermedirio. Uma das principais estratgias para resoluo de problemas de olimpadas a procura por invariantes. O fundamento do Princpio da Invarincia simples: busca pelo que se mantm constante quando uma operao permitida reali ada. !ntre as principais formas de invariantes destacam"se tr#s$ que sero apresentadas a seguir atravs de e%emplos resolvidos.
1. Expresses ou Valores Numricos Invarian es Exemplo 1.1! &omeando com o con'unto ()$ *$ +,-$ permitido apagar dois

n.meros a e b e escrever em seus lugares /$0. a 1 /$2.b e /$2.a 3 /$0.b. 4 possvel c5egar ao con'unto (*$ 0$ +,-6
Resolu"#o!

7epare que 8/$0.a 1 /$2.b9, 3 8/$2.a 3 /$0.b9, : a, 3 b,$ implicando que a soma dos quadrados dos n.meros dos con'untos obtidos invariante. &omo ) , 3 *, 3 +,, : +), e *, 3 0, 3 +,, : +*, ento no possvel c5egar ao con'unto (*$ 0$ +,-.
Exemplo 1.$! 8;aio"<<9 !m cada um dos +/ degraus de uma escada e%iste uma r.

&ada r pode$ de um pulo$ colocar"se em outro degrau$ mas quando uma r fa isso$ ao mesmo tempo$ uma outra r pular= a mesma quantidade de degraus em sentido contr=rio: uma sobe e outra desce. &onseguiro as rs colocar"se todas 'untas num mesmo degrau6
Resolu"#o!

>umeremos os degraus de + a +/ e associemos a cada r o n.mero do degrau que ocupam. O somat?rio inicial destes valores S : + 3 , 3 @ 3 +/ : AA. Perceba agora que este somat?rio invariante$ pois quando uma r sobe uma certa quantidade x de degraus$ temos outra r que desce x$ fa endo com que a soma das numeraBes destas duas rs no se altere. &aso todas as rs ocupem um mesmo degrau 8digamos y9$ ento todas as suas numeraBes so iguais a deste degrau$ ou se'a$ teremos +/y : AA$ que no possui soluo inteira. Ceste modo$ impossvel que todas as rs ocupem um mesmo degrau.

Exemplo 1.%! Ds seguintes

operaBes so permitidas com a equao quadr=tica ax, 3 bx 3 c: a9 trocar a e cE b9 trocar x por x 3 t$ onde t um n.mero real. 7epetindo estas transformaBes possvel transformar x, 1 x 1 , em x, 1 x 1 +6
Resolu"#o!

;ostraremos que invariante o valor do discriminante de todas as equaBes obtidas pela aplicao das operaBes permitidas. Inicialmente temos / : b, 1 *ac. Dplicando a primeira operao: ax, 3 bx 3 c cx, 3 bx 3 a 8+9 Para esta equao temos + : b, 1 *ca : / Dplicando a segunda operao: ax, 3 bx 3 c a8x 3 t9, 3 b8x 3 t9 3 c : ax, 3 8b 3 ,at9x 3 at, 3 bt 3 c 8,9 , : 8b 3 ,at9, 1 *a8at, 3 bt 3 c9 : b, 3 *abt 3 *a,t, 1 *a,t, 1 *abt 1 *ac , : b, 1 *ac : / : + &omo o discriminante de x, 1 x 1 , < e o discriminante de x, 1 x 1 + A$ a transformao impossvel.
$. Res os &e Divises Invarian es Exemplo $.1! 8Forneio das &idades"2A9 Fodo membro de uma seqG#ncia$ iniciando

do segundo$ igual a soma entre o termo precedente e a soma dos seus dgitos. O primeiro n.mero +. 4 possvel que +,)*A0 pertena H seqG#ncia6
Resolu"#o!

Perceba que: a, : , : )./ 3 , a) : * : ).+ 3 + a* : 2 : )., 3 , aA : +0 : ).A 3 + a0 : ,) : ).I 3 , aI : ,2 : ).< 3 + ... Dparentemente os restos da diviso por ) dos termos so alternadamente + e ,. Jamos demonstrar isto. Ke'a S8n9 a soma dos dgitos de n. Kabemos que n e S8n9 dei%am o mesmo resto na diviso por ): i9 Ke an : )k+ 3 + an 3 + : an 3 S8an9 : )k+ 3 + 3 )k, 3 + : )k) 3 ,. ii9 Ke an : )k+ 3 , an 3 + : an 3 K8an9 : )k+ 3 , 3 )k, 3 , : )k) 3 +. Ceste modo$ se n par ento an : )k 3 , e se n mpar ento an : )k 3 + 8invariante9. &omo +,)*A0 divisvel por ) ento no pertence H seqG#ncia.
Exemplo $.$! 8Leningrado"2A9 Fr#s cangurus esto alin5ados em uma estrada. D

cada segundo um dos cangurus salta. 4 permitido que um canguru salte por cima de um outro canguru$ mas no de dois cangurus de uma s? ve . Prove que depois

de +<2A segundos$ os cangurus no podem voltar a ocupar a posio relativa inicial.

Resolu"#o!

!%istem seis posiBes para os cangurus: 123 +), 312 ),+ 231 ,+) >ote que as posiBes sublin5adas somente podem ser alcanadas atravs de um posio anterior em negrito e vice"versa 8invariante9. Dssim$ depois de um n.mero mpar de pulos somente as posiBes sublin5adas 8+),$ ),+ e ,+)9 podem ser alcanadas$ fa endo com que depois de +<2A pulos no se'a possvel que os cangurus voltem a ocupar a posio inicial 81239.
Exemplo $.%! 8Par=",//+9 Um tabuleiro *%* possui$ inicialmente$ todas as casas

pintadas de branco. Uma operao permitida escol5er um retngulo consistindo de ) casas e pintar cada uma das casas da seguinte forma: 1 se a casa branca ento pinta"se de pretoE 1 se a casa preta ento pinta"se de branco. Prove que$ aplicando v=rias ve es a operao permitida$ impossvel conseguirmos que todo o tabuleiro fique pintado de preto.
Resolu"#o!

Cistribuimos as letras a$ b e c no tabuleiro da seguinte forma:

a b c c a b b c a a b c

a c b a

>ote que as letras esto alternadas tanto nas lin5as quanto nas colunas. !sta alternncia fa com que toda ve que um retngulo com ) casas se'a selecionado$ ento e%atamente uma letra a$ uma letra b e uma letra c so selecionadas. Ke'am: D a quantidade de casas brancas com a letra a$ B a quantidade de casas brancas com a letra b e C a quantidade de casas brancas com a letra c. >o incio temos: A : 0 B : A C : A. Foda ve que selecionamos um retngulo formado de tr#s casas$ estamos somando a cada valor de A$ B e C os valores 3 + ou 1 +. Perceba que se todas casas ficarem pretas$ ento teremos A : /$ B : / e C : /. !ntretanto$ note que iniciando de A : 0$ B : A e C : A$ e alterando simultaneamente por 3 + ou 1 + estes valores$ sempre teremos entre os valores de A$ B e C dois n.meros mpares e um par ou dois pares e um mpar 8invariante9$ fa endo com que a situao A : /$ B : / e C : / se'a impossvel.

Exemplo $.'! 8OM; Nr."<A9 Femos um tabuleiro +<<A +<<A. D cada uma de suas

+<<A, casas associamos um dos n.meros 3 + ou 1 +. !m seguida$ associamos a cada lin5a o produto dos n.meros das casas desta lin5a$ e a cada coluna o produto dos n.meros das casas de cada coluna. i9 Ke T a soma dos n.meros associados Hs lin5as$ colunas e casas$ prove que T diferente de /. ii9 Ke S a soma dos n.meros associados Hs lin5as e Hs colunas$ prove que S diferente de /.
Resolu"#o!

i9 &omo temos +<<A colunas e +<<A lin5as$ ento as somas dos n.meros associados Hs lin5as e colunas so n.meros mpares$ pois so soma ou subtrao de +<<A n.meros mpares. !m relao Hs casas temos o mesmo raciocnio$ pois so ao todo +<<A, casas$ cu'o valor de cada casa pode ser igual a + ou 1 +. Komando todos estes valores teremos tambm um valor mpar. Dssim$ F a soma de tr#s valores mpares$ sendo tambm mpar$ nunca podendo assumir o valor ero. ii9 Inicialmente notemos que qualquer disposio no tabuleiro pode ser alcanada partindo de uma configurao inicial na qual todas as casas possuem valor + e alterando"se os sinais dese'ados. &om o tabuleiro contendo somente +Os$ temos que as somas das lin5as e colunas +<<A$ fa endo uma soma total de )<</$ que obviamente o maior valor possvel. Puando trocamos um + por um 1 +$ notamos que as somas das lin5as e colunas passam a ser +<<)$ fa endo S : )<20. Dssim$ fica evidente que uma alterao de um sinal em uma casa do tabuleiro altera o valor da soma da lin5a e da coluna a qual pertence esta casa em ,$ e por conseqG#ncia altera a soma total em / ou * 8invariante9. Ceste modo$ a soma total pode ser escrita da forma S : )<</ 1 *k. &aso S : /$ teramos *k : )<</$ que no possui soluo inteira$ absurdo.
Exemplo $.(! 8Qong Rong"<I9 &inco n.meros +$ ,$ )$ *$ A esto escritos em um

quadro negro. Um estudante pode apagar dois dos n.meros a e b no quadro e escrever os n.meros a 3 b e ab nos seus lugares. Ke esta operao repetida indefinidamente$ podem os n.meros ,+$ ,I$ 0*$ +2/$ A*/ aparecer no quadro negro ao mesmo tempo6
Resolu"#o!

>o possvel. >ote que no incio e%iste somente um n.mero divisvel por ) e no final e%istem quatro n.meros divisveis por ). Observemos o que acontece com os restos da diviso por ) dos n.meros no quadro quando fa emos uma operao: i9 se a : )x e b : )y a 3 b : )z e ab : )w

ii9 se a : )x 3 + e b : )y a 3 b : )z 3 + e ab : )w iii9 se a : )x 3 , e b : )y a 3 b : )z 3 , e ab : )w iv9 se a : )x 3 + e b : )y 3 + a 3 b : )z 3 , e ab : )w 3 + v9 se a : )x 3 + e b : )y 3 , a 3 b : )z e ab : )w 3 , vi9 se a : )x 3 , e b : )y 3 , a 3 b : )z 3 + e ab : )w 3 + Portanto$ a .nica forma de aumentar os divisveis por ) escol5er a : )x 3 + e b : )y 3 ,. &onsequentemente tambm acrescentamos um n.mero da forma ) k 3 ,. Por outro lado$ na situao final o .nico n.mero que no divisvel por ) 0*$ que da forma )k 3 +$ contradio$ pois este n.mero deveria ser da forma ) k 3 , 8O caso iii9 mostra que sempre 5aver= um n.mero da forma )k 3 , ap?s termos * deles da forma )k9.
%. )en&*ncias &e Crescimen o ou Decrescimen o Invarian es Exemplo %.1! Um total de ,/// pessoas esto divididas entre os ++A quartos de uma

manso. D cada minuto$ at que todas no este'am em um mesmo quarto$ uma pessoa anda para um quarto com um n.mero igual ou maior de pessoas do que o quarto que ocupava. Prove que eventualmente todas as pessoas vo estar em um mesmo quarto.
Resolu"#o!

Ke'a ai a quantidade de pessoas no quarto i$ + i ++A. , , , &onsidere a e%presso I : a+ . + a, + ... + a++A Cigamos que uma pessoa sai de um quarto que possui n pessoas e vai para um quarto que possui m pessoas 8m n9. D variao de I : I : 88m 3 +9, 3 8n 1 +9,9 1 8m, 3 n,9 : ,8m 1 n 3 +9 S / Dssim$ toda ve que uma pessoa troca de quarto o valor de I cresce 8tend#ncia de crescimento invariante9. !ntretanto note que o valor de I no pode crescer indefinidamente$ uma ve que o n.mero total de pessoas finito$ implicando que uma 5ora todas as pessoas estaro em um mesmo quarto.
Exemplo %.$! 8,a Lista de Preparao para a &one Kul",//+9 !%istem inicialmente n

n.meros + em um quadro negro. !m cada passo permitido apagar quaisquer dois n.meros a e b e escrever o n.mero ab , . !sta operao feita n 1 + ve es. a +b + Prove que o .ltimo n.mero no menor que . n

Resolu"#o!

Kupon5a que depois de k operaBes temos os seguintes n.meros escritos no quadro: a+$ a,$ ...$ an k. &onsidere a e%presso Ik : Cepois de uma operao a variao de I vale:
a +b + + ++ + + + I : , , = + , , ,ab a b ,a b a b
, ,

+ + + + ... + + . , , , a+ a, an k
I :

+ + + ab ,a , ,b ,

Pela desigualdade entre as mdias aritmtica e geomtrica:

+ + + + + + / a, b, + + = + ab ,a , ,b , , a , b , ab
Cesta forma I /$ ou se'a$ I nunca cresce. &omo I/ : n e In 1 + :

+ + n + a+ . , ento In 1 + I/ , a+ a+ n

Exemplo %.%! 8Kt. Petersburg"<09 J=rios inteiros positivos distintos esto escritos

em um quadro negro. Uma operao permitida apagar dois inteiros distintos e escrever em seus lugares o m=%imo divisor comum e o mnimo m.ltiplo comum destes n.meros. Prove que$ depois da aplicao de operaBes permitidas v=rias ve es$ os n.meros eventualmente vo parar de mudar.
Resolu"#o!

Kupon5a que a e b 8a S b9 so dois n.meros escritos no quadro. Ke'am D : mdc 8a$ b9 e L : mmc 8a$ b9. &onsequentemente: D T a$ D b$ L a$ L S b. &omo ab : DL ab 3 b, : DL 3 b, 8+9 &omo 8L 1 b98D 1 b9 / DL 1 Lb 1 bD 3 b, / DL 3 b, bL 3 bD 8,9 Dplicando 8,9 em 8+9: ab 3 b, bL 3 bD a 3 b D 3 L 8)9 Dssim$ a soma S dos n.meros escritos no quadro nunca decresce. 7epare tambm que a igualdade em 8)9 implica 8L 1 b98D 1 b9 : /$ ou se'a$ D : b L : a. Por outro lado$ como mdc 8x+$ x,$ ...$ xm9 mmc 8x+$ x,$ ...$ xm9 x+x,...xm$ ento$ depois de um n.mero qualquer de operaBes reali adas$ cada n.mero no quadro menor ou igual que o produto de todos os n.meros inicialmente escritos. Portanto$ S menor ou igual a n ve es o produto dos n.meros inicialmente escritos. &omo

pode"se fa er um n.mero infinito de operaBes e S possui ao mesmo tempo as propriedades de ser limitada e nunca decrescer$ ento a partir de um certo momento S fica constante$ fa endo com que D : b e L : a$ implicando que eventualmente os n.meros vo parar de mudar.
Exerc+cios! ,1. Um crculo dividido em seis setores. Os n.meros +$ /$ +$ /$ /$ / so escritos

em sentido 5or=rio. 4 permitido aumentar em + dois n.meros vi in5os. 4 possvel que em algum momento todos os n.meros se'am iguais6
,$. Civide"se um crculo em +/ setores e coloca"se uma fic5a em cada setor. Um

movimento consiste em selecionar duas fic5as e mover cada uma para um setor ad'acente. Prove que$ depois de uma seqG#ncia arbitr=ria de movimentos$ impossvel que todas as fic5as locali em"se em um mesmo setor.
,%. 87io Urande do >orte"<<9 D professora desafia Dndr e F5iago com o seguinte

'ogo$ em que eles 'ogam alternadamente. !la escreve no quadro"negro os inteiros de + a A/. Uma 'ogada consiste em escol5er dois dos n.meros escritos$ apagar esses n.meros$ substituindo"os pela soma 8Por e%emplo$ se Dndr escol5eu 2 e ,)$ apaga"os e escreve )+9. Cepois de algum tempo$ vai restar no quadro negro um .nico n.mero. Ke esse n.mero par$ o gan5ador Dndr$ caso contr=rio$ o gan5ador F5iago. Puem vence o 'ogo: Dndr ou F5iago6
,'. 8Forneio das &idades"<)9 Fr#s pil5as de caroos so dadas sobre uma mesa. 4

permitido adicionar ou remover de uma pil5a um n.mero de caroos que igual a soma do n.mero de caroos das outras duas pil5as. Por e%emplo V+,$ )$ AW pode tornar"se V+,$ ,/$ AW pela adio de +I : +, 3 A para a pil5a de ) ou tornar"se V*$ )$ AW pela remoo de 2 : ) 3 A caroos da pil5a com +,. 4 possvel$ iniciando com pil5as possuindo +<<)$ +<< e +< caroos$ conseguir uma pil5a va ia depois de uma seqG#ncia de operaBes permitidas6
,(. 8Forneio das &idades"2A9 >a il5a de &amelot vivem +) camaleBes ro%os$ +A

verdes e +I amarelos. Puando dois de cores distintas se encontram$ mudam simultaneamente para a terceira cor. Poderia dar"se a situao na qual todos ten5am a mesma cor6
,-. 87.ssia"I29 Ko dadas ) m=quinas que produ em cartBes com pares de

n.meros naturais. D primeira$ sendo dado o carto com 8 a$ b9$ produ um novo carto com

8a 3 +$ b 3 +9E a segunda$ sendo dado o carto com 8 a$ b9$ produ novo carto com 8aX,$ bX,9$ se ambos a e b so pares e nada no caso oposto e a terceira m=quina$ sendo dados os cartBes 8a$ b9 e 8b$ c9$ produ um novo carto com 8a$ c9. Fodas as m=quinas retornam tambm os cartBes iniciais. Kupon5a que foi dado o carto inicial 8A$ +<9. 4 possvel obter: a9 8+$ A/96 b9 8+$ +//96 c9 Kupon5a que foi dado o carto inicial 8 a$ b9 8a T b9. >?s queremos obter o carto 8+$ n9. Para quais n isto possvel6
,.. !m um quadro negro esto escritos n n.meros. D cada minuto apaga"se dois

n.meros a e b e escreve"se o n.mero 8 a 3 b9X*. 7epetindo esta operao n 1 + ve es$ e%istir= somente um n.mero no final. Prove que se inicialmente e%istirem n +Os no quadro$ ento o .ltimo n.mero no menor que +Xn.
,/. 8Leningrado"2<9 J=rios 8mas no menos que ,9 n.meros no nulos so escritos

em um quadro negro. 4 possvel apagar dois dos n.meros$ A e B$ e ento escrever nos seus lugares os n.meros A 3 BX, e B 1 AX,. Prove que o con'unto de n.meros no quadro negro$ depois de um n.mero qualquer de operaBes$ no pode coincidir com o con'unto inicial.
,0. 8,a Lista de Preparao para a &one Kul"<09 ++< anBes vivem em uma aldeia

com +,/ pequenas casas. Uma casa dita super"5abitada se +A anBes ou mais vivem l=. Fodo dia$ os anBes de uma casa super"5abitada t#m uma discusso e se mudam para outras 8distintas9 casas da aldeia. Dlgum dia$ necessariamente$ esse processo se encerrar=6

1i2lio3ra4ia!

V+W D. !ngel$ Problem-Solving Strategies$ Kpringer"Jerlag$ +<<2.

V,W P. N. FaYlor$ To rnament o! t"e Towns #$%&-#$%$$ Dustralian International &entre for ;at5ematics !nric5ment$ +<<,.
V)W C. Zomin$ D. Riric5en[o$ Leningra' (at"ematical )lym*ia's #$%+-#$$#$ ;at5Pro Press$ +<<*.