Autor Tema: Formalización de enunciados en geometría

0 Usuarios y 1 Visitante están viendo este tema.

03 Junio, 2005, 01:12 am
Leído 9132 veces

Charlypi

  • $$\pi \pi$$
  • Mensajes: 31
  • Karma: +0/-0
Mi problema es cómo hacer para formalizar los enunciados que aparecen en los libros de geometría.
Por ejemplo en el archivo adjunto el cual es el axioma de partición del plano, me aparecen dos proposiciones que he formalizado pero que no sé si lo hice correctamente. Me gustaría que me respondieran si lo hice bien y cómo debo hacerlo, cuándo sé que hice bien una formalización.

3)   Para todo punto de α1 y para todo punto  de α2, existe en el segmento que determinan  uno y sólo uno un punto en común con (r).


\forall{}A\in{}α1y\forall{}B\in{}α2\exists{}\lbrace{}\rbraceP=(r)\cap{}AB

Gracias

04 Octubre, 2005, 04:40 am
Respuesta #1

Carlos H. Cabrera Gen

  • $$\pi$$
  • Mensajes: 11
  • Karma: +0/-0
  • Sexo: Masculino
  • Atentamente

PARTICIÓN de un CONJUNTO
Definición

CONJUNTO CONVEXO
Definición

PARTICIÓN CONVEXA
Definición
………………………………………………………………………………………………………..

AXIOMA DE LA PARTICIÓN DEL PLANO

Sea  R una recta  contenida en un plano P.
 
R determina una partición convexa { S₁  , R , S₂} de P
tal que si  p ∈ S₁   y   q ∈ S₂ , entonces  [ p , q] ∩ R ≠ Ø .
………………………………………………………………………………………………………..

Carlos H. Cabrera Gen
ciemar185@yahoo.com
ciemarhc@hotmail.com