1 Nota explicativa.

O que segue constitui as notas de aula para um curso em Fundamentos de Geometria com a seguinte viso: Trataremos da origem do sistema axiomtico, das primeiras tentativas de demonstrar o quinto postulado, veremos o efeito da axiomtica na modificao nas figuras num processo gradual em no qual o objeto reta vai sofrendo a ao de extenso de conceitos at atingir o que a cristaliza como uma verso geomtrica do corpo dos reais. Neste desenrolar de axiomas, acrscimos de novos grupos de axiomas e principais teoremas deles decorrentes, tratamos de temas da lgica Matemtica no que concerne a estruturas e interpretaes. Acreditamos poder legar ao leitor uma experincia nica de refletir dentre outros temas, sobre a natureza da Matemtica.

Niteri, Agosto de 2008.

Jos Roosevelt Dias

Mdulo 1
1

Incidncia, Ordem, Modelos.

Incidncia e Paralelismo

Os Axiomas de Incidncia A reta que usamos desde o tempo da escola traduz certas propriedades como minimalidade (a menor distancia entre dois pontos um segmento de reta unindo estes dois pontos), densidade (a reta no tem buracos) e extenso infinita (todo segmento de extremos em dois pontos est estritamente contido na reta, ou seja, tem pontos da reta que no esto no segmento). Podemos desenvolver estas idias de vrias maneiras, devendo estas ser equivalentes, atravs de sistemas de axiomas. Isto ser abordado mais tarde. Considere primeiramente dois axiomas: Apresentamos a seguir, uma lista de quatro axiomas, denominados Axiomas de Incidncia. Eles se referem a pares de conjuntos (, ), onde o primeiro denominado conjunto de pontos e o segundo, o conjunto , denominado conjunto de retas. Como veremos nos exemplos, os objetos que chamamos pontos, assim como os objetos que podem assumir o papel de retas, so muito diversos entre si, podendo at mesmo ser arcos de crculos. Grupo I Axiomas de Incidncia I1 quaisquer que sejam os pontos A e B existe uma reta que passa por eles. I2 em cada reta h pelo menos dois pontos I3 quaisquer que sejam os pontos A e B existe no mximo uma reta que passa por eles. I4 existem trs pontos no colineares Considerando pontos como lugares ou terminais, no primeiro axioma, tratamos o objeto reta como um caminho entre dois pontos: dizemos que dois pontos sempre esto interligados por um caminho. Isto

2 no tudo, pois latente questo est a idia de minimalidade: o percurso de um ponto a outro da reta seria o menor possvel. No segundo axioma, proibimos que uma reta se degenere num ponto. No terceiro, damos reta um carter nico como ligao de dois pontos, o que coerente com o aspecto minimal que esperamos dela: um segmento de reta o menor caminho entre dois pontos. A unicidade aqui fundamental. Por vezes, juntamos mais de um axioma numa mesma sentena. Por exemplo, podemos concluir com base em I1 e I3, que por dois pontos passa uma e uma s reta. Finalmente, no quarto axioma, tentamos caracterizar a reta como algo que possui apenas um grau de liberdade, no sentido da movimentao. Este axioma distingue o objeto reta do objeto plano, que teria dois graus de liberdade: podemos mudar a direo numa trajetria no plano, mas no na reta. Os axiomas do Grupo I j permitem demonstrar certos resultados. Este o modo usual de se escrever a Matemtica. Proposio Considere um plano de incidncia (, R). (i). Duas retas se interceptam no mximo em um ponto. (ii). Existem trs retas distintas que no so concorrentes. (trs pontos no colineares) (iii). Para cada reta existe um ponto fora dela. (cada reta tem dois pontos. Tome um no colinear) (iv). Para cada ponto, existe uma reta que no passa por ele. (tome trs pontos no colineares) (v). Por cada ponto passam no mnimo duas retas. (tome trs pontos no colineares e duas retas) Demonstrao (i). Se duas retas se interceptam em mais de um ponto, elas devero ser coincidentes. (ii). Tome trs pontos no colineares A, B e C. As retas AB, AC e BC so trs retas distintas e no so concorrentes. Por exemplo, o ponto B no pertence interseo AB AC. Para os outros itens, o leitor pode seguir a sugesto correspondente a cada item escrita na proposio. Equivalncia de sistemas. Dois grupos de sentenas podem conter as mesmas conseqncias. Com isto queremos dizer, que toda afirmao que decorre de um sistema decorre tambm do outro. Diremos nesta caso, que os sistemas so equivalentes. Considere o grupo de axiomas abaixo: Grupo A A1 Dados dois pontos distintos, existe e nica a reta que os contm. A2: Qualquer que seja a reta existem pontos que lhe pertencem e pelo menos um ponto que no lhe pertence. Mostraremos que toda afirmao o grupo I vlida no Grupo A e reciprocamente, toda afirmao do grupo A vlida no grupo I. Afirmao 1: As sentenas A1 e A2 so teoremas para o grupo I. Demonstrao: Grupo I implica Grupo A: A afirmao A1 decorre diretamente das sentenas I1 e I3. A afirmao A2 significa que uma reta tem pelo menos dois pontos e que existem pelo menos trs pontos no colineares.

3 Afirmao 2: O Grupo A implica o Grupo I: Demonstrao: As afirmaes I1 e I3 esto compactadas na afirmao A1 e as afirmaes I2 e I4 esto compactadas na afirmao A2. 2 Modelos e Teorias de Incidncia Como vimos, um plano de incidncia apresentado formalmente pelos quatro axiomas I1 a I4. Cada resultado decorrente destes axiomas so teoremas de incidncia. Assim, a proposio acima consiste de cinco teoremas desta teoria. Freqentemente apresentamos objetos matemticos satisfazendo um grupo de axiomas. Como estes objetos j tm suas propriedades, o fato de podermos utiliz-los para de outra forma sem ferir suas propriedades intrnsecas mostra que o sistema de axioma no contraditrio. Estes objetos usados com outra conotao constituem uma interpretao do grupo de axiomas. Veremos adiante alguns modelos de plano de incidncia. Antes, porm definimos paralelismo. Definio: Num plano de incidncia, duas retas que no se interceptam so denominadas paralelas. Um plano de incidncia dito: Euclidiano se por um ponto fora de uma reta passa uma nica paralela. Hiperblico se por um ponto fora de uma reta passa pelo menos duas paralelas Elptico se no existem retas paralelas, ou seja, duas retas sempre se interceptam. Exemplo 1 O par P = {A, B, C} e R = {{A, B}, {A, C}, {B, C}} um plano de incidncia elptico. A C B Exemplo 2 Pondo P = {A, B, C, D} e R = {{V, A}, {V, B}, {V, C}, {A, B}, {A, C}, {B, C}}. Obtemos um plano de incidncia euclidiano. Por exemplo, a nica paralela reta BC pelo ponto V VA. V A C B Exemplo 3 Pondo P = conjunto dos vrtices abaixo e R = combinaes dos vrtices abaixo obtemos um plano de incidncia hiperblico. Por exemplo, NC e NS so duas paralelas reta AB passando por C. N

C A B

4 Agora apresentamos outros modelos, alguns dos quais, alm de terem infinitos pontos, so modelos de sistema de axiomas maiores. Em particular, o plano cartesiano (exemplo 1 abaixo) satisfaz aos cinco grupos de axiomas apresentados por Hilbert para a Geometria Euclidiana plana e o plano hiperblico (exemplo 2) satisfaz aos quatro primeiros grupos de axiomas, o que corresponde Geometria Absoluta (ou neutra), mas o quinto grupo (axioma das paralelas) de carter hiperblico. Considere os seguintes pares (P, R), (1). Plano Cartesiano. Seja = R o conjunto de pontos do plano euclidiano e tomemos como conjunto de retas o conjunto = linhas verticais linhas no verticais, onde as linhas so: Linha vertical: dado um nmero real a, La = {(a, y) / y R}. Linha no vertical: dados m, b nmeros reais, Lm,b = {(x, y) R2 / y = mx+b}. Utilizando os recursos j conhecidos da geometria analtica plana, vemos que os quatro axiomas so satisfeitos, como veremos a seguir: O axioma I1 satisfeito: Se tomarmos dois pontos quaisquer, digamos P1 = (x1, y1) e P2 = (x2, y2), podemos obter uma reta de que passa por eles. Se tivermos x1 = x2, devemos tomar por reta o conjunto La onde a = x1 =x2, j que as abscissas dos pontos vo ser sempre a mesma. Assim, a reta pelos pontos P1 = (-1, 3) e P2 = (-1, 5) L-1 = {(-1, y) / y R}. y y1 (x-x1 ) + y1 que segundo a notao acima Se o entanto x1 x2 ento a reta buscada y = 2 x2 x1 y y1 Lm,b onde m o coeficiente angular 2 e b = y1. x2 x1 Vemos que o plano acima o tratado na Geometria Analtica Plana. Para testar o axioma I1, observe que por dois pontos de R 2 sempre passa uma reta, que vai ser ou vertical ou no vertical. Assim o axioma I1 satisfeito. O axioma I2 satisfeito porque cada reta da analtica tem pelo menos dois pontos.Analogamente vemos que so satisfeitos os axiomas I3 e I4.
(2). Plano de Poincar Agora vamos considerar como ponto somente os pontos que esto acima do eixo real. Denotemos por H2 este conjunto. Temos H2 = {(x, y) R2 / y > 0}. Vamos ainda admitir dois tipos de retas: Linha tipo I aL = {(x, y) H2 / x = a} onde a um nmero real fixado. Linha tipo II cLr = {(x, y) H2 / (x-c)2 + y2 = r2 } onde c e r so reais fixos e r > 0.

O novo traado de reta est mostrado na figura abaixo. Mostremos agora que os quatro axiomas so satisfeitos. Axioma I1: Considere dois pontos em H digamos P1 = (x1, y1) e P2 = (x2, y2). Se x1 = x2 ento a reta hiperblica que os liga aL onde a o valor comum das abscissas. Vejamos agora o caso onde x1 x2. Queremos determinar o ponto (c, 0) que eqidista dos pontos dados. Podemos escrever (x1-c)2 + y12 = (x2-c)2 + y22 donde x12 -2cx1+ y12 = x22 2cx2 + y22 e temos: 2 y 2 y12 + x2 x12 c= 2 e assim r = ( x1 c) 2 + y12 2( x2 x1 )

3L2

semicrculo de centro c = 5 e raio r = 2

Proposio O Plano de Poincar H de Incidncia. Demonstrao Considere dois pontos em H digamos P1 = (x1, y1) e P2 = (x2, y2). Se x1 = x2 ento a reta hiperblica que os liga aL onde a o valor comum das abscissas. Vejamos agora o caso onde x1 x2. Suponhamos que os pontos dados estejam em duas retas do tipo II, a saber, cLr e dLs. Vamos mostrar que d = c e que r = s seguindo-se da a igualdade das retas. Sabemos 2 2 y2 y12 + x2 x12 c= = d . Por outro lado, r = ( x1 c) 2 + y12 = ( x1 d ) 2 + y12 = s 2( x2 x1 ) Por outro lado, agora vamos ver nosso primeiro teorema da teoria matemtica denominada geometria de incidncia. Isto significa que usamos os axiomas I1 a I4 (no necessariamente todos) para demonstrar a afirmao abaixo. Agora tratamos do plano da Matemtica Grega clssica, antes da descoberta dos irracionais.
(3). O Plano Racional Q 2 Considere o conjunto = Q2 como conjunto de pontos. Como conjunto de retas considere a unio de
1 = {(x,y) / x = a Q, y Q} com o conjunto 2= {(x,y) Q2 / y = mx+b}.

Dados dois pontos P = (p1 , p2) e Q = (q1 , q2) de Q2 temos a reta r = {(x,y) Q2 / y = mx + q2} contendo P e Q, onde m =

p2 q2 . O par ( , ) uma geometria de incidncia. p1 q1

O item (4) abaixo necessita de comentrios introdutrios: A esfera Pensemos de forma intuitiva sobre como caminhar de modo mnimo numa superfcie. Esta das caractersticas que o objeto reta possui. Acreditamos ser oportuno apresentar tambm a idia de caminho mais curto na esfera. Avisamos ao leitor que aps os exemplos colocamos um pequeno comentrio sobre como se deslocar de forma mnima sobre a superfcie da esfera. Considere dois pontos A e B sobre a esfera unitria em R. Sua equao x + y + z = 1. J que a esfera goza de uma total simetria, suponha que tais pontos esto sobre um mesmo circulo paralelo ao equador. Perguntamos qual o menor trajeto de A para B. Certamente ser um arco de circunferncia. Mas qual circunferncia? Argumentaremos que um arco de crculo do prprio equador. Denominemos este por E. Ele a circunferncia mxima que passa por A e B, ou seja, no h circunferncia na esfera de raio maior que 1 como a do equador. Uma circunferncia mxima obtida pela seo de um plano passando pelo o centro O da esfera. Se r a medida do raio de uma circunferncia C por A e B ento r 1. Logo, o percurso entre A e B sobre C maior que se

6 caminharmos sobre o arco de circulo sobre o equador. Estas consideraes nos permitem tomar como retas na esfera as circunferncias mximas. Veja abaixo como um arco de circulo tem a curvatura inversamente proporcional ao seu raio. C E A B

(4). Pontos sobre a Esfera Denominamos um grande crculo da esfera S2 = {(x,y, z) R3 | x2 + y2 + z2 = 1} interseo da esfera com um plano passando pelo centro desta esfera. A condio de um plano ax + by + cz = d conter a origem d = 0. Assim, para determinar a reta que passa por dois pontos P1 = (x1, y1, z1) e P2 = (x2, y2, z2) basta encontrar os valores de a,b,c no sistema ax1 + by1 + cz1 = 0 e ax2 + by2 + cz2 = 0.
B A

Considere os conjuntos = pontos da superfcie esfrica e = os crculos mximos (mais adiante damos uma justificativa do uso destes crculos como retas; mas para ns aqui, o que importa que funciona axiomticamente). Neste caso o axioma I1 satisfeito, pois dados dois pontos da esfera, digamos P1 = (x1, y1) e P2 = (x2, y2), existe um plano no 3 que passa por eles e pelo centro da esfera. Este plano determina um crculo mximo passando por P1 e P2. Isto mostra que o axioma I1 satisfeito. Axioma I2: Vamos analisar agora o axioma I2. Naturalmente, um crculo mximo tem pelo menos dois pontos. Ento, o que consideramos reta neste exemplo, sempre tem dois pontos pelo menos. Axioma I3: Este axioma pede a unicidade, o que no satisfeito sobre a esfera, pois se os pontos forem antpodas (estiverem nos extremos de um dimetro da esfera, como o plo norte e o plo sul) existem infinitos crculos mximos passando por eles. Conclumos assim que a superfcie da esfera, com os crculos mximos como retas, no constitui um plano de incidncia. Finalmente, note que o axioma I4 satisfeito, pois nenhum crculo mximo contm todos os pontos da esfera, ou seja, existem trs pontos no colineares. No entanto, no sendo satisfeito o axioma I3, no temos aqui um plano de incidncia.

Exerccio 02: Determine: (1). No plano de Poincar a reta que passa por (1, 2) e (3, 4) 1 1 2 (2). Na esfera S 2 uma reta que passa por ( , , ) e por (1, 0, 0). 2 2 2 (3). Na esfera S 2 duas retas contendo os pontos (0, 0, 1) e (0, 0, -1). Exerccio 03: Verifique que a reta 5+ 2 5 L uma paralela reta 5 L2 5 que passa por (5 + 2 5 , 3).

(5). O plano finito (n) = {1,2,3...,n} (onde n um nmero natural) Comecemos pondo n=3, assim que (3) = {1, 2, 3}. O primeiro axioma exige que se tenha pelo menos = {{1,2},{1,3},{2,3}} como conjunto de retas. Podemos visualizar este plano como tendo uma forma triangular como veremos abaixo. As extremidades 1, 2 e 3 no nos causam surpresa em representar pontos. Mas nossas retas so de fato bem distantes daquelas euclidianas: cada uma s tem dois pontos, no tm extenso finita, nem pontos interiores.

Os axiomas I1 a I3 so satisfeitos, como vemos imediatamente. Vemos ainda que existem trs pontos no colineares: no existe reta contendo os pontos 1, 2 e 3. Uma pergunta que podemos fazer frente a um sistema de axiomas : algum dos axiomas pode ser deduzido dos outros? Esta pergunta foi feita pelos matemticos com respeito ao sistema euclidiano desde a antiguidade. Tentava-se mostrar que o quinto postulado era um teorema. Esta questo tem uma historia longa e culminou com a descoberta das geometrias no euclidianas. Mas no nosso caso, estamos diante de uma questo fcil de responder pois nosso sistema bem simples, e isto que faremos a seguir.
Configuraes: Mostremos alguns planos de incidncia para n = 5. Considere P = {1, 2, 3, 4, 5}.

Configurao1 : R = {{1, 2}, {1, 3}, {1, 4}, {2, 3, 4} } 1

Configurao 2 1 2

Dois modelos podem ter uma mesma configurao, embora tenham nomes diferentes. Tais modelos so ditos isomrficos.
Quantas configuraes no isomrficas existem para n = 5? Existem modelos no isomrficos para n = 3?

A independncia de axiomas Considere novamente o modelo onde = {1, 2, 3} e = {{1,2},{1,3},{2,3}}. Se no h independncia, podemos deduzir um axioma a partir dos outros. Vejamos primeiro a independncia do axioma I1 com respeito aos outros I2, I3 e I4. Para isto basta exibir um par de conjuntos e que satisfazem os axiomas I2, I3 e I4, mas no ao axioma I1. Independncia de I1 Ponha ={1, 2,3}; = {{1,2}, {1,3}}; vale I2, I3, I4, mas no vale I1.

Independncia de I2: Ponha ={1, 2, 3,4}; = {{1,2}, {1,3}, {2,3}, }. Independncia de I3: Ponha ={1, 2, 3,4}; = {{1,2}, {1, 2,3}, {2, 3,4}, {1,4}}. Independncia de I4 Ponha ={1,2}; = {{1,2}}.

Planos projetivo e afim Definio: Um plano projetivo um plano de incidncia com a propriedade elptica das paralelas e tal que cada reta tem pelo menos trs pontos. Um plano afim um plano de incidncia com a propriedade euclidiana das paralelas. Exemplo: O menor modelo afim obtido com o tetraedro. Definio: Considere a relao binria entre retas num plano afim A definida por:

r s se, e s se r = s ou r // s. A relao de equivalncia e [r] denota a classe de equivalncia da reta r. Dizemos que [r] o ponto no infinito de r. Considere agora um plano afim A. Para cada reta a de ponha = a [a]. Se = b [b] ponha:

a b se a b [a ] se a // b

Note que toda reta tem pelo menos trs pontos. De fato, uma reta como acima tem dois pontos afins de a e ainda o ponto [a].
Proposio O par P = A {[a] / a reta afim}, R = {a{[a]}/ a reta fim } um plano projetivo dito
completamento projetivo de A.

9 Abaixo est a configurao do menor plano projetivo: G E C F

Apresentar o plano projetivo real. Ver tambm interpretao segundo a esfera.

Para dar mais clareza ao aumento de axiomas para a Geometria Euclidiana como apresentado por Hilbert, retomemos por um instante os postulados de Euclides, os quais foram as regras sobre as quais se ergueu toda a Geometria Euclidiana.
Os postulados de Euclides E1. Traar uma reta de um ponto para qualquer ponto E2. Estender indefinidamente um segmento de reta E3. Podemos traar um crculo dado um centro e uma distncia para raio E4. Dois ngulos retos so congruentes E5. Se uma transversal corta duas retas formando ngulos colaterais internos que somam menos que dois retos, as retas se interceptam no lado onde isto ocorre.

A axiomtica de Euclides insuficiente para responder a vrias questes da geometria, notadamente as de continuidade e separao. Esta era uma situao que dificultava bastante a tentativa de demonstrao do quinto postulado. Agora convidamos, ou mais propriamente, desafiamos o leitor a demonstrar as seguintes afirmaes: (Q1) Entre dois pontos de uma reta existe pelo menos um ponto. (Q2) A bissetriz de um vrtice de um tringulo intercepta o lado oposto. (Q3) Uma reta no pode estar inteiramente contida num tringulo ou num crculo. (Q4) Se uma reta intercepta um ponto interior a um crculo, ento esta reta possui dois pontos comuns com este crculo.

10

Grupo II Os axiomas de Ordem O grupo de axioma que veremos agora, no foi contemplado pela axiomtica de Euclides. Este assumia propriedades intuitivas de pontos sobre a reta. Assim, na Geometria Euclidiana usa-se como fato natural que existem pontos entre dois pontos de uma reta: veja a figura abaixo tal como se apresenta num curso de geometria elementar:

(Na figura, o ponto B est entre os pontos A e C).

Vemos que para tratar da relao estar entre nos referimos sempre a trs pontos distintos. Denominamos binria uma relao que envolve dois termos. Como exemplo temos a relao de incidncia, que envolve um ponto e uma reta. J uma relao que necessita de trs objetos para ser posta, denominada ternria. Tal o nosso atual caso com a relao estar entre. A relao ternria estar entre tem algumas propriedades bsicas importantes que vamos explicitar numa situao geral, atravs de axiomas. Como veremos, ser possvel definir segmento (intervalo) de pontos e munir a reta de uma ordem, de modo anlogo ao que fazemos entre nmeros reais. Da o nome axiomas de ordem. A apresentao do grupo abaixo ir pressupor uma relao ternria sobre o conjunto P ou seja, tal que xx onde (A, B, C) pode ser lido como B est entre A e C. O axioma II.1 abaixo pode ser lido assim: Se o ponto B est entre A e C ento B tambm est entre C e A.
Definio Um conjunto de pontos dito colinear se esto sobre uma mesma reta. Caso contrrio dizemos que o conjunto no-colinear. Definio Cada dois pontos distintos A,B determinam um segmento de reta indicado por AB , constitudo dos pontos A, B e os que esto entre A e B. Os pontos entre A e B formam o Segmento Aberto ]AB[.

Grupo II Axiomas de Ordem II.1 Se (A, B, C) isto , se o ponto B se encontra entre os pontos A e C, ento A, B e C so pontos diferentes de uma mesma reta e (C, B, A) isto , B tambm se encontra entre C e A. II.2 Dados dois pontos A e C, existe ao menos um ponto B sobre a reta AC tal que (A, C, B) isto , tal que C est entre A e B. II3 Entre trs pontos quaisquer de uma reta, no mximo um deles pode estar entre os outros dois. II4 (Axioma de Pasch sobre a disposio de pontos no plano) Sejam A, B, C trs pontos no colineares e seja r uma reta no plano que no contem nenhum dos pontos A, B, C. Ento, se a reta r passa por algum ponto do segmento AB, tambm passar por algum ponto do segmento AC ou do segmento BC. Daqui por diante, abreviaremos a relao estar entre escrevendo A B C ao invs de escrever (A, B, C) .
Exemplo O plano euclidiano E2 satisfaz aos axiomas do Grupo II com a relao estar entre definida do seguinte modo:

11 Diremos que o ponto (x2, y2) est entre os pontos (x1, y1) e (x3, y3) de acordo com os casos: (Caso 1) Se a direo da reta pelos dois pontos vertical o ponto (x2, y2) est entre os pontos (x1, y1) e (x3, y3) se o nmero real y2 est entre os dois outros y1 e y3. (Caso 2) Se a reta contendo os dois pontos no vertical devemos ter x2 entre x1 e x3.
Conseqncias dos axiomas I a II Proposio Dados dois pontos A e C existe um ponto D na reta AC que est entre A e C. Demonstrao Considere um ponto E fora da reta AC pelo axioma I3. Por II2 existe um ponto F aps E, ou seja, tal que o ponto E est entra A e F. Usamos novamente II2 para garantir a existncia de um ponto G onde C est entre F e G. Por II3 o ponto G no est no segmento FC. Considere o tringulo AFC que interceptado no lado AF em E pela reta EG. Pelo axioma de Pasch II4 a reta EG deve interceptar um dos lados AC ou FC. Se EG intercepta FC coincidiria com FG (teria dois pontos comuns). Logo, EG intercepta AC num ponto D que , portanto interior ao segmento AC.

E C A D G
Proposio Dados trs pontos distintos colineares A, B, C, um deles est entre os outros dois. Demonstrao Suponha que A no est entre B e C nem C est entre A e B. Veremos que A-B-C. Seja D um ponto que no est na reta AC. Trace a reta BD e seja G um ponto tal que D est em entre B e G. No ABG a reta DC dever interceptar o lado AG num ponto F j que intercepta BG em D. Analogamente e com respeito ao BCG a reta AD intercepta o lado CG num ponto E. O ponto D est entre A, E (AEG, reta CF) finalmente (AEC, reta BG), conclumos que B est entre A e C (pois G no est entre E e C).

G F D E

Lema 1 Se B est no segmento AC e o ponto C est em segmento BD ento B e C esto em AD. Demonstrao (ver figura 1). Primeiro note que os quatro pontos A, B, C e D so colineares. Agora tome um ponto E fora da reta AB e na reta EC tome um ponto F onde E esteja entre C e F.Por

12 hiptese o ponto B est no segmento AC; o uso do axioma de Pasch no tringulo AEC com a reta FB mostra que a reta FB intercepta um dos segmentos AE ou EC. O ponto E est entre C e F; logo, F no pode estar entre E e C. Portanto a reta FB intercepta o segmento AE. Seja G este ponto. Aplicando agora o mesmo raciocnio ao tringulo FBC e a reta FB vemos que G est entre F e B. Aplicando ainda o axioma II4 ao tringulo GDB, vemos que a reta CF corta o segmento GD num ponto H. Agora note que o ponto H deve estar no segmento GD e que o ponto E no pertence ao segmento AG. Logo, a reta EH ter algum ponto comum (que o ponto C) com o segmento AD. Portanto, o ponto C est no segmento AD. Finalmente, AEC com a reta FG permitem concluir que B est entre A e D.

F E G H

(Figura 1)

Lema 2 Se C est no segmento AD e B est no AC, ento B est em AD e o ponto C est em BD. (ver fig. 2) Demonstrao: Fixe um ponto G fora da reta AB e escolhamos um ponto F tal que G est em FB. A reta CF no tem ponto comum nem com o segmento BG nem com o segmento AB; alem disso no intercepta AG (seno o ponto C estaria entre A e B). Logo, CF intercepta a reta GD num ponto interior H do segmento GD; da, vemos que a reta CF intercepta o segmento BD num ponto interior que s pode ser o ponto C. Logo C interior a AD. A seguir usamos o lema 1 para garantir que o ponto B est no segmento AD.

G H

A
Figura 2

Lema: Se C est entre A e D ento [AC] [AD] ou seja, AC AD . Demonstrao: A afirmao decorre diretamente do Lema 2.

13
Teorema Entre dois pontos de uma reta existe infinitos pontos Demonstrao Considere dois pontos A e D. Tome um ponto C AD . Existe um ponto B AC .

Pelo lema teremos B AC AD o que determina dois pontos de AD . Agora s repetir o processo. Retomando nossos exemplos anteriores, vemos que o da esfera na plano de incidncia pois no satisfaz efetivamente o Grupo I. Vemos agora que o exemplo 5 no satisfaz ao Grupo II, uma vez que entre dois pontos tem de existir infinitos pontos e neste modelo dispomos somente de finitos pontos.

Semi-reta. Semiplano. Definio Fixemos um ponto O de uma reta r. Dizemos que dois pontos A e B de r distintos de O esto em lados opostos com respeito a r se o ponto O est entre A e B. Se isto no ocorre, dizemos que os pontos A e B esto do mesmo lado com respeito a O se o ponto O no est entre A e B. Teorema Um ponto O de uma reta r separa seus pontos em duas classes de pontos no vazias e Disjuntas de tal forma que cada ponto de r salvo O est numa das classes. Demonstrao: Considere um ponto O de r e seja A outro ponto de r. Considere agora os conjuntos: r+ = {P / P do mesmo lado que A em r } e r- = {P / P e A esto em lados opostos}. Note que O no est em nenhum destes dois conjuntos.

Se Q um ponto de r e Q

O, sabemos que uma das condies dentre Q - O - A, O - Q - A ou

O - A - Q ocorre (axioma II2 e uma proposio j demonstrada). No primeiro caso temos Q em r-, e nos outros dois temos Q em r+. Podemos escrever ento que r = r+r -{O}.

Vemos assim que a relao estar do mesmo lado que uma relao de equivalncia.
Definio Fixemos um ponto O de uma reta r. Dado outro ponto A de r, denominamos semi-reta de origem O, ao conjunto de pontos de r que esto do mesmo lado de A como respeito ao ponto O. Usando o smbolo OA para a semi-reta, escrevemos ento: OA = [OA]{X r / O-A-X}.

Note que se A um ponto da semi-reta OA ento as semi-retas OA e OA coincidem (ou seja, tem os mesmos pontos). Podemos tambm observar que um ponto determina duas semi-retas distintas de mesma origem OA e OB onde A e B esto de lados distintos. Lembremos que um conjunto dito convexo, se todo se todo segmento de extremos em dois de seus pontos est inteiramente contido nele.

14

a elipse convexa

o conjunto acima no convexo

Teorema (da separao). Considere um plano de incidncia ( , ) que satisfaz o grupo II de ordem. Ento, cada reta separa os pontos deste plano em duas classes distintas H1 e H2 denominadas semiplanos de tal forma que:

(s1) (s2) (s3) (s4)

As classes H1 e H2 no so vazias. Ambas so conjuntos convexos. As classes so disjuntas. O plano a unio r H1 H2.

Demonstrao Seja P um ponto do plano fora da reta r e seja R um ponto da reta. Seja H1 o conjunto dos pontos A do plano tais que , r PA = e tome um ponto Q da reta PR tal que

P R Q. Seja H2 o conjunto de todos os pontos S tais que QS r = . Vemos que os conjuntos r, H1 e H2 no so vazios e so disjuntos e que o plano fica assim dividido: X H1 se, e s se PX r = . (o ponto X est no mesmo semiplano que P com respeito r). X H2 se, e s se QX r = . (o ponto X est no semiplano oposto ao de P com respeito r). X r se, e s se XR r. (o ponto est na reta r). Isto define uma relao de equivalncia no plano, onde cada um dos conjuntos acima uma classe de equivalncia no plano definida por AB se A e B pertencem a uma mesma classe dentre as trs citadas acima. Na figura abaixo, A A, B B e R R; alm disso, (P B), (A B) etc. A P A

R Q

B B

15
Uma equivalncia do axioma de Pasch Definio Denominamos axioma de separao para um par ( , ) de pontos e retas as propriedades abaixo:

Para cada reta r , existem dois subconjuntos H1, H2 (1) (2) (3)

(chamados semiplanos) tais que:

- r = H1 H2 H1 e H2 so disjuntos e convexos. Se A H1 e B H2 ento o segmento AB intercepta r, ou seja, AB

r .

Proposio (Equivalncia Pasch Separao). Suponha que uma Geometria de Incidncia ( , ) com uma relao ternria entre pontos, satisfazendo II1, II2 e II3 (s no est includo o axioma de Pasch) satisfaz ao axioma separao. Ento (, ) satisfaz tambm ao axioma de Pasch. Reciprocamente, se (, ) satisfaz aos grupos de axiomas I e II, ento vale o axioma de separao. Demonstrao A recproca j foi demonstrada acima. Resta portanto demonstrar o outro sentido da afirmao. Consideremos ento trs pontos no colineares A, B e C. Suponha ainda que uma reta r intercepte AB, isto , que A H1 e B H2 mas no intercepte AC. Veremos que r BC .

De fato, temos A,C H1 2 Isto implica que r intercepta BC, j que B e C esto em semiplanos distintos. H1 A C

seno rAC . Alm disso, temos B H pois rAB .

r H2 B Afirmao: Uma reta no pode interceptar os trs lados de um tringulo em pontos interiores. Demonstrao Considere trs pontos no colineares A,B,C e suponhamos que uma reta r intercepta os segmentos AB, BC e AC nos pontos P,Q e R, respectivamente. Mostraremos que esta suposio leva a um absurdo. Na figura abaixo, os trs pontos P, Q e R esto em r. A

B Q C Notando que P AB, o ponto B no pode estar em PQ, seno AB e PQ teriam dois pontos em comum (P e B), implicando na igualdade AB = PQ e portanto em que A,B,C estariam na reta PQ = r.

16 Afirmamos que nenhum dos trs pontos P, Q e R est entre os outros dois; isto implica que no so colineares. De fato, o ponto R no est no segmento PQ, seno a reta AC teria o ponto R no segmento BQ (j que no pode ser em QC) ou no segmento BP (j que no pode ser em AP), o que implicaria AC = BC e novamente os trs pontos A,B,C seriam colineares. De modo anlogo mostra-se que nem P esta entre R e Q nem tampouco Q esta entre P e R. Isto implica que os trs pontos P,Q e R no satisfazem a relao estar entre, no sendo, portanto colineares.
Exerccios Considere um plano (P, R) satisfazendo aos axiomas do grupo I e II acima. Mostre que: (1). Se um reta intercepta um vrtice de um tringulo e contm um ponto interior ento a reta intercepta o terceiro lado. (2). Uma reta formada por um ponto interior e um exterior a um tringulo intercepta dois lados deste tringulo. (3). Uma reta no pode estar contida num tringulo.

Solues: (1). Considere um tringulo ABC e uma reta passando pelo vrtice A e por um dos seus pontos interiores P. Prolongue o lado AC at um ponto A onde A A C e aplique o axioma de Pasch no tringulo ABC. A reta PA dever interceptar o lado BC ou o lado BA. A segunda hiptese no pode ocorrer pois P est no semiplano oposto ao de BA formados pela reta BA. B
P C A A

(2). Deixamos a cargo do leitor. (3). Sugesto: Sejam E e D dois pontos de r interiores ao tringulo ABC. Forme o tringulo ADC e use o exerccio do item (1). A

D E B C

Ordem na reta O grupo de axiomas II permite definir uma relao de ordem entre seus elementos: Definio Considere um plano de incidncia que satisfaz ao grupo II. Para ordenar os pontos de uma reta r, fixe um ponto O de r. Para caracterizar as semi-retas, tome outro ponto A de r. Denomine de primeira a semi-reta contendo A (veja a figura abaixo). Diremos que o ponto O precede ao ponto A. Para quaisquer outros dois pontos P e Q diremos que:

17 (i). Se P e Q esto na primeira semi-reta, P precede Q, se segmento(OP) (ii). Se B e C esto na segunda semi-reta, B precede C se segmento(OC) segmento (OQ). segmento(OB).

(iii). Finalmente, todo ponto da segunda semi-reta precede O e qualquer um da primeira.

Definio: Um plano que satisfaz aos grupos de axiomas I e II ser denominado Plano de Pasch Proposio: Se P um ponto interior a um ngulo (OA, OB) ento a semireta OP est inteiramente contida nesse ngulo. Demonstrao: De fato, um ngulo convexo por ser interseo de conjuntos convexos. Assim, dado um ponto Q de OP o segmento OQ est contido no interior do ngulo. Note ainda que a reta OQ no pode interceptar um dos lados pois seria um deles. Isto implica em particular que OP = OQ no intercepta os lados do ngulo. Lema do Z: Considere uma reta r =CD num Plano de Pasch e tomemos dois pontos A e B em semiplanos distintos. Ento os segmentos AC e BD no se interceptam. Alem disso, a semi-reta CA no intercepta a semi-reta DB.

B Demonstrao: Os pontos A e B esto em semiplanos H e H distintos com respeito reta CD digamos A H e B H. Se P um ponto comum aos segmentos AC e BD, ponto este diferente de C e de D, teremos P H H.
Teorema (Crossbar Theorem)

Numa geometria de Pasch, se P int(ABC) ento BP intercepta AC num nico ponto com A-F-C.
Demonstrao: Seguindo a notao do enunciado, seja E um ponto da reta BC com E-B-C. A reta BP intercepta o lado EC de ABC em B e dever interceptar um dos outros dois lados. Usemos o lema acima para a reta AB e os pontos E e P, que esto em semiplanos opostos com respeito reta AB. Como AEBC = , BP dever interceptar o lado AC.

P E B C

18
Definio: Numa geometria de Pasch um quadriltero convexo se cada lado fica situado num mesmo semiplano determinado pela reta suporte de seu lado oposto. Por exemplo, um retngulo convexo, mas o quadriltero abaixo no convexo.

A D B C A proposio abaixo decorre das definies de convexo e de ponto interior:

Proposio: Numa geometria de Pasch, um quadriltero convexo se, e s se o cada vrtice est no interior do ngulo formado pelos lado que no o contem. Demonstrao: Considere um quadriltero convexo de vrtices ABCD. Tomemos o ngulo (AB,AD) . O ponto C comum aos semiplanos determinados por AB e AD donde ponto interior do ngulo em questo. O mesmo raciocnio pode ser feito com os outros trs vrtices. Para a recproca, mostremos que por exemplo o lado CD est inteiramente contido num mesmo semiplano determinada por AB. Para isto basta usar que C ponto interior ao ngulo (AD,AB).

D C A B

Proposio: Numa geometria de Pasch, as diagonais de um quadriltero convexo se interceptam num ponto interior ao quadriltero. Demonstrao: Num quadriltero convexo ABCD o ponto D est no interior do ngulo (BA,BC) donde a semireta BD de origem B intercepta o segmento AC e tal ponto interior ao quadriltero.