Existem algumas estratégias de natureza heurística usadas para abordar vários tipos de problemas como, por exemplo, considerar os pontos extremos de alguma coisa, procurar os "invariantes", ou seja, aquilo que não muda quando alguma operação autorizada é realizada ou resolver casos menores ou degenerados para entender qual é a lógica do problema. As soluções sempre usam métodos algébricos, geométricos ou apenas a Lógica, mas essas estratégias são importantes para se saber qual rumo tomar para resolver certos problemas e eu gostaria de compartilhá-las aqui.
Vou citar alguns exemplos ilustrativos.
Uma das principais estratégias para resolução de problemas de olimpíadas é a procura por invariantes. O fundamento do Princípio da Invariância é simples: busca pelo que se mantém constante quando uma operação permitida é realizada. Entre as principais formas de invariantes destacam-se três, que serão apresentadas a seguir através de exemplos resolvidos.
Exemplo 1:
Começando com o conjunto {3, 4, 12}, é permitido apagar dois números a e b e escrever em seus lugares (0,6.a – 0,8.b) e (0,8.a + 0,6.b). É possível chegar ao conjunto {4, 6, 12}?
Resolução: Repare que [math]{(0,6a – 0,8b)}^{2} + {(0,8a + 0,6b)}^{2} = a^2 + b^2[/math] , implicando que a soma dos quadrados dos números dos conjuntos obtidos é invariante. Como [math]{3}^{2} + {4}^{2} + {12}^{2} = {13}^{2}[/math] e [math]{4}^{2} + {6}^{2} + {12}^{2} = {14}^{2}[/math] então não é possível chegar ao conjunto {4, 6, 12}.
Exemplo 2:
Em cada um dos 10 degraus de uma escada existe uma rã. Cada rã pode, de um pulo, colocar-se em outro degrau, mas quando uma rã faz isso, ao mesmo tempo, uma outra rã pulará a mesma quantidade de degraus em sentido contrário: uma sobe e outra desce. Conseguirão as rãs colocar-se todas juntas num mesmo degrau?
Resolução: Numeremos os degraus de 1 a 10 e associemos a cada rã o número do degrau que ocupam. O somatório inicial destes valores é S = 1 + 2 + … + 10 = 55. Perceba agora que este somatório é invariante, pois quando uma rã sobe uma certa quantidade x de degraus, temos outra rã que desce x, fazendo com que a soma das numerações destas duas rãs não se altere. Caso todas as rãs ocupem um mesmo degrau (digamos y), então todas as suas numerações são iguais a deste degrau, ou seja, teremos 10y = 55, que não possui solução inteira. Deste modo, é impossível que todas as rãs ocupem um mesmo degrau.
Fonte: Revista Eureka!
___________________________________________________________________
Princípio dos elementos Extremos.
Considere uma fileira de estudantes ordenada em forma decrescente segundo a altura. A maioria deles tem dois vizinhos. Dois "elementos extremos", o mais alto e o mais baixo, tem somente um vizinho, porém estes dois elementos extremos possuem outras propriedades muito úteis. Por exemplo, quando contamos os estudantes na fileira, a melhor maneira é começar com um destes elementos extremos. Em matemática, algumas vezes trabalhamos com conjuntos cujos elementos parecem ser equivalentes e cujas propriedades conhecidas são poucas. Uma estratégia poderosíssima em tais casos é considerar o elemento, ou os elementos, que de alguma forma são elementos extremos. Por exemplo, quando consideramos um conjunto infinito de números naturais, o elemento extremo é seu elemento menor. Para um conjunto finito de números reais os elementos extremos são o máximo e o mínimo do conjunto.
Em muitos casos o elemento extremo é atrativo devido a que suas propriedades adicionais nos permitem obter concluir sobre o mesmo elemento, ou sobre o do conjunto como um todo. Por exemplo, em um triângulo o lado maior se opõe ao ângulo maior e vice-versa.
Fonte: Revista Eureka!
Exemplo 1:
Encontre rapidamente a soma dos números inteiros e positivos de 1 a 100.
Considerando-se os elementos extremos, podemos observar que 1+100 = 2+99 = 3+98=… = 50+51.
Como a ordem das parcelas não altera a soma e existem 50 parcelas iguais a 101, basta fazer [math]101 \times 50 = 5050[/math], que é a resposta procurada.
Exemplo 2:
Carlinhos pensa num número ímpar positivo menor do que 10. Pedrinho se dispõe a descobrir que número é esse fazendo a seguinte pergunta, quantas vezes forem necessárias: “O número que você pensou é maior, menor ou igual a x ? ”. Note que x é um número que Pedrinho escolhe.
Quantas perguntas desse tipo Pedrinho poderá ter que fazer até descobrir o número pensado por Carlinhos?
Suponha que o número seja 9 e considere, sem perda de generalidade, o número 5, que é a metade de 10. A primeira pergunta será: “O número que você pensou é maior, menor ou igual a 5? ”
Daí, você saberá que o número escolhido é maior que 5. Agora considere o número 8, que é 5 acrescentado ao maior inteiro maior que 2,5, que é a metade de 5. A segunda pergunta será: “O número que você pensou é maior, menor ou igual a 8? ”
Com a terceira pergunta, Pedrinho descobre o número escolhido.
Em geral, se Carlinhos pensa num número ímpar positivo menor do que [math]n[/math], então sendo [math]2^{m}[/math] a maior potência de [math]2[/math] menor que [math]n[/math], o número de perguntas necessárias para descobrir o número é [math]m[/math]. Por exemplo, se Carlinhos pensa num número ímpar positivo menor do que [math]1000[/math], serão necessárias [math]9[/math] perguntas, pois [math]{2}^{9} = 512 <1000[/math].
_____________________________________________________________________
Princípio de considerar casos menores.
Exemplo 1:
(OBM 2004) Dizemos que um número natural é composto quando pode ser escrito como produto de dois números naturais maiores que 1. Assim, por exemplo, 91 é composto porque podemos escrever [math]91 = 7 \times 13[/math]. Mostre que o número
[math]\displaystyle 2^{\left(2^{2004} + 2\right)} + 1[/math]
é composto.
Vamos considerar os último algarismos das primeiras potências de 2. As primeiras potências de 2 são os números 2, 4, 8, 16, 32, 64, 128, 256, 512… Veja que os últimos algarismos se repetem nesse ciclo: 2, 4, 8, 6, 2…
Se [math]n[/math] é múltiplo de [math]4[/math], então, [math]{2}^{n}[/math] termina em [math]6[/math]. Se [math]n[/math] deixa resto [math]2[/math] ao ser dividido por 4, então [math]{2}^{n}[/math] termina em 4. Como [math]2004 = 501 \times 4[/math], o último algarismo de [math]2^{2004}[/math] é 6 e como [math]2^{2004}[/math] é múltiplo de 4, o número [math]2^{\left(2^{2004} + 2\right)}[/math] termina em 4 e [math]2^{\left(2^{2004} + 2\right)} + 1[/math] termina em 5. Qualquer número que termina em 5 é múltiplo de 5 e, portanto, é composto.
Exemplo 2:
_________________________________________________________________________
Princípio de considerar problemas correlatos.
Exemplo 1:
Vamos considerar outra situação que envolve a soma dos algarismos de um número inteiro e positivo. Essa soma sempre deixa o mesmo resto na divisão por 9 que o próprio número. Por exemplo, [math]512[/math] deixa resto [math]8[/math] na divisão por [math]9[/math] e a soma dos seus algarismos é [math]5 + 1 + 2 = 8[/math].
Considerando que zeros à esquerda não contam, uma potência de 2 pode ser multiplicada por 2 ou 4 ou, no máximo, 8 para formar outra potência de 2 com a mesma quantidade de algarismos.
Um número da forma [math]{10}^{n}[/math] ao ser multiplicado por um número maior que 10 resulta em um número com um algarismo a mais. Logo, uma potência de 2 pode ser multiplicada por, no máximo, 8 para ter outra potência de 2 com a mesma quantidade de algarismos.
Um número formado pela reordenação dos algarismos de outro deixa o mesmo resto que o primeiro na divisão por 9.
Considerando-se um número n, temos que 2n ou 4n ou 8n não deixam o mesmo resto que n na divisão por 9. Isso é possível verificar analisando-se cada um dos possíveis restos da divisão de algum número por 9 (os algarismos de 1 a 9).
Exemplo 2:
Encontre todas as sequências de números inteiros, positivos consecutivos cujas somas dos seus termos seja igual a 100.
Vamos considerar outra situação que envolve a soma dos termos de sequências de números. A fórmula da soma dos termos de uma progressão aritmética é
[math]S_n = \displaystyle \frac{({a}_{1} + {a}_{n})n}{2}[/math]
Então, como [math]a_n = a_1 + (n - 1)r[/math] e como os números são consecutivos, temos que [math]r=1[/math].
Então [math]a_n = a_1 + (n - 1)[/math]. Substituindo-se isso em [math]\frac{({a}_{1} + {a}_{n})n}{2}[/math] e igualando a 100, temos que:
[math](2{a}_{1} + n - 1)n = 200[/math]
[math]\displaystyle n = \frac{200}{(2{a}_{1} + n - 1)}[/math]
Como [math]n[/math] e [math](2{a}_{1} + n - 1)[/math] devem ser um números inteiros e positivos, então [math]n[/math] deve ser um divisor inteiro de [math]200[/math]. Os divisores de [math]200[/math] são [math]d_{1} = 1, d_{2} = 2, d_{3} = 4, d_{4} = 5, d_{5} = 8, d_{6} = 10, d_{7} = 20, d_{8} = 25, d_{9} = 40, d_{1} = 50, d_{11} = 100 e d_{12} = 200[/math].
Sendo [math]1 \leq k \leq 12[/math], temos que:
[math]\displaystyle a_1 = \frac{\frac{200}{d_k} + 1 - n}{2}[/math]
[math]\displaystyle a_1 = \frac{\frac{200}{d_k} + 1 - {d}_{k}}{2}[/math]
Igualando-se [math]\frac{\frac{200}{{d}_{k}} + 1 - {d}_{k}}{2}[/math] a cada um dos divisores de [math]200[/math], obtemos os possíveis valores de [math]a_1[/math] e, caso sejam inteiros e positivos encontramos as sequências procuradas, que são estas:
Por exemplo, se [math]n=1[/math], então [math](2{a}_{1} + {d}_{1} - 1) = \frac{200}{1} = 200[/math].
[math](2{a}_{1} + {d}_{1} - 1) = 200[/math]
[math](2{a}_{1} + 1 - 1) = 200[/math]
[math]\displaystyle \boxed{a_1 = 100}[/math]
Se [math]n = 1[/math], então [math]a_1 = 100[/math] e a sequência é [math](100)[/math].
Se [math]n = 5[/math], então [math]a_1 = 18[/math] e a sequência é [math](18, 19, 20, 21, 22)[/math].
Se [math]n = 8[/math], então [math]a_1 = 9[/math] e a sequência é [math](9, 10, 11, 12, 13, 14, 15, 16)[/math].
Existem muitas outras estratégias desse tipo, mas as principais que eu conheço são essas.
