1

O PAPEL DA GEOMETRIA NO TRATAMENTO DE TEMAS DE

LGEBRA E ANLISE: ALGUNS EXEMPLOS




Suzana Metello de Npoles
*









Resumo:
Apresentamos trs exemplos que evidenciam a mais valia que se pode obter na utilizao de
aspectos de carcter geomtrico para a explorao de tcnicas e conceitos em Matemtica.
O primeiro exemplo recorda um episdio marcante da histria desta cincia: a constatao da
existncia de grandezas incomensurveis. Recorrendo apenas a argumentos geomtricos,
justificaremos a impossibilidade de exprimir a raiz quadrada de 2 como razo de dois
nmeros inteiros.
No segundo exemplo trataremos da resoluo geomtrica de equaes de segundo grau.
Exploraremos geometricamente o facto da frmula resolvente destas equaes resultar de
completar algebricamente quadrados.
O terceiro exemplo contempla o conceito de logaritmo e pretende realar como a sua
definio geomtrica, estreitamente ligada ao conceito de rea de uma figura plana, apresenta
considerveis vantagens relativamente definio usual de logaritmo como expoente.
nosso objectivo mostrar como o estudo das conexes da geometria com outras reas da
matemtica pode proporcionar uma abordagem mais rica de muitos temas constantes dos
programas do ensino bsico e secundrio.


*
Professora auxiliar da Faculdade de Cincias da Universidade de Lisboa. Colabora com os centros de lgebra
(CAUL) e de Matemtica e Aplicaes Fundamentais (CMAF) da Universidade de Lisboa na rea da
Comunicao da Matemtica.

2
1. A irracionalidade da raiz quadrada de dois

Num tringulo rectngulo, o quadrado do comprimento da hipotenusa igual soma dos
quadrados dos comprimentos dos catetos.

Este famoso teorema, cuja descoberta atribuda a Pitgoras, transtornou o que at ento era
considerada a harmonia do universo. A constatao de que a diagonal de um quadrado
incomensurvel com o lado e que, consequentemente, a raiz quadrada de 2, 2 , no se pode
exprimir como um cociente de nmeros inteiros abalou profundamento a crena pitagrica
segundo a qual no universo tudo estava relacionado com inteiros ou razes de inteiros.
Convencidos de que os deuses os castigariam caso eles divulgassem aquilo que lhes parecia
uma imperfeio divina, os pitagricos tentaram ocultar a sua descoberta. Este facto teve
grandes repercusses na histria da cincia que se fizeram sentir at finais do sculo XIX. De
cada vez que as necessidades do clculo levavam a introduzir novos entes numricos gerava-
se uma enorme desconfiana sua volta, o que levava a atribuir-lhes designaes curiosas.
Assim, os nmeros que, tal como 2 , no se podem exprimir como cociente de nmeros
inteiros, que actualmente designamos por irracionais, eram designados por nmeros
inexprimveis e por nmeros incalculveis. Durante muitos sculos os nmeros reais
(fraccionrios e irracionais) foram apenas concebidos como medidas de grandezas e s nos
finais do sculo XIX, principalmente por obra dos mtemticos alemes Dedekind e Cantor, se
construiu uma teoria dos nmeros reais independente da geometria.

A demonstrao da irracionalidade de 2 pode ser feita, por reduo ao absurdo, com recurso
a argumentos geomtricos
1
. A notvel simplicidade daquela que apresentamos em seguida
permite adapt-la como actividade para a sala de aula, por exemplo quando se estudam
questes envolvendo semelhana de tringulos.

1
A demonstrao da irracionalidade de 2 foi sugerida por Aristteles na obra Analytica Priora como um exemplo
da reduo ao absurdo e apresentada por Euclides na obra Elementos. Euclides sups, por absurdo, que 2 se podia
escrever como cociente de dois nmeros naturais p e q, q p = 2 , em que a fraco
q p
irredutvel, isto , no pode ser
simplificada (o que acontece quando p e q so primos entre si) . Nessas condies 2 ) / (
2
= q p , pelo que
2
p
tem de ser um
nmero par (porque
2 2
2q p = ) e, consequentemente, p tambm (porque se fosse mpar o seu quadrado tambm o seria).
Mas se p par existe um natural k tal que
k p 2 =
e assim
2 2
2 4 q k = . Ento
2 2
2k q = e q tambm tem de ser par
(porque
2
q
par), o que absurdo visto que p e q , por serem primos entre si, no tm factores comuns.
A demonstrao por reduo ao absurdo com recurso a argumentos geomtricos que apresentamos da autoria do conhecido
matemtico norte americano Tom Apostol e faz parte do vdeo Os primrdios da Histria da Matemtica do mesmo autor.
3

O nmero 2 a medida da hipotenusa de um tringulo rectngulo
issceles com catetos iguais a 1.
Por absurdo, suponhamos que 2 se pode exprimir como cociente de
dois nmeros inteiros e sejam p e q os menores inteiros tais que
q
p
= 2 . Nestas condies q
o menor nmero inteiro tal que 2 q um inteiro.
Ento, ampliando o tringulo rectngulo com catetos iguais a 1 pelo factor q, obtemos o
menor tringulo rectngulo cujos catetos e hipotenusa so nmeros inteiros, q e 2 q
respectivamente.
Vejamos como a partir deste tringulo se pode construir um mais pequeno com a mesma
propriedade, o que absurdo.
Com centro A e raio q tracemos um arco de
circunferncia. No ponto D em que este arco corta
a hipotenusa tracemos um perpendicular a esta e
seja E o ponto onde ela corta o cateto BC.
Os tringulos ABC e BDE so semelhantes (porque
tm dois ngulos iguais). Assim, BDE um
tringulo rectngulo isscelos com catetos inteiros
(iguais a p-q). Como EC = DE, a medida da sua
hipotenusa, igual a q-(p-q), tambm um inteiro, o
que absurdo.

2. Resoluo geomtrica de equaes do segundo grau

A determinao das razes de equaes do segundo grau ou equaes quadrticas,
c bx ax + +
2
, com 0 a , constitui um dos itens curriculares cuja abordagem est
praticamente circunscrita aplicao de uma frmula a frmula resolvente seguida de
alguma manipulao algbrica.
q
q
A
B C
D
E
p-q
1
1
2
4
Esta frmula mgica no mais do que o resultado de transformar a expresso
c bx ax + +
2
, com 0 a , num quadrado perfeito mais uma constante
2
. Mas um quadrado
perfeito pode ser interpretado geometricamente como a rea de um quadrado. neste
processo geomtrico de completar quadrados, utilizado h mais de mil anos por Al-
Khwrizm, que vamos trabalhar nos exemplos seguintes, na convico que ele pode
constituir uma mais valia para a uma primeira abordagem do estudo das equaes quadrticas.
Consideremos a equao 21 4
2
= + x x . Trata-se de uma equao da forma 0
2
= + + c bx a ,
com 0 0 > > b , a e 0 < c .
Para determinar x tal que 21 4
2
= + x x , desenhe-se um quadrado
de lado x e dois rectngulos de lados x e 2. Ajustem-se as trs
figuras, e complete-se com um quadrado de lado 2 como se
indica na figura.
Tendo em conta que 21 4
2
= + x x , a rea da parte sombreada
igual a 21. Ento, a rea do quadrado maior, ( )
2
2 + x , igual a
4 21 4 4 4 2 2
2 2
+ = + + = + + + x x x x x e x deve ser tal que ( )
2 2
5 25 2 = = + x .
Assim 5 2 = + x
3
, sendo a raiz positiva desta equao dada por 3 2 5 = = x e a raiz
negativa por 7 2 5 = = x .

Seja agora a equao x x 5 6
2
= + . Tem-se neste caso uma equao quadrtica
0
2
= + + c bx a , com 0 0 < > b , a e 0 > c . imediato que no podem existir solues
negativas. Vamos procurar as solues desta equao recorrendo a puzzles com quadrados e
rectngulos.

2

= + + + = + + 0
4 4
0
2 2
2 2
c
a
b
a
b
bx ax c bx ax c
a
b
a
b
bx ax
a
b
x a = + + = +
4 4
)
2
(
2 2
2 2
.
Ento + x a
= c
a
b
a
b
4 2
2

=
a
ac b
a
b
x a
4
4
2
2

ac b
a a
b
x 4
2
1
2
2
=
.

3
Ao escrevermos 5 2 = + x estamos a usar nmeros negativos e manipulao algbrica. Mas para determinar a
raiz negativa desta equao poderiamos recorrer a uma interpretao geomtrica anloga anterior, observando
que se a raiz negativa da equao 21 4
2
= + x x , ento a b = ser raiz positiva da equao 21 4
2
= x x .

x
2
2x

2x

4

x

2

5
Se x uma raiz positiva da equao, tem-se necessriamente que x > 5 ; com efeito se x 5
seria x x 5
2
e x x 5 6
2
> + . Tem assim sentido desenhar um quadrado de lado x dentro de
um rectngulo de lados 5 e x.
Comecemos por admitir que x >
2
5
. Consideremos um rectngulo com lados iguais a 5 e x,
que decompomos em trs partes: um quadrado de lado x, o rectngulo B com lados x e
2
5
e A
com lados x e x
2
5
.
Como x x 5 6
2
= + , o rectngulo de vrtices
XYZW tem rea igual a 6. Coloque-se em
cima do rectngulo B um rectngulo igual
a A depois de o rodar de 90 como se
indica na figura. Como A tem lados x e
x
2
5
, a medida do segmento YT igual a
x
2
5
e XTUV um quadrado de lado
2
5
e, portanto, com rea igual a
4
25
. Ento, a rea do
rectngulo tracejado obliquamente igual a
4
1
6
4
25
= , pelo que o lado igual a
2
1
. Como a
medida do segmento RU igual a x
2
5
, tem-se que
2
1
2
5
= x e, finalmente, 2
2
1
2
5
= = x .
Como determinar a outra raiz? perfeitamente legtimo dizer que o raciocnio anterior leva a
concluir que tanto
2
2
5
|

\
|
x como
4
1
quantificam rea do quadrado tracejado obliquamente,
pelo que
2
1
2
5
= x , e a outra raiz da equao
2
1
2
5
+ = x . Mas, ao considerar nmeros
negativos, estamos mais uma vez a abandonar o raciocnio geomtrico
4
para a determinao
da segunda raiz.


4
Para determinar a outra raiz desta equao, que positiva e maior ou igual a 5/2, poderiamos tambm recorrer a
um puzzle com quadrados e rectngulos, mas o processo complica-se consideravelmente.
5/2
x
A
B
X
Y
Z
W
T
A



U
V
R
5/2
6
Os exemplos apresentados mostram que, consoante os sinais dos coeficientes a, b e c da
equao 0
2
= + + c bx ax com 0 a , necessrio recorrer a figuras diferentes. essa
variedade de figuras que, apesar de constituir um desafio aliciante para quem comea a
resolver equaes quadrticas, torna evidente a necessidade de um algoritmo que se possa
utilizar para quaisquer coeficientes.

3. Logaritmos e reas
Na origem do conceito do logaritmo esteve um motivo muito prtico: a simplificao dos
clculos aritmticos. Mais precisamente, procurou-se um processo que permitisse transformar
produtos em somas.
No incio do sculo XVII, o matemtico escocs Napier construiu um sistema de logaritmos
constitudo por uma tabela com duas colunas que associava a cada nmero positivo x na
primeira coluna um nmero ( ) x L designado por logaritmo de x na segunda coluna,
verificando as condies seguintes:
(i) ( ) ( ) y L x L y x < <
(ii) ( ) ( ) ( ) y L x L xy L + =
Para multiplicar dois nmeros x e y somam-se os correspondentes valores ( ) x L e ( ) y L da
segunda coluna e procura-se na coluna da esquerda o nmero correspondente ao valor obtido,
que traduz o produto xy .
Na sequncia da publicao em 1614 da tabela de Napier, o matemtico ingls Briggs entrou
em contacto com Napier e props a construo de uma nova tabela que foi trabalhada em
conjunto tirando partido da utilizao de um sistema numrico de base 10, o que facilita a
sua elaborao. O sistema de logaritmos assim criado contm os denominados logaritmos
decimais ou ordinrios ou de base 10. De acordo com este sistema, se
y
x 10 = , ento
( ) y x L = .
Considerando o nmero de Euler, e, define-se o logaritmo natural do nmero positivo x como
sendo o nmero y tal que
y
e x = .

7
Nos nossos dias a utilidade dos logaritmos para efectuar clculos est ultrapassada. Mas a sua
importncia mantm-se bem viva, dado o papel da funo logartmica na modelao
matemtica de situaes reais. Quando se trabalham os logaritmos no ensino secundrio a
definio com base numa funo exponencial levanta dificuldades ao nvel da compreenso
do conceito. A funo logaritmo surge frequentemente num contexto de modelao, mas em
que se aplicam modelos previamente construdos, pelo que as questes se resumem a alguma
manipulao algbrica a par com a utilizao de uma calculadora (em substituio das
tradicionais tabelas de logaritmos). Em resumo: usam-se logaritmos sem entender realmente o
que um logaritmo. Saliente-se que eminentes matemticos como Bento de Jesus Caraa e
Jos Sebastio e Silva alertaram para esta situao. Em [4] o matemtico brasileiro Elon
Lages Lima props uma abordagem geomtrica deste conceito, referindo que, a definio
geomtrica dos logaritmos apresenta uma vantagem incontestvel de simplicidade conceptual
e tcnica.
Mas a abordagem geomtrica do conceito de logaritmo remonta tambm ao sculo XVII.
Surgiu em 1647 com a seguinte descoberta do Jesuta belga St. Vincent:
A rea abaixo do ramo positivo da hiprbole y
x
=
1
um logaritmo
Com este enunciado, pretende-se significar que a rea da poro de plano do primeiro
quadrante limitada pelo grfico da hiprbole y
x
=
1
, e por duas rectas verticais
correspondentes a abcissas positivas um logaritmo, isto , verifica as propriedades (i) e (ii).

Em que se baseia esta descoberta?
St. Vincent descobriu que se, para cada 1 > x , ( ) x L designar a rea da poro de plano
x ,
A
1

do primeiro quadrante limitada pelo grfico da
hiprbole y
x
=
1
e pelas rectas verticais com
abcissas 1 e x, ento para quaisquer [ [ + , b , a 1
verifica-se a igualdade
( ) ( ) ( ) b L a L ab L + = .

1 x
y
x
=
1

8
Exemplifiquemos com 2 = a e 3 = b : Consideremos as regies
2 1,
A entre as rectas 1 = x e
2 = x , e
6 3,
A entre as rectas 3 = x e 6 = x . A segunda regio resulta da primeira contraindo
as ordenadas pelo factor 3 e dilatando as abcissas pelo factor 3. Com efeito, esta deformao
muda o ponto ( ) 1 1 , em 3
1
3
,
|
\

| e 2
1
2
,
|
\

| em
6
1
6
,
|
\

| . Ento a rea da regio

2 1,
A igual area
da regio
6 3,
A
5
.

Mas a rea de
2 1,
A dada por ( ) 2 L e a rea de
6 3,
A dada por ( ) ( ) 3 6 L L . Ento
( ) ( ) ( ) 2 3 6 L L L = e ( ) ( ) ( ) 3 2 3 2 L L L + = .
Defina-se ento em
+
IR uma funo L pondo ( )

< <
=
>
=
1 0
1 0
1
1
1
x A de rea
x
x A de rea
x L
x ,
x ,
.
imediato que a funo assim definida verifica as condies (i) e (ii). Com recurso
definio geomtrica da funo L demonstram-se naturalmente as propriedades de uma
funo logartmica (ver [1]).
Vamos verificar que, semelhana do logaritmo natural, a funo L satisfaz a dupla
desigualdade ( ) ] [ + +
+
, x , x x L
x
x
1 1
1

imediato que a dupla igualdade se verifica para 0 = x .
Da definio de L decorre facilmente a segunda
desigualdade, representada geometricamente nas
figuras seguintes correspondentes, respectivamente, a
0 > x e ] [ 0 1, x .
Com efeito, se 0 > x , a rea do rectngulo
sombreado igual a x e a rea tracejada igual a
( ) 1 + x L .

5
Observemos que os rectngulos com bases iguais a 1 e 3 e alturas 1 e 1/3 tm a mesma rea. O mesmo acontece
para os rectngulos com bases iguais a 1 e 3 e alturas 1/3 e 1/6. Resta agora tomar subdivises cada vez mais
finas do intervalo [1, 2] e as correspondentes do intervalo [3, 6]. (Para mais detalhes ver [2])
1 3 6 2
2 1,
A
6 3,
A
1 x+1
9

Se ] [ 0 1, x , a rea do rectngulo sombreado
igual a x e a rea tracejada igual a
( ) 1 + x L . Ento ( ) 1 + < x L x e,
consequentemente, ( ) 1 + > x L x .


Analisemos geometricamente a primeira desigualdade para 0 > x e ] [ 0 1, x com base nas
duas figuras seguintes:

Se 0 > x a rea do rectngulo sombreado
igual a
1 + x
x
e a rea tracejada igual a
( ) 1 + x L , pelo que ( ) 1
1
+ <
+
x L
x
x
.

Se ] ] 0 1, x a rea do rectngulo
sombreado igual a
1 +

x
x
e a rea
tracejada igual a ( ) 1 + x L . Como
( )
1
1
+

< +
x
x
x L tem-se que
( ) 1
1
+ <
+
x L
x
x


Com suporte na representao geomtrica verificmos ento que
( ) x x L
x
x
+
+
1
1
, ] [ + , x 1
Desta dupla desigualdade, resulta facilmente que
( )
1
1
0
=
+
x
x L
lim
x
, uma vez que, para 0 x ,
se tem
( )
1
1
1
1

+ x
x L
x
e 1
1
1
0
=
+ x
lim
x
.


1 x+1
1 x+1
1
1
+ x
1
1
+ x
1 x+1
10
O valor deste limite permite esclarecer a relao entra a funo L e os logaritmos naturais.

Com efeito, sendo a funo IR IR L
+
: estritamente crescente em
+
IR e tal que
( ) ( ) ( ) y L x L xy L + = , a sua funo inversa
+
IR IR E : tal que ( ) ( ) ( ) y E x E y x E = + .
Tendo em conta que
( )
1
1
0
=
+
x
x L
lim
x
e usando a mudana de varivel ( ) 1 + = x L u tem-se que
( ) 1 + = x u E . Como ( ) 1 + = x L u toma o valor zero quando 0 = x , resulta que
( )
( )
1
1
1
0 0
=

=
+
u E
u
lim
x
x L
lim
u x
.
Ento, para qualquer x em IR, tem-se que
( ) ( )
( )
( )
( ) x E
h
h E
x E lim
h
x E h x E
lim
h h
=

=
+

1
0 0
,
Pelo que a funo E diferencivel em IR e ( ) ( ) IR x , x E x E = .
Assim, ( ) IR x , C e x E
x
+ = , com C constante. Mas sendo ( ) 0 1 = L , tem-se que
( ) 1 1 0 1 = + = = C E , pelo que 0 = C e ( ) IR x , e x E
x
= .

Conclumos assim que a funo L definida atravs de reas planas a funo inversa da
funo exponencial e podemos finalmente escrever que ( ) ( ) x ln x L = . Os logaritmos naturais
podem ento ser formulados como reas planas associadas hiprbole y
x
=
1
, formulao
essa que traz grandes vantagens, tanto no que respeita compreenso do conceito como sua
utilizao prtica.

Bibliografia:
[1] Barbosa, Lus A. Valentim, Logaritmos: Uma Viso Geomtrica, Tese de Mestrado em
Matemtica para o Ensino, DM-FC-UL, 2005.
[2] Edwards, C.H., Jr., The Historical Development of the Calculus, Springer-Verlag, 1979.
[3] Hairer, E., Wanner, G., Analysis by Its History, Springer-Verlag, 1996.
[4] Lima, Elon Lages, Logaritmos, SPM, 2008.
[5] Nogueira, J. Eurico e outros, Contar e Fazer Contas: Uma introduo Teoria dos
Nmeros, SPM-Gradiva, 2004.
[6] Teixeira, Paula e outros, Funes, 12ano de escolaridade, Ministrio da Educao
Departamento do Ensino Secundrio, 1999.