Los Elementos de Euclides

Estas largas cadenas de razn, tan sencillas y fciles, de las que se sirven los gemetras para lograr sus ms difciles demostraciones, me haban llevado a pensar que todas las cosas que pueden ser objeto de conocimiento humano, se entrelazan de la misma manera, y que, a condicin nicamente de que uno se abstenga de aceptar como verdadera ninguna que no lo sea y de que siga el orden indispensable para derivarlas unas de otras, no puede haberlas tan alejadas que no se las pueda alcanzar, ni tan escondidas que no se las pueda descubrir (Descartes) El poner de manifiesto los axiomas de la geometra y averiguar sus conexiones es problema que queda reducido al anlisis lgico de nuestras intuiciones espaciales (Hilbert)

Los Elementos de Euclides como paradigma de teora cientfica

Toda ciencia demostrativa debe partir de principios indemostrables; de otra manera, los pasos de la demostracin no terminarn nunca Algunos de los principios indemostrables son comunes a todas las ciencias: axiomas o nociones comunes Otros son propios de cada ciencia: postulados Entre los principios de cada ciencia que deben ser supuestos est en primer lugar el gnero, es decir, la materia de que se va a tratar. Lo que hay que suponer es la existencia del gnero, en geometra por ejemplo la existencia de la magnitud En segundo lugar se asumen las definiciones de las manifestaciones del gnero; en geometra, lneas rectas, tringulos La definicin no supone la existencia de lo definido En geometra hay que suponer la existencia de algunos elementos definidos: puntos y lneas La existencia de cualquier otra cosas y sus propiedades tiene que ser demostrada

Paradigma de teora cientfica

Teora

Teorema

Deduccin Natural

Definiciones
D1. Punto es lo que no tiene partes D2. Lnea es longitud sin anchura D3. Los extremos de la lnea son puntos D4. Lnea recta es una lnea que yace por igual sobre los puntos de la misma D5. Superficie es lo que slo tiene largo y ancho D6. Los extremos de la superficie son lneas D7. Superficie plana es lo que yace por igual sobre las lneas rectas de la misma D8. ngulo plano D9. ngulo rectilneo D10. Cuando una lnea recta trazada sobre otra lnea recta hace ngulos iguales entre s, cada uno de los ngulos iguales es recto; y la lnea recta trazada sobre la otra se llama perpendicular a aquella sobre la cual est trazada D11. ngulo obtuso D12. ngulo agudo

Definiciones
D13. Lmite D14. Figura. D15. Crculo es una figura plana limitada por una lnea tal que todas lneas rectas incidentes sobre ella desde un punto de los que estn situados dentro de la figura son iguales entre s D16. Al punto se le llama centro del crculo D17 dimetro D18. semicrculo D19 Figuras rectilneas, trilteras, cuadrilteras, multilteras D20. tringulo equiltero, issceles, escaleno D21. tringulo rectngulo, obtusngulo, acutngulo D22. cuadrado, rectngulo, romboide, trapecio D23. Lneas rectas paralelas son lneas rectas coplanares que prolongadas indefinidamente en ambos sentidos, no se cortan en ninguno de los dos

Postulados
Se postula: P1: Trazar una lnea recta desde un punto cualquiera hasta otro punto cualquiera P2: Prolongar indefinidamente una lnea recta limitada en lnea recta

P3: Trazar un crculo con centro y distancia cualquiera

P4: Todos los ngulos rectos son iguales entre s

P5: Si una lnea recta incidente sobre dos lneas rectas hace ngulos internos por un mismo lado menores que dos ngulos rectos, las dos lneas rectas, prolongadas indefinidamente, se encuentran por el lado en que estn los ngulos menores que dos rectos

Nociones Comunes
NC1: Cosas iguales a una misma cosa son iguales entre s

NC2: Si iguales se adicionan a iguales los totales son iguales

NC3: Si iguales se sustraen de iguales los restos son iguales

NC4: Cosas que coinciden entre s, son iguales entre s

NC5: El todo es mayor que la parte

T1: Sobre una recta limitada dada, construir un tringulo equiltero

H: Sea AB una recta limitada

Proposicin Justificacin a. Con centro en A y radio AB describir un crculo (H. P3) b. Con centro en B y radio BA describir un crculo (H. P3) c. Los crculos se cortan en un punto C (a, b, ?) d. Trazar las rectas AC, BC (c. P1) e. AC=AB (a,b, D15) f. BC=AB (b,d. D15) g. AC=BC (e,f. NC1) h. AB=AC=BC (f,g) T: ABC es un tringulo equiltero (h. D20)

T2: Desde un punto dado construir una lnea recta igual a una lnea recta dada
H: Sea A un punto dado, BC una lnea recta dada

Proposicin Justificacin a. Unir A con B (H. P1) b. Sobre AB construir un tringulo equiltero ABD (a. T1) c. Prolongar AE, BF en lnea recta con AD, BD (b, P2) d. Con centro en B y radio BC describir el crculo CGL (H. P3) e. Con centro en D y radio DG describir el crculo GKL (b,d P3) f. BC=BG (d. D15) g. DL=DG (b,e. D15) h. AL= DL-AD = DG BD = BG (b,c,d,e,g, T1, NC3) T: AL = BC (f, h. NC1)

T3: Dadas dos rectas desiguales, restar de la mayor una recta igual a la menor
H: Sea AB y C rectas desiguales AB > C

Proposicin Justificacin a. En el punto A, construir AD igual a C (H. T2) b. Con centro en A y radio AD trazar el crculo DEF (a. P3) c. AE = AD (b, D15) d. AE = AD, C = AD (c, a) e. C=AE (d, NC1) T: De la recta AB se ha sustrado la menor C (e)

T4:Si dos tringulos tienen dos lados respectivamente iguales, e iguales los ngulos comprendidos por las lneas rectas iguales, tendrn base y ngulos iguales y los tringulos sern iguales
H: Sean ABC, DEF tringulos, tal que AB=DE, AC=DF <BAC = <EDF Justificacin (H) (a) (a, H) (c.) (b,d) (e. NC4) (f.)

Proposicin a. Aplicar el tringulo ABC sobre DEF, punto A sobre D, recta AB sobre DE b. El punto B coincide con el punto E c. El lado AC coincide con el lado DF d. El punto C coincide con el punto F e. La base BC coincide con la base EF f. BC=EF, <ABC=<DEF, <ACB=<DEF T: Los tringulos ABC, DEF son iguales

T5: En los tringulos issceles, los ngulos de la base son iguales entre s, y, si se prolongan las lneas rectas iguales, los ngulos de debajo de la base sern tambin iguales entre s
H: Sea ABC un tringulo issceles, tal que AB=AC, AB est prolongada hasta D, AC est prolongada hasta E (P.2)

Proposicin Justificacin a. F es un punto sobre BD (H.) b. De AE cortar AG=AF (a. T3) c. Unir C con F, B con G (a, b, P1) d. En ABG, ACF: AB=AC, AF=AG, <BAG=<CAF (b. H, c) e. Tringulo ABG= tringulo ACF (d, T4) f. BG= CF (e) g. <ABG=<ACF (e) h. <AFC=<AGB (e) i. BF=CG (b,e. NC3) j. En BCF, BCG: BF = CG, BG=CF, <BFC=<BGC (h) k. Tringulo BCF=tringulo BCG (j. T4) l. <BCG= <CBF, <BCF=<CBG (k) T: <ABC=<ACB (g,m. NC3)

T7: Dadas dos lneas rectas construidas a partir de los extremos de una lnea recta, e incidentes en un punto, no se puede construir a partir de los extremos de la misma lnea recta y por el mismo lado de sta otras dos lneas rectas incidentes en otro punto, e iguales a las dos primeras, cada una con la que tiene la misma extremidad que ella.
Demostracin Indirecta: H: AB es una recta dada. AC, BC son 2 rectas dadas tales que A, B son los extremos de la recta AB T: por un mismo lado de AB no existe otro par de rectas como AC, BC H: No T: Existe D distinto de C, AC=AD, BC=BD

a. Unir C con D b. <BDC=<BCD c. <ADC=<ACD d. <ACD = <BCD+<ACB e. <BDC=<ADC+<ADB=<ACD+ADB= <BCD+<ACB+<ADB f. <BDC mayor que <BCD g. <BDC=<BCD y <BDC mayor que <BCD
De no T se sigue contradiccin por tanto T

(H. P1) (a. T5) (a, T5) (a.) (c,d)

(e.) (b.f)

T8: Si dos tringulos son tales que dos lados del uno son iguales a dos lados del otro, y la base del uno es igual a la base del otro, tendrn iguales los ngulos comprendidos por los lados iguales
H: ABC, DEF son tringulos, AB=DE, AC=DF, BC=EF T: <BAC=<EDF

Proposicin Justificacin a. Aplicar ABC sobre DEF, B sobre E, BC sobre EF (H) b. C coincide con F (a) c. AB=DE, AC=DF Hiptesis auxiliar: H= no C. Existe G distinto a D tal que AB=EG, AC=FG d. Sobre la base EF se pueden construir tringulos diferentes con los mismos lados e. T7 es falso Contradiccin, por tanto, no C es falsa T: <BAC=<EDF (c.)

(H) (H) (d)

T9: Bisecar un ngulo rectilneo dado.

H: BAC es un ngulo

Proposicin Justificacin a. Sobre AB tmese un punto cualquiera D (H.) b. De AC crtese AE igual a AD (a. T3) c. Unir D con E (b, P1) d. Construir sobre DE el tringulo equiltero DEF (c. T1) e. Unir A con F (d, P1) f. En ADF y AEF: AD= AE, AF=AF, DF=EF (b,e,d) g. Tringulo ADF=tringulo AEF (f, T8) T: <DAF=<EAF (g)

T10: Bisecar una recta delimitada dada

H: Sea AB una lnea recta

Proposicin Justificacin a. Sobre AB describir el tringulo equiltero ABC (H. T1) b. Bisecar el ngulo ACB mediante la recta CD (a, T9) c. En ACD, BCD: AC=BC, CD=CD, <ACD=<BCD (a, b) d. Tringulo ACD= tringulo BCD (c.) T: AD=BD (d)

T11: Si una lnea recta levantada sobre una lnea recta forma ngulos, har dos ngulos rectos o ngulos iguales a dos rectos
H: AB, CD son rectas. AB est levantada sobre CD, ABC, ABD son ngulos (H.) (a. D10) (H) (c. T11) (d) (d) (f, NC2) (d) (h, NC2) (g,i, NC1) (e,j) (b,k)

Si a. <ABC=<ABD Entonces b. <ABC, <ABD son rectos Si c. <ABC, <ABD no son rectos Entonces d. En B trazar BE perpendicular a CD e. <CBE, <DBE son rectos f. <CBE=<ABC+<ABE g. <CBE+<DBE=<ABC+<ABE+<DBE h. <ABD=<DBE+<ABE i. <ABD+<ABC=<DBE+<ABE+<ABC= <ABC+<ABE+<DBE j. <CBE+<DBE=<ABD+<ABC k. <ABD+<ABC= 2 ngulos rectos T: ABC , ABD son rectos o iguales a dos rectos