Adenda

Observao sobre o Teorema 3.8. (pgina 79) ca a Este resultado, que a chave para a prova da impossibilidade dos problemas e clssicos de construes com rgua e compasso, como veremos adiante, permitea co e -nos ter a certeza da no construtibilidade de muitos nmeros a partir dos racionais. a u Note-se que o rec proco deste teorema falso: para um contra-exemplo consulte e o Exemplo 13-18 em [William J. Gilbert, Modern algebra with applications1 , Wiley, 1976], que especica um nmero , algbrico sobre Q, com [Q() : Q] = 4 mas u e que, contudo, no construt a e vel a partir de Q. Portanto, no podemos usar o a Teorema 3.8 para concluir da construtibilidade de nmeros tais que [Q() : Q] u e n. da forma 2 No entanto, com a ajuda dos resultados enunciados na pgina 76, podemos a fazer isso para muitos nmeros . Por exemplo, para qualquer nmero consu u trut vel a partir dos racionais, tambm construt e e vel. Aplicando, repetidamente este resultado, conjuntamente com o facto de que aplicaes sucessivas co das operaes de corpo mantm a construtibilidade, podemos ento concluir que co e a nmeros do tipo u p + p, so construt a veis a partir de Q. 5 23 ou 5 23+ 42 5 2 34

Cota na Biblioteca: 20-01/GIL.