RPM 09 - O que so grandezas proporcionais?

file:///E:/9/4.htm

Que so grandezas proporcionais?

Sugestes e perguntas devem ser enviadas a Elon Lages Lima Instituto de Matemtica Pura e Aplicada Estrada Dona Castorina, 110 22460 Rio de Janeiro, RJ

Em seus dois ltimos artigos para a RPM, o Professor Geraldo vila discute o conceito de grandezas proporcionais e ilustra seus pontos de vista com exemplos e comentrios interessantes. No todo, sua contribuio positiva no sentido de esclarecer um tipo de problema tradicional, que ocorre com freqncia no ensino da Matemtica, nas suas aplicaes s outras Cincias e mesmo na vida prtica. O ponto crucial da questo se situa na definio precisa de grandezas proporcionais. Uma vez entendido com bastante clareza este conceito, todos os problemas relativos a regra de trs e propores se resolvem naturalmente, sem haver necessidade de regras mnemnicas ou quaisquer outros artifcios, como foi to bem colocado nos artigos anteriormente citados. A definio dada deve ser simples e de fcil utilizao. Noutras palavras, ela deve permitir que se reconhea, num problema proposto, sem grande dificuldade, se uma determinada grandeza (ou no) direta ou inversamente proporcional a outras. A definio do Professor vila, embora irretocvel do ponto de vista matemtico, a meu ver, deixa a desejar sob o aspecto de aplicabilidade. Para maior clareza, transcrevemos literalmente abaixo a definio por ele dada (RPM 8, p. 3 Definio 3) : Se vrias variveis, digamos, x, y, z, w, r, s esto relacionadas por uma equao do tipo z=k.xyw/rs, onde k constante, ento dizemos que z diretamente proporcional a x, y e w; e inversamente proporcional a r e s. A dificuldade desta definio na resoluo de problemas a seguinte: para saber (segundo ela) que uma grandeza z diretamente proporcional a x, y, w e inversamente proporcional a r, s, necessrio primeiro conhecer-se a frmula z = k . xyw/rs. Ora, em primeiro lugar esta frmula no dada no enunciado do problema. preciso deduzi-la. Em segundo lugar, para deduzi-la preciso saber propriedades das grandezas em questo, propriedades essas que encerram a verdadeira essncia da proporcionalidade. E, em terceiro lugar, se j estamos de posse desta frmula, pouco importa saber de proporcionalidade; a frmula contm todas as informaes que venham a ser solicitadas. No meu entendimento, definir grandezas proporcionais a partir da frmula acima pr o carro adiante dos bois. A frmula o resultado final. No comea a a soluo do problema. Ela no aparece no enunciado. No comeo da resoluo preciso identificar, por um critrio simples, a proporcionalidade (direta para algumas grandezas, inversa para outras). A partir da que se pode garantir a validez da frmula. Se examinarmos as solues dos problemas apresentados como exemplos no trabalho acima citado, veremos que a frmula usada para definir proporcionalidade aparece sem maiores justificaes. E teria de ser assim pois, como j dissemos, s se pode chegar a ela utilizando propriedades das grandezas que exprimam as proporcionalidades alegadas. E qual , ento, esta definio adequada de grandezas (direta ou inversamente) proporcionais? a seguinte:
1 de 8

5/4/2012 2:34 PM

RPM 09 - O que so grandezas proporcionais?

file:///E:/9/4.htm

Suponhamos que uma grandeza z dependa de vrias outras: x, y, w etc. Isto significa que o valor de z fica determinado quando se conhecem os valores de x, y, w etc. Nesta situao, diz-se que z uma funo das variveis x, y, w etc. e escreve-se z = f(x,y,w, ...). Nas condies acima, diz-se que z diretamente proporcional a x quando, ao multiplicarmos x por uma constante c (mantendo fixas as outras variveis), o valor correspondente de z fica multiplicado pela mesma constante c. Analogamente, diz-se que z inversamente proporcional a x quando, ao multiplicarmos x por uma constante c (mantendo fixas as outras variveis), o valor correspondente de z fica dividido por aquela constante c. (Definies semelhantes para as demais variveis y, w etc.) Por exemplo, a rea A de um retngulo funo da base b e da altura h Se multiplicarmos a base por uma constante c (e mantivermos a altura fixa), a rea fica multiplicada por c. Logo, a rea A diretamente proporcional base b. Neste ponto, algum poderia alegar que, sendo a rea do retngulo expressa pela frmula A = bh, a proporcionalidade resulta da. Argumento enganoso. Para chegar a esta frmula, necessrio passar pela etapa preliminar que consiste em verificar a afirmao anterior. J Euclides (que estudava as reas das figuras planas sem jamais utilizar frmulas) dizia assim: as reas de dois retngulos com a mesma altura esto entre si como suas bases. Isto significa, em nossa terminologia, que a rea do retngulo diretamente proporcional sua base. Uma afirmao anloga vale, evidentemente, para a altura. Outro exemplo: o tempo gasto para ir de um ponto A a um ponto B, em linha reta, com velocidade constante v, inversamente proporcional a essa velocidade. Com efeito, se dobrarmos a velocidade, o tempo se reduzir metade; se triplicarmos a velocidade o tempo ficar dividido por trs, e assim por diante: se a velocidade em vez de v fosse cv, o tempo, em vez de t seria t/c. O ltimo exemplo sugere o seguinte: para verificar que uma grandeza z = f(x, y, w, ...) diretamente proporcional varivel x, talvez no seja preciso verificar a alterao que z sofre quando se substitui x por cx, onde c uma constante arbitrria, isto , um nmero real qualquer. (Para simplificar nosso raciocnio, vamos restringir-nos a problemas onde as variveis assumem apenas valores positivos.) Em quase todos os problemas que ocorrem naturalmente, a grandeza z depende continuamente das variveis x, y, w etc. Isto quer dizer que pequenas perturbaes nessas variveis provocam pequenas alteraes em z. Neste caso, aquilo que suspeitvamos acontece: (*) Para constatar que z diretamente (ou inversamente) proporcional a x, basta verificar que, substituindo-se x por nx, ONDE n UM NMERO NATURAL, z fica substitudo por nz (ou por z/n). Para no perder o fio da meada, deixamos a demonstrao deste fato para o fim desta nota. A observao (*) acima simplifica grandemente o trabalho de verificar a proporcionalidade. Por exemplo, um retngulo de altura h e base n b, onde n um nmero natural, formado pela justaposio de n retngulos, todos de base b e altura h, logo sua rea n vezes a rea de um retngulo de base b e altura h. Portanto trivial concluir que a rea do retngulo diretamente proporcional base (e, do mesmo modo, altura). Mtodo anlogo se aplica ao exemplo da velocidade, que demos acima. Alis foi isto que

2 de 8

5/4/2012 2:34 PM

RPM 09 - O que so grandezas proporcionais?

file:///E:/9/4.htm

fizemos. A partir da definio que demos, provaremos o seguinte Teorema. Se uma grandeza z = f(x, y, r, s) diretamente proporcional a x, y e inversamente proporcional a r, s ento existe uma constante k tal que z = kxy/rs. A constante k chama-se coeficiente de proporcionalidade. Demonstrao: Seja k = f(l, 1, 1, 1) o valor assumido por f quando se toma x = y = r = s = 1. Observando-se que x = x . 1, y = y . 1, r = r . 1 e s = s . 1, a definio de grandezas direta e inversamente proporcionais nos fornece sucessivamente

Observao. A recproca do teorema acima tambm vlida: se existe uma constante k tal que z = k . xy/rs, ento resulta imediatamente da nossa definio que z diretamente proporcional a x, y e inversamente proporcional a r e s. Isto mostra que, do ponto de vista estritamente matemtico, a definio dada pelo Prof. vila equivalente que proponho. Minha discordncia situa-se no nvel metodolgico. Estou de acordo com quase, tudo o que ele diz. Inclusive, apoio plenamente sua opinio de que o fundamental ter-se uma frmula do tipo z = k . xy/rs e tudo o mais decorre da, sem artifcios, tabelinhas ou truques. Mas acho que existe um passo crucial anterior frmula. Os argumentos que apresento nesta nota tm a dupla finalidade de chamar ateno para isto e esclarecer muitos outros aspectos desta importante noo matemtica. Vejamos o Problema 2 do trabalho do Professor vila (RPM 8, p. 4). O nmero D de dias necessrios para produzir P peas em M mquinas que trabalham H horas por dia diretamente proporcional a P porque para dobrar, triplicar, quadruplicar etc. o nmero de peas produzidas necessrio dobrar, triplicar etc. o nmero de dias de trabalho (supondo, evidentemente, M e H fixos). Por outro lado, se dobrarmos, triplicarmos etc. o nmero M de mquinas, o nmero de dias (necessrios para produzir as P peas, trabalhando H horas por dia) fica reduzido metade, a um tero etc. Logo, D inversamente proporcional a M. Analogamente se verifica que D inversamente proporcional a H. Feitas estas simples constataes, se chamarmos de k o nmero de dias necessrios para produzir uma s pea, usando uma nica mquina e trabalhando apenas uma hora por dia, resulta do teorema acima demonstrado que Desta frmula retira-se qualquer informao que se deseje sobre o assunto. (Note que nosso k no o mesmo do artigo citado.) Nos seus artigos, alm de mostrar que regras e nomes especficos para estes problemas so resqucios histricos j superados pelo desenvolvimento da Aritmtica e da lgebra, o Professor vila, muito apropriadamente, tambm chama a ateno do leitor para o erro comum que consiste em confundir funo montona com funo linear. Se z depende de x e se, quando aumentamos x, z tambm aumenta, ento dizemos que z uma funo (montona) crescente de x. Mas isto no significa que z tenha que ser diretamente proporcional a x. Analogamente, se sabemos que z decresce quando x aumenta, no temos o direito de concluir por causa disto que z seja inversamente proporcional a x. Podemos apenas dizer que z uma funo (montona) decrescente de x. A lei da atrao universal (Newton) diz que a matria atrai a matria na razo direta das massas e na razo inversa do quadrado da distncia. Isto significa que se F a fora de

3 de 8

5/4/2012 2:34 PM

RPM 09 - O que so grandezas proporcionais?

file:///E:/9/4.htm

atrao (gravitacional) entre dois corpos, um com massa m e outro com massa m, situados a uma distncia d um do outro, ento, em primeiro lugar, F diretamente proporcional a m e m. Alm disso, F decresce quando a distncia d aumenta. Se dobrarmos a distncia d, a fora F fica dividida por 4. Mais geralmente, se multiplicarmos d por uma constante c, F fica dividida por c2. Por isso, F inversamente proporcional a d2. Resulta, ento, do teorema acima que F = k . mm/d2, onde a constante k depende do sistema de unidades utilizado para medir as massas e a distncia. Noutro exemplo, podemos considerar o tempo t que uma pedra leva para atingir o solo ao cair de uma altura h. Evidentemente, t uma funo crescente de h: quanto maior a altura, mais demora a pedra a chegar no cho, mas se nos dispusermos, como Galileu, a fazer uma srie de experincias com alturas h, 2h, 3h etc., veremos que os tempos correspondentes so t, , etc., e concluiremos que t no diretamente proporcional a h e sim a . Assim, se um prdio 9 vezes mais alto do que outro, uma pedra que caia do seu topo leva apenas 3 vezes mais tempo para chegar ao solo do que se tivesse cado do prdio menor. A frmula neste caso t = k , onde a constante k est relacionada com a acelerao da gravidade. Voltando a Euclides, ele diz tambm que as reas de dois crculos esto entre si como os quadrados dos seus raios. Em nossa terminologia, isto significa que a rea do crculo diretamente proporcional ao quadrado do raio. Do teorema acima resulta ento que se r o raio do crculo e A a sua rea, ento A = k . r 2, onde a rea de um crculo de raio 1. Como se sabe, tem-se k = p, logo A = pr 2. Mas Euclides nunca deduzia frmulas para as reas porque isto exigiria usar nmeros reais como resultados das medidas e a Matemtica Grega de sua poca no conhecia os nmeros reais. Em vez de nmeros, usavam-se razes entre duas grandezas. Por isso o enunciado euclidiano que acabamos de reproduzir era o estgio final da discusso do problema da rea do crculo. A esta altura convm reler os artigos do Professor vila, bem como o livro Episdios da Histria Antiga da Matemtica, de A. Aaboe. Os exemplos acima exibem situaes em que uma grandeza z funo montona crescente (ou decrescente) de uma varivel x, sem que se tenha z diretamente (ou inversamente) proporcional a x. Entretanto, nesses exemplos, z diretamente ou inversamente proporcional a alguma potncia de x (x2, etc.). Para que no se faa um juzo equivocado da questo, parece-nos de bom alvitre encerrar estas consideraes com um exemplo bastante relevante, no qual uma grandeza z funo crescente de trs variveis x, y, w, sendo diretamente proporcional a y mas no a potncia alguma x ou w. Seja z o capital que se obtm depois de x anos, quando se investe uma quantia y taxa de w por cento ao ano (juros compostos). Evidentemente, z = f(x, y, w) funo crescente de cada uma dessas trs variveis. Em relao varivel y (capital inicial) temos f(x,n y, w) = n . f(x, y, w) porque, evidentemente, n pacotes iguais com a mesma quantia y devem produzir o mesmo rendimento que um pacote nico com ny cruzados. Logo, z diretamente proporcional ao capital inicial y. J em relao s outras variveis, o mesmo no acontece. Vejamos, por exemplo, o nmero x de anos. Temos f(2x,n y, w) > 2 . f(x, y, w) porque, ao empregarmos o mesmo capital y durante 2x anos ( mesma taxa de juros w), nos ltimos x anos o rendimento maior porque corresponde a um capital j cresceu em relao ao inicial. Se estudarmos a questo cuidadosamente, veremos que, na realidade,

4 de 8

5/4/2012 2:34 PM

RPM 09 - O que so grandezas proporcionais?

file:///E:/9/4.htm

tem-se f(nx, y, w) = f(x, y, w)n. Isto caracteriza o que se chama crescimento exponencial. A frmula que exprime z como funo de x, y e w z = y . exw. (Veja meu livro Logaritmos, publicado pela SBM, p. 105.) Da resulta que z no proporcional a potncia alguma de x ou de w. Para encerrar, provaremos o resultado (*) que foi enunciado acima. Ali temos uma grandeza z = f(x, y, ...), que funo das variveis x, y, ... Sabemos que se substituirmos x por nx, onde n um nmero inteiro, o valor correspondente de z fica alterado para nz. Isto equivale a dizer que f(nx, y, ...) = n . f(x, y, ...) quando n inteiro. Como as demais variveis y, ... no vo entrar nesta discusso, nossa escrita ficar grandemente simplificada se escrevermos apenas z = (x) e ento teremos (nx) = n . (x) quando n inteiro. Queremos, a partir da, provar que (rx) = r . (x) quando r = p/q um nmero racional. Isto se faz assim:

logo

Mas nosso objetivo mais amplo. Queremos provar que (cx) = c . (x) para qualquer nmero real c, racional ou irracional. Para provar esta igualdade no caso de c irracional teremos de usar a noo de limite e a hiptese de que contnua. Assim, podemos escrever c = lim r n, onde (rn) uma seqncia de nmeros racionais. Conforme acabamos de provar, tem-se (r n . x) = r n . (x), para todo n. Logo, (cx) = (lim r n . x) = lim (r nx) = lim r n . (x) = c . (x).

A passagem correspondente ao segundo sinal de igualdade se justifica por causa da continuidade da funo . Observao: So muitas as situaes, principalmente em Geometria, nas quais se tem uma funo que cumpre a condio (nx) = n . (x) para n inteiro. Da resulta imediatamente, como vimos acima, que (rx) = r . (x) para r racional. Se soubermos que contnua, concluiremos que (cx) = c . (x) para c irracional tambm (ainda visto acima). Mas s vezes no fcil provar diretamente que contnua. Existe outro tipo de hiptese que permite a mesma concluso, com a vantagem de ser mais fcil de constatar. a monotonicidade de . Se soubermos que x < x implica (x) < (x), ento de (nx) = n . (x) para n inteiro, passaremos para (rx) = r . (x) com r racional como acima e, em seguida, para (cx) = c . (x) com c irracional, do modo seguinte. Suponhamos, por absurdo, que fosse (cx) < c . (x). Ento tomaramos um nmero racional r < c to prximo de c que tivssemos (cx) < r . (x) < c . (x).

5 de 8

5/4/2012 2:34 PM

RPM 09 - O que so grandezas proporcionais?

file:///E:/9/4.htm

Da viria (cx) < (rx) < c . (x), o que uma contradio, pois r < c acarreta rx < cx e da (rx) < (cx). De modo semelhante, vemos que (cx) > c . (x) tambm levaria a uma contradio. Conseqentemente, deve ser (cx) = c . (x). Por exemplo, vimos que, se n um nmero natural, a rea de um retngulo de base nb e altura h igual a n vezes a rea de um retngulo de base b e altura h. Alm disso, claro que se b < b, ento a rea de um retngulo de base b e altura h menor do que a rea de um retngulo de base b e mesma altura. Segue-se, portanto, do que foi provado acima que para qualquer nmero real positivo c, a rea de um retngulo de base cb e altura h c vezes a rea de um retngulo de base b e altura h. O princpio contido na observao anterior de fundamental importncia nas questes de proporcionalidade em Geometria. Um grande nmero dessas questes se baseia no Teorema de Tales, cujo enunciado clssico o seguinte: Se um feixe de paralelas cortado por duas secantes, os segmentos determinados pelas paralelas sobre as secantes so proporcionais. Em linguagem atual, isto se exprime assim: duas retas quaisquer r e r (as secantes do enunciado) cortam uma terceira nos pontos A e A respectivamente. (O feixe significa todas as retas paralelas a AA.) P ara cada ponto X da reta r traamos uma paralela a AA, que corta a reta r no ponto X. O Teorema de Tales afirma que o comprimento de AX proporcional ao comprimento de AX. Se fssemos depender de conhecermos primeiro uma frmula do tipo AX = kAX para podermos afirmar ento que AX proporcional a AX, estaramos em dificuldades. Mas, se usarmos a nossa definio de proporcionalidade, como claro que AX < AY implica AX < AY, basta provar que AX = n . AZ implica AX = n . AZ, para todo nmero natural n, o que se faz muito facilmente com igualdade de tringulos (v. RPM 7, p. 7). Agora sim. Sabendo que AX proporcional a AX (ou seja, sabendo que AX=n . AZ implica AX = n . AZ) podemos afirmar que existe um nmero real k tal que AX = k . AX para todo X na reta r. Que nmero k este? simplesmente a razo AX/AX, ou seja, o quociente da diviso do comprimento AX pelo comprimento AX. No importa qual o X tomado, o resultado sempre o mesmo k. Nisto reside precisamente a proporcionalidade. Finalmente, achamos oportuno dar mais um esclarecimento sobre o assunto. Ao aplicarmos um modelo matemtico para analisar uma situao concreta, convm ter sempre em mente os limites da validez do modelo. Em particular, quando afirmarmos que uma grandeza z diretamente proporcional a outra x, devemos deixar claro (ou, pelo menos, subentendido) que isto se d dentro de certos limites da variao para z e x. Por exemplo, a lei de Hooke diz que a deformao sofrida por um corpo elstico (digamos, uma mola) diretamente proporcional (intensidade da) fora empregada. A frmula matemtica que exprime este fato d = k . F . (d = deformao, F = intensidade da fora, k = coeficiente de elasticidade da mola.) Esta equao um modelo matemtico para representar o fenmeno. Este modelo sujeito a restries evidentes. A fora F no pode ser muito pequena porque ento, mesmo positiva, no seria suficiente para deslocar a mola. Noutras palavras, se F for pequena, tem-se d = 0 com F > 0, logo no vale o modelo d = k . F. Tambm no se pode tomar F muito grande porque a mola ento
6 de 8

5/4/2012 2:34 PM

RPM 09 - O que so grandezas proporcionais?

file:///E:/9/4.htm

arrebentaria. Outro exemplo o clssico problema de operrios construindo uma casa. Em geral, supe-se que o tempo necessrio para isto inversamente proporcional ao nmero de operrios. Se tal fosse verdadeiro sem restries ento, empregando-se um nmero suficientemente grande de operrios, poder-se-ia construir uma casa num tempo arbitrariamente pequeno: um segundo, por exemplo. Mas no bem assim. Um nmero exagerado de operrios vai trazer confuso e, conseqentemente, casa nenhuma se construir. conveniente que o professor, ao ensinar este tpico, alerte os alunos sobre tais cuidados, deixando bem claro que as concluses obtidas pressupem uma hiptese subjacente: a de que o modelo matemtico se aplica situao estudada. Nem sempre o modelo da proporcionalidade o mais adequado. Em certas situaes econmicas, por exemplo, vale o princpio dos retornos descrentes, segundo o qual, se aumentarmos muito os investimentos, os lucros adicionais crescero cada vez menos. Como ilustrao: se, num certo terreno, plantarmos o dobro de sementes, poderemos dobrar a colheita, mas, se continuarmos dobrando, ano a ano, o que plantamos, no razovel esperar que dobrem sempre as colheitas. A partir de um certo ponto, comea-se a notar a lei dos retornos decrescentes. A mesma situao ocorre em fisiologia: quando aumenta o estmulo, aumenta a sensao, mas, depois de um certo ponto, o acrscimo das sensao cada vez menor em relao ao acrscimo do estmulo. Uma situao oposta ocorre com o imposto de renda que pagamos. A renda lquida do contribuinte classificada em intervalos, chamados faixas. Em cada faixa, o imposto a pagar proporcional renda lquida. Mas o coeficiente de proporcionalidade varia de uma faixa a outra; na realidade, cresce quando se passa de uma faixa de renda a outra maior. Uma atividade interessante (e extremamente educativa) consiste esboar o grfico da funo y = f(x) nas situaes que examinamos acima. No caso de y ser diretamente proporcional a x, temos y = k .x. Quando y inversamente proporcional a x, temos y = k/x. No primeiro caso, o grfico uma reta e no segundo uma hiprbole.

Numa situao de retornos decrescentes temos y = f(x) onde f uma funo cncava; embora crescente, cresce cada vez mais lentamente. No caso do imposto de renda, o grfico formado por uma poligonal que se torna cada vez mais prxima da vertical. Aqui, tem-se uma funo convexa.

7 de 8

5/4/2012 2:34 PM

RPM 09 - O que so grandezas proporcionais?

file:///E:/9/4.htm

Curiosidade matemtica Em visita minha cidade natal, no interior de Minas Gerais, contou-me um amigo, Professor Roberto Bianchi, que estava se distraindo com uma calculadora eletrnica, quando se deparou com um fato interessante. As dzimas peridicas de geratrizes com denominador 7 possuem, em cada perodo, os mesmos algarismos: 1, 4, 2, 8, 5, e 7, nessa mesma ordem, conforme passamos a mostrar abaixo, atravs das setas: possvel a existncia de outro exemplo anlogo? (enviado por Joel Faria de Abreu, Braslia, DF) A colega Terezinha Vnia Chassot, Montenegro, RS, conta-nos mais fatos curiosos sobr o nmero 142.857: Multipliquemo-lo por 2. O produto 285714. Os algarismos permanecem os mesmos, s a ordem sofre pequena alterao. O mesmo ocorre com: 142857 x 3 = 42857 1; 142857 x 4 = 57 1428; 142857 x 5 = 7 14285; 142857 x 6 = 857 142; 142857 x 7 = 999999. Efetuando 142857 x 8 obtemos 1 14285 6 todos os algarismos aparecem, com exceo do 7. Este foi decomposto em duas partes: 6 e 1. Efetuando 142857 x 9 obtemos 1 2857 13 todos os algarismos aparecem, com exceo do 4. Este foi decomposto em duas partes: 3 e 1. E h mais...

8 de 8

5/4/2012 2:34 PM