Exercicios de Geometria - 2015-2014 ‘da Peres - ipsilva@fc.ul.pt 1, Sistemas axiomdticos - generalidades 1, Considere o seguinte sistema axiomdtico: ‘Termos indefinidos: ponte, resto, incidir Axiomas ALL. Existe pelo menos uma recta incidente a 3 ou mais pontos distin- tos. A2, Dois pontos distintos incidem mma e mama s6 recta. AB. Cada panto ¢ incidente em pelo menos duas rectas. Ad. Cade recta 6 incidente em pelo menos dois pontos. AS. Existem pelo menos duas rectas distintas. (a) Mostre que o sistema ¢ consistente, (b) Diga, justificando se 0 axioma AI é independente dos restantes. (6) Diga, justificando se o seguinte afirmagio ¢ um teorema deste sistema axiomdtico ; Duas rectas distintas incidem em pelo menos ‘um ponto. (2) Digo, justificando sc o Axioma A8 é independente dos restantes. 2, Considere o seguinte sistema axiomética: ‘Termos indefinidos: ponto, recla, incidir Axiomas Al. Dois pontos distintos incidem , no mésximo, numa si recta, A2, Cada recta 6 incidente em pelo menos dois pontos. AB. Para cada ponto existem pelo menos duas rectas no incidentes ‘no ponto. Ad. Existe pelo menos um ponte incidente a tris ou mais recias, (a) Mostre que o sistema ¢ consistente, (b) Diga, justificando se o sistema axiomstico admite modelos niio isomorfos.(0) Diga, jnstificendo se o seguinte afimagio ¢ um teorema deste sistema axiomético : Rxistem pelo menos cinco rectas, (2) Diga, justificands se a seguinte afrmasio ¢ um teorema neste sistema axiomdtico: Dade uma recta r existe pelo menos ume recta 3 nda incidente com r. 8. Considere o seguinte sistema de axiomes: ‘Termos indefinidos: ponte, recta, incidir AL. Qualquer recta incide em trés pontos. A2, Qualquer ponto incide em trés rectas. A3. Qualquer par de pontos incide numa ¢ numa s6 recta. Mostre que o sistema & consistente, 4. Clnsidere 0 seguinte sistema axiométion: ‘Termos nfo definides : ponto, reta, imcidir ‘Termox definidos. Pontos colinearcs, os que incidem uma mesma recta, Rertas paralelas, duas rectas que ni ineidem mum mesmo porto, Recias concorrentes, rectas que incidem num mesmo posto, (A1) Dols pontos distintos incidem numa ¢ numa 86 recta, (A2) Cada recta incide em pelo menos dois pontos distintos. (A8) Bxistem pelo menos trés pontes nie colinesres, (2) Mostre que o sistema & consistente, (b) Digo, justificando, se existem modelos nfo isomorfos deste sistema sedlomtien. (c) Mostre que a sfirmagto " toda a recta & incidente no mesmo mimero de pontos” nao é um ‘Teorema nesta axiomition, (@) Diga, justificendo, quais das seguintes afirmagées sio teoremas esta axiomdtica: Afirmagio 1. Qualquer que seja a necla r e 0 ponto P incidente a7 cxisie ums recta concorrente com: r no ponte P. Afirmagio 2. Qualquer que soja a recta reo ponto P nilo incldente com # recta r li uma revta paralela a r ¢ incidente a P.Afirmagio 3. Para cada ponto P existem pelo menos duas rectas incidentes a. P. (6) Considere 0 sistema de axiamas constituide pelos axiomas (Al), (A2) € (4'3): (A’3) Ifa pelo menos duas rectas, Mostre que este sistema de axiomas ¢ um sistema de axiumas eguivalente ao sistema de axiomas dado. 5, Quais dos seguintes objectos mnateuuiticos sv modelos de planas de incidéncia definidos pelos axiomes (A1).(A2}0(A3) do exercicio ante ioc? Queis dos modelos satistazem algum des soguintes axiomas de paralelas: (Pq) Dada uma recta r por toda 9 ponto néo incidente er passa uma tinica recta peralela @ recta dada (Pn) Dada uma recta r em todo 0 ponto néo incidents ar passam, pelo ‘menor, duas rectas paralelas & recta dada. (Pp) Qualquer par de restas & concarrente. (a) Pontos: (0,0),(2,0),(0,1),(,1), Rectas sO, 2 y= 0, y= 1. Ponto e recta ineidentes se 0 ponto satisfax a equagio da recta, (b) Plano de Fano) Pontos- os elementos do conjunto [7] ~ {1,2,3,4.5.6.7}, Rectas ~ os seguintes coujuntos de txés: pontos pare sinnplificar omitem-se as chavetes de conjunto ¢ as virgulas: 127, 145, 196, 295, 246, 347, 567. Ponto ¢ recta sio incidentes se o ponto pertence A recta. (©) Modelo de Plano Buclideano) Pontos : os pares de mimeros rons. Rectas: equagies y = mr-+bcom m,b¢Rexr=-e,ceR. Ponto ¢ recta ineidentes se 0 ponto satisfaz a equacio da recta. (@) Pontos: os pontas de uma superficie osférica Reetas: os eixculos maximos da esfera. Ponto e recta incidem se 9 ponte pestence 2 recta. (0) (Modelo de Plano Projective) Pontes: pares de pontos opostos de uma superficie esfériea, Reclas pares de pontis oposias dass 3