Cap tulo 4 Construes com rgua e compasso co e

Neste cap tulo, mostraremos como alguns dos resultados algbricos sobre extenses de e o corpos, que acabmos de estudar, permitem responder a certas questes de natureza a o puramente geomtrica. e Por exemplo, todos sabemos como bissectar um ngulo usando uma rgua e um a e compasso. Poderemos, usando os mesmo instrumentos, trissectar um ngulo qualquer? a Esta foi uma das muitas questes discutidas pelos gemetras gregos (Sc. V a.c.) e a que o o e vamos responder pela negativa, provando que tal , em geral, imposs e vel; por exemplo, mostraremos que imposs trissectar o ngulo 3 . e vel a Usando uma rgua sem escala e um compasso, dado um conjunto de pontos P0 no e co plano euclidiano R2 , podemos determinar novos pontos usando as seguintes operaes: 1) Usando a rgua, traar a recta que une dois pontos P e Q de P0 ; e c 2) Usando o compasso, traar a circunferncia de centro num ponto O de P0 c e e que passa por outro ponto P de P0 .

Neste contexto, dizemos que um ponto de R2 construt num passo a partir de P0 e vel se pode ser obtido por um dos seguintes processos: a) Como interseco de duas rectas distintas, ca

95

96

CONSTRUCOES COM REGUA E COMPASSO b) Como interseco de uma recta com uma circunferncia, ca e

c) Como interseco de duas circunferncias distintas, ca e

sendo as rectas e as circunferncias em causa constru e das a partir de P0 , usando as operaes 1) ou 2). co Um ponto P de R2 diz-se construt a partir de P0 se pertence a P0 ou se existem vel 2 pontos R1 , ..., Rn em R , para algum n N, tais que: R1 construt num passo a partir de P0 ; e vel o ponto Ri+1 (i = 1, ..., n1) construt num passo a partir de P0 {R1 , ..., Ri }; e vel Rn = P . Uma recta r diz-se construt a partir de P0 se contiver dois pontos distintos P1 e vel P2 construt veis a partir de P0 (isto , r pode ser obtida aplicando a operao 1) aos e ca pontos construt veis P1 e P2 ). Analogamente, uma circunferncia C de centro O diz-se e construt vel a partir de P0 se O construt a partir de P0 e se C contm um ponto e vel e construt a partir de P0 . vel

4.1

Algumas construes geomtricas co e

Recordemos algumas construes com rgua e compasso. co e 1. Vamos construir a recta perpendicular ao meio do segmento [AB], sendo A e B pontos distintos:

 4.1 ALGUMAS CONSTRUCOES GEOMETRICAS

97

1) Traamos C(A; B), circunferncia de centro A que passa por c e B; 2) Traamos C(B; A); c 3) Achamos A1 , A2 C(A; B) C(B; A); e 4) A1 A2 a recta perpendicular ao segmento [AB] que passa pelo seu ponto mdio M. e

2. Dados dois pontos A e B distintos e um ponto C, vamos construir a recta s perpendicular ` recta AB que passa pelo ponto C: a a) Se C = A, 1) traamos C(C; A); c a 2) Se C(C; A) AB = {A}, ento s = CA; 3) Se C(C; A) AB = {A, D}, com D = A, ento traa camos a recta perpendicular ao segmento [AD] que passa pelo seu ponto mdio esta a recta s; e e

b) Se C = A, traamos C(C; B) e obtemos C(C; B) AB = c {B, D} com D = B; em seguida traamos a recta perc pendicular ao segmento [DB] que passa pelo seu ponto mdio esta a recta s. e e

3. Dados A, B e C distintos e no colineares, vamos construir a bissectriz do ngulo a a ABC: 1) Traamos C(B; A); c 2) Temos C(B; A) BC = {A1 }, em que BC designa a semi-recta que passa por B e C e tem origem em B; 3) Constru mos o ponto mdio M do segmento [AA1 ]; e 4) BM a bissectriz do ngulo. e a

98

CONSTRUCOES COM REGUA E COMPASSO

4. Dados A, B e C distintos e no colineares, vamos construir a recta paralela a AB a que passa por C: 1) Traamos s AB tal que C s; c 2) Traamos r s tal que C r. Esta recta r a recta c e pretendida.

5. Dados A, B e C distintos, vamos construir uma circunferncia C(A; |BC|) de e centro A e raio igual ao comprimento |BC| do segmento [BC]. a) Suponhamos que A, B e C no so colineares: a a 1) Traamos AB e BC; c 2) Traamos a recta r c 3) Traamos a recta s c AB tal que C s; BC tal que A r;

4) Seja P o ponto de interseco de r com s; temos |AP | = ca |BC|; 5) C(A; P ) a circunferncia pretendida. e e

b) Se A, B e C so colineares: a 1) Traamos C(B; C); c 2) Seja D C(B; C)\BC;

3) Por a), traamos C(A; |BD|). c 6. Vejamos que, dados dois pontos distintos O e P , podemos construir um referencial (ortonormado) de R2 com origem O e em que a unidade de medida o comprimento do e segmento [OP ]: a 1) Traamos OP que ser o eixo XX das abcissas; c 2) Traamos r tal que r OP e O r; a recta r c ser o eixo Y Y das ordenadas; a 3) Traamos C(O; P ); c

4) r C(O; P ) = {Q, R};

5) (O, OP , OQ) o referencial pretendido. e

 4.1 ALGUMAS CONSTRUCOES GEOMETRICAS

99

Um ponto arbitrrio P do plano R2 representar-se- pelas suas coordenadas (a, b) neste a a referencial, em que a, b R, escrevendo-se P (a, b). Dados (a, b), (c, d) R2 , recordemos b que a distncia entre (a, b) e (c, d) dada por d((a, b), (c, d)) = (ac)2 + (bd)2 . a e

Naturalmente, podemos perguntarmo-nos se todos os pontos de R2 so construt a veis a partir de dois pontos xos O e P ? Responderemos ` frente a esta questo. a a Denio. Fixados dois pontos O e P no plano R2 , um elemento R diz-se ca construt se || igual ` distncia entre dois pontos P1 e P2 construt vel e a a veis a partir de O e P. E claro que, se R construt e vel, ento tambm o . a e e No que se segue estaremos sempre a supor que partimos de dois pontos O e P sobre os quais constru mos um referencial ortonormado de R2 . Falar em construt signicar vel a construt a partir destes pontos. vel Observemos que se existem pontos P1 e P2 construt veis tais que || = d(P1 , P2 ), ento, a atendendo ` construo 5, existem pontos R e S construt a ca veis tais que || = d(O, R) = o d(O, S) e R d, onde d designa a bissectriz do 1 quadrante, e S XX, com S (||, 0).
b

Exemplos. 1. modo:

2 construt e vel, pois

2 = d(O, A), em que A se obtm do seguinte e

1) Traamos Q (0, 1); c b 2) Traamos r OP , P r; c 3) Traamos s c 4) r s = {A}; 5) d(O, A) = 12 + 12 = 2. OP , Q s;

2. Se a Z, ento a construt a e vel. De facto:

a) Se a = 0, temos a = d(O, O); se a = 1, temos a = d(O, P ); b) Se a > 0, ento a = n, para certo n N. Tomemos n = 2: a

100

CONSTRUCOES COM REGUA E COMPASSO 1) Traamos C(P ; O); c 2) Tomamos A2 XX C(P, O) e A2 = O; 3) Obtemos A2 (2, 0) e d(O, A2) = 2, donde b 2 construt e vel. Por induo, provamos que, dado n N, existe um ponto An construt ca vel com coordenadas (n, 0) tal que d(O, An ) = n. Portanto n construt e vel;

c) Se a < 0, ento a > 0. Logo a construt e, portanto, a tambm o . a a vel e e Denotamos por K0 o conjunto de todos os reais construt veis. O exemplo 2. mostra que Z K0 . Teorema 1. O conjunto K0 constitui um subcorpo de R. Demonstrao: J sabemos que 0, 1 K0 . Por denio de real construt ca a ca vel, temos que, se K0 , ento K0 . Sejam , K0 . Provemos que + K0 . a Suponhamos que , 0. Consideremos A (, 0) e B (, 0).
b b

Tracemos C(A; d(O, B)), a circunferncia de cene tro A e raio d(O, B), e tomemos B como sendo o ponto resultante da interseco de C com o semica a eixo positivo dos XX. Ento d(O, B ) = + . Logo + K0 .
(Neste esquema estamos a admitir, sem perda de generalidade, que .)

Se , < 0, ento , > 0, donde () + () K0 , logo + K0 . a Se < 0 e > 0, com + > 0, temos < . Tracemos C(O; d(A, B)) e tomemos B como atrs. a Ento B ( + , 0). Logo + K0 . a
b

 4.1 ALGUMAS CONSTRUCOES GEOMETRICAS

101

Os outros casos poss veis reduzem-se a um estudo semelhante ao destes. Portanto + K0 . Provemos em seguida que K0 . Se = 0 ou = 0, ento = 0, donde K0 . a Suponhamos , > 0. Consideremos: 1) Ponto Q (0, 1); b 2) Bissectriz d do 1o quadrante; 3) C = C(O; ); 5) W P ; 6) r W P tal que A r;
1

4) W d C no 1o quadrante;

7) {Z} = d r. Temos, pelo Teorema de Thales, portanto, K0 .

|OW | |OP |

|OZ| . |OA|

Logo

|OZ| ,

donde |OZ| = e,

Se < 0 ou < 0, ento ||, || > 0 e ||, || esto em K0 . Pelo caso anterior, a a || || K0 , donde | | K0 e, portanto, K0 . 1 Se K0 \{0}, provemos que K0 . Suponhamos > 0. Consideremos: 1) A recta d, bissectriz do 1o quadrante; 2) C(O, 1); 4) AQ; 5) r 6) Q r d. AQ e tal que P r; 3) Q C(O, 1) d, com Q no 1o quadrante;

1 1 Temos |OQ| = |OQ | , logo |OQ | = , pelo que K0 . 1 1 Se < 0, ento > 0, donde K0 e, portanto, a Conclu mos, pois, que K0 um subcorpo de R. e

K0 .

102

CONSTRUCOES COM REGUA E COMPASSO

Nota. Sendo K0 subcorpo de R e Q o subcorpo primo de R, temos Q K0 ; mas K0 = Q, pois 2 K0 \Q. Exemplo. Seja c K0 e c 0. Ento a c K0 .

a Demonstrao: Se c = 0, ento c = 0 K0 . Se c = 1, ento 1 = 1 K0 . ca a Admitamos c > 0, c = 1 e c K0 . Ento c+1 > 1 e temos c + 1, c+1 K0 . a 2 2 2 Consideremos: 1) Os pontos (c + 1, 0) e ( c+1 , 0); 2 3) s XX tal que P s; 4) B s C. Temos C com raio d(P, B) =
( Neste esquema estamos a admitir que para
c+1 2 c+1 2

2) C = C(( c+1 , 0); (c + 1, 0)); 2

c+1 , 2

donde

= = Logo c K0 .

< 1,

mas a resoluao vlida c e a > 1. )

c+1 2 c+1 2 1 2 2 2 + 2 c + 1 (1 c)2 c 4 2 + 2 c + 1 1 + 2 c c2 c = c. 4

Observao. Recordemos que, num referencial ortonormado de R2 , dados dois ca pontos distintos P1 (x1 , y1 ) e P2 (x2 , y2), a recta que passa por P1 e P2 admite b b a equao ca (y2 y1 ) x + (x1 x2 ) y + (y1 y2 ) x1 + (x2 x1 ) y1 = 0 . Se F for um subcorpo de R e contiver x1 , y1 , x2 , y2, denindo a = y2 y1 , b = x1 x2 , c = (y1 y2 ) x1 + (x2 x1 ) y1

temos a, b, c F e a equao da recta admite a expresso ax + by + c = 0. ca a Analogamente, se considerarmos a circunferncia de centro P1 que passa por P2 , esta e circunferncia admite a equao e ca
2 x2 + y 2 + (2 x1 ) x + (2 y1) y + x2 + y1 (x1 x2 )2 (y1 y2 )2 = 0 . 1

 4.1 ALGUMAS CONSTRUCOES GEOMETRICAS Denindo d = 2 x1 , e = 2 y1 ,

2 f = x2 + y1 (x1 x2 )2 (y1 y2 )2 1

103

temos d, e, f F e a equao de circunferncia x2 + y 2 + dx + ey + f = 0. ca e e Notemos que as equaes, acima mencionadas, deduzem-se, respectivamente, das co equaes da recta co (x2 x1 ) (y y1 ) = (y2 y1 ) (x x1 ) e da circunferncia e (x x1 )2 + (y y1 )2 = r 2 , em que r = d(P1 , P2 ).

Lema 2. Seja P (u, v) um ponto de R2 construt num passo, a partir de um vel b subconjunto P0 de pontos construt veis. Seja o subcorpo de R gerado pelas coordenadas dos pontos de P0 . Ento, se {u, v}, temos a () = ( c), para algum c e c > 0 .

Demonstrao: Temos trs casos a considerar: ca e a) Obtivemos P como ponto de interseco de duas rectas constru ca das sobre pontos de P0 .

Ento (u, v) a unica soluo de um sistema de equaes a e ca co ax + by + c = 0 a x + b y + c = 0 em que a, b, c, a , b , c pela observao anterior. ca Portanto, u e v escrevem-se ` custa de a, b, c, a , b , c atravs das operaes + e , a e co logo u, v . Neste caso, () = = ( 1). b) Sem perda de generalidade, tomemos = u. Obtivemos P como ponto de interseco de uma recta com uma circunferncia constru ca e das sobre pontos de P0 .

104

CONSTRUCOES COM REGUA E COMPASSO

Ento as coordenadas de P so soluo de um sistema a a ca ax + by + c = 0 x2 + y 2 + d x + e y + f = 0 (1) (2)

com a, b, c, d, e, f , pela observao anterior. ca c Se b = 0, ento a = 0 e temos u = a , logo u . Neste caso, () = ( 1). a Se b = 0, tirando o valor de y de (1) e substituindo em (2), conclu mos que = u e 2 soluo de uma equao a1 x + a2 x + a3 = 0, com a1 = 0 e a1 , a2 , a3 . Ento temos ca ca a 2 a2 4 a1 a3 0. 2 Se a2 4 a1 a3 = 0, temos = 2aa1 . Neste caso, () = = ( 1). 2 a2 a2 4 a1 a3 2 2 Se a2 4 a1 a3 > 0, ento = a , donde ( a2 4 a1 a3 ). Obtemos 2 2 a1 () ( c), em que c = a2 4 a1 a3 . Como c = (2 a1 + a2 ), temos c () 2 e, portanto, () = ( c). c) Obtivemos P como um ponto de interseco de duas circunferncias distintas, ca e constru das sobre pontos de P0 .

Neste caso, (u, v) soluo de um sistema e ca x2 + y 2 + a x + b y + c = 0 x2 + y 2 + d x + e y + f = 0 com a, b, c, d, e, f , em que d = a ou e = b (por serem circunferncias distintas que se e intersectam). Logo (u, v) soluo do sistema e ca x2 + y 2 + a x + b y + c = 0 (da) x + (eb) y + (f c) = 0 com a, b, c, d a, e b, f c . Estamos, ento, no caso da al a nea b) e, portanto, () = ( c), para algum c e c > 0. Observao: Analisando a demonstrao do lema anterior, conclu ca ca mos que, de um 2 modo geral, se um subcorpo de R e P (u, v) um ponto de R constru num passo e e do b a partir de rectas e circunferncias que admitem equaes cartesianas de coecientes em e co , ento, dado {u, v}, temos () = ( c), para algum c tal que c > 0. a

 4.1 ALGUMAS CONSTRUCOES GEOMETRICAS

105

Notemos tambm que, nas condies do lema anterior, se (u) = ( c1 ), com c1 e co a e c1 > 0, e (v) = ( c2 ), com c2 e c2 > 0, ento (u, v) = (u)(v) = ( c1 )(v) = (v)( c1 ) = ( c2 )( c1 ) = ( c1 , c2 ).

Teorema 3. Um n mero real construt u e vel se e s se existir uma cadeia de o subcorpos Q = 0 1 2 n de R tais que 1) n ; 2) i+1 = i ( ci ), onde ci > 0, ci i , com i {0, ..., n1}. Demonstrao: Suponhamos que construt e 0. Ento existem pontos ca e vel a construt veis P0 = O (0, 0), P1 = P (1, 0), P2 (x2 , y2 ), ..., Ps1 = (xs1 , ys1), Ps = b b b (, 0) tais que Pi+1 construt por um passo a partir de {P0 , ..., Pi}, com 2 i + 1 s, e vel sendo = d(P0 , Ps ). Consideremos a seguinte cadeia de subcorpos de R: Q Q(x2 ) Q(x2 , y2 ) Q(x2 , y2 , x3 ) Q(x2 , y2 , x3 , y3 )

Q(x2 , y2 , ..., xs1 , ys1) Q(x2 , y2 , ..., xs1 , ys1, ) .

Atendendo ao Lema 2 e ` ultima observao, cada um destes subcorpos, que podemos a ca designar por i+1 , da forma i ( ci ), para algum ci i e ci > 0, sendo claro que e pertence ao ultimo subcorpo desta cadeia. Se < 0, ento > 0. Estamos assim nas a condies anteriores. Obtemos n tal que n , pelo que n . co Reciprocamente, admitamos que existe uma cadeia de subcorpos nas condies 1) e co 2) do enunciado. Pretendemos provar que K0 . Provemos que, de um modo geral, se F um subcorpo de K0 , c F e c > 0, e ento F ( c) K0 . De facto, tendo em conta que F K0 , a c F c K0 c K0 F ( c) K0 .

Assim, temos 1 = 0 ( c0 ) = Q( c0 ) K0 , donde 2 = 1 ( c1 ) K0 . Sucessivamente, obtemos n K0 . Como n , concluimos que K0 . Corolrio 4. Se R construt a e vel, ento algbrico sobre Q e existe N0 a e e tal que [Q() : Q] = 2 . Demonstrao: Suponhamos que R construt ca e vel. Consideremos uma cadeia do tipo da garantida pelo teorema anterior: Q = 0 1 n , com i+1 = i ( ci ), ci i , ci > 0, n .

106

CONSTRUCOES COM REGUA E COMPASSO ci , temos [i+1 : i ] = 2ki , com

Como x2 ci i [x] e o polinmio x2 ci anulador de o e ki {0, 1}. Portanto,

[n : Q] = [n : n1 ] [1 : 0 ] = 2t , para algum t n. Logo [n : Q] nita. Como e Q Q() n , [Q() : Q] nita e [Q() : Q] divide 2t . Logo [Q() : Q] = 2 , para algum tal que e 0 t.

4.2

Problemas

1. Duplicao do cubo ca Dado um cubo, podemos construir, usando apenas rgua e compasso, a aresta de um e outro cubo cujo volume o dobro do volume do primeiro? e Este problema reduz-se ao seguinte: dado um segmento de comprimento 1, podemos construir um segmento de comprimento a tal que a3 = 2? De outro modo: existe algum n mero real a construt tal que a3 = 2? u vel Corolrio 5. O problema da duplicao do cubo no resol vel, usando apenas a ca a e u rgua e compasso. e Demonstrao: Suponhamos que existe a R tal que a3 = 2 e a construt ca e vel. Ento, pelo Corolrio 4, [Q(a) : Q] = 2 , para algum N0 . Ora a raiz do polinmio a a e o 3 x 2 Q[x], o qual irredut em Q[x], donde [Q(a) : Q] = 3. Assim, obtemos 3 = 2 e vel para algum 0, o que absurdo. Logo o problema no resol vel. e a e u 2. Quadratura do c rculo E poss construir, com rgua e compasso, o lado de um quadrado com rea igual ` vel e a a rea de um c a rculo dado? Este problema reduz-se ao seguinte: dado um segmento de comprimento 1, podemos construir um segmento de comprimento a tal que a2 = ? Ou seja: existe um n mero u 2 real a construt tal que a = ? vel Corolrio 6. O problema da quadratura do c a rculo no resol vel, usando apenas a e u rgua e compasso. e

4.2 PROBLEMAS

107

Demonstrao: Suponhamos que existe a R construt tal que a2 = . Ento ca vel a 2 a construt e vel, donde construt e vel. Ento, pelo Corolrio 4, o real algbrico a a e e sobre Q, o que, como j observmos, falso. Logo o problema no resol vel. a a e a e u 3. Trisseco de um ngulo ca a E poss dividir um ngulo em trs partes iguais, usando apenas rgua e compasso? vel a e e Corolrio 7. O ngulo a a
3

no pode ser trissectado usando apenas rgua e compasso. a e

Demonstrao: Esta questo equivale a provar que o ponto (cos , sen ) no ca a a e 9 9 e construt vel. Observemos que se tal ponto fosse construt vel, ento (cos 9 , 0) tambm o a seria e, portanto, cos 9 seria um real construt vel. Mostremos que cos 9 no construt a e vel. 3 Comecemos por recordar que cos(3 z) = 4 cos z 3 cos z, para qualquer z R. Em particular, tomando z = obtemos 9 cos
1 e, como cos = 2 , obtemos 3

= 4 cos3 3 cos 3 9 9 6 cos 9 9

1 = 8 cos3 donde 2 cos raiz do polinmio e o 9

x3 3 x 1 Q[x] . Ora, se este polinmio tivesse ra racionais elas seriam 1 ou 1, o que no se verica. o zes a 3 Portanto x 3 x 1 irredut em Q[x], donde e vel Q 2 cos :Q = 3 . 9

Assim, conclu mos, pelo Corolrio 4, que 2 cos no construt a a e vel, pelo que cos tambm e 9 9 o no (uma vez que 2 construt a e e vel). e Logo, no poss trissectar o ngulo com rgua e compasso. a e vel a 3 E claro que podemos trissectar alguns ngulos com rgua e compasso. a e

108

CONSTRUCOES COM REGUA E COMPASSO

Exemplos. 1) O ngulo pode ser trissectado. Uma vez que sen = 1 , este facto a 2 6 2 corresponde a determinar os pontos de interseco da circunferncia com centro na origem ca e e raio 1 com a recta paralela ao eixo dos XX que passa pelo ponto (0, 1 ). 2

2) O ngulo de 27 pode ser trissectado. De facto, podemos provar que o pentgono a a regular construt e vel, pelo que podemos obter o ngulo de 72 . Bissectando, a sucessivamente, obtemos os ngulos de 36 , 18 e 9 . a Construo geomtrica do pentgono regular ca e a Tracemos ento o pentgono regular: a a 1) Tomemos C = C(O; P ); 2) Consideremos o dimetro [NP ] de C; a 3) Seja M o ponto mdio de [OP ]; e 4) Seja r NP com O r;

6) Tracemos C(M; A); 8) Tracemos C(A; R);

5) Tomemos A C r;

7) Seja R [NO] C(M; A); 9) Sejam E, B C C(A; R);

13) Seja D C C(E; raio = |AR|). Prova-se que o pentgono ca determinado pelos pontos A, B, C, D, E. a Sendo o pentgono regular construt a vel, ngulo de 72 tambm o , j que esta a a e e a e medida de AOE. Nota. No poss construir com rgua e compasso um pol a e vel e gono regular com um n mero n arbitrrio de lados. Por exemplo, tal no poss se tomarmos n = 7. u a a e vel

12) Seja C C C(B; raio = |AR|);

11) Tracemos C(E; raio = |AR|);

10) Tracemos C(B; raio = |AR|);

4.2 PROBLEMAS

109

Podemos fazer uma diviso aproximada da circunferncia num n mero arbitrrio de n a e u a partes iguais, mas nem sempre poss efectuar uma diviso exacta: tal o caso quando e vel a e 2 3 e o n = 7. (Justique este facto, provando que 2 cos 7 raiz do polinmio x + x2 2 x 1 Q[x].) De facto, Gauss provou o seguinte resultado, cuja demonstrao aqui omitimos ca (Ver Stewart, Brison). Teorema 8. Um pol gono regular com n lados construt com rgua e compasso e vel e se e s se o n = 2 r p1 ps , onde r, s N0 e p1 , ..., ps so primos distintos da forma a pi = 2 2 i + 1 , com ri N0 (i = 1, ..., s). Observemos a seguinte tabela: ri pi 0 3 1 5 2 17 3 257 . . . . . . Assim, por exemplo, 7 no se pode escrever na forma dada pelo teorema e, portanto, no a a podemos construir com rgua e compasso um heptgono regular. Podemos, no entanto, e a construir um hexgono regular j que 6 = 2 3. a a
r

110

CONSTRUCOES COM REGUA E COMPASSO

Exerc cios
1. No plano euclidiano R2 , considere as operaes seguintes: co A) Usando a rgua, traar a recta que une dois pontos distintos P e Q; e c B) Usando o compasso, traar a circunferncia cujo centro um ponto O e que c e e passa por um ponto P , distinto de O. Usando apenas as operaes descritas, co 1) Dados dois pontos distintos A e B, construa a recta perpendicular ` recta AB, a que passa pelo ponto mdio do segmento [AB]. e 2) Dados dois pontos distintos A e B e um ponto C, construa a recta perpendicular ` recta AB que passa pelo ponto C. a 3) Dados pontos A, B e C, distintos dois a dois e no colineares, construa a a bissectriz do ngulo ABC. a 4) Dados pontos A, B e C, distintos dois a dois e no colineares, construa a recta a paralela ` recta AB que passa por C. a 5) Dados pontos A, B e C, distintos dois a dois, construa uma circunferncia de e centro A e raio igual ao comprimento |BC| do segmento [BC]. 2. Mostre que: a) 2 R construt e vel.

b) Se R e existem P1 e P2 construt veis tais que || = d(P1 , P2 ) ento existe a R construt tal que R pertence ao eixo dos XX e || = d(O, R). vel c) Se a Z ento a construt a e vel. d) Se K0 o conjunto de todos os n meros reais construt e u veis, i) Ento K0 subcorpo de R. a e ii) Se c K0 e c 0 ento c K0 . a

EXERC ICIOS

111

3. Fixe-se no plano euclidiano R2 um referencial ortonormado. Seja F um subcorpo de R e sejam P1 , P2 pontos distintos de R2 , com coordenadas (x1 , y1) e (x2 , y2) F 2 , respectivamente. Mostre que a) a recta que passa por P1 e P2 admite uma equao da forma ax + by + c = 0, ca com a, b, c F ; b) a circunferncia de centro P1 que passa por P2 admite uma equao da forma e ca 2 2 x + y + dx + ey + f = 0, com d, e, f F . 4. Diga, justicando, se cada um dos seguintes n meros reais construt u e vel: a) 1/ b) 3 2 + 5 3 c) 2+ 36 d) 4 5 7 e) f) 3
3 7 10

27.

112

CONSTRUCOES COM REGUA E COMPASSO