TEOREMAS
Teniendo en cuenta los axiomas precedentes podemos demostrar una vasta cantidad de teoremas.
Podemos afirmar por ejemplo que entre dos puntos de una recta existen infinitos puntos (fijesé que eso no lo habíamos dicho), y para demostrarlo, alcanza con aplicar el axioma que nos indica que hay un punto entre ambos repetidas veces (primero entre los dos puntos dados y luego entre uno de los puntos dados y el punto indicado en el axioma, etc.)
También podemos afirmar que una recta cualquiera y un punto fuera de ella, determinan un plano (que contiene a la recta y al punto simultaneamente). La demostración se basa en observar que la recta está determinada por dos puntos (cualesquiera) de ésta, los tres puntos (el que teníamos y los de la recta) determinan un plano, que contiene al punto y a la recta (ya que la recta tiene dos puntos en el plano).
Como un ejemplo más complejo, podemos afirmár que dada una recta en un plano, existen infinitos puntos del plano que no pertenecen a la recta. Esto parece obvio, pero demostrarlo es complicado, primero, vemos que existe un punto dentro del plano y fuera de la recta (por el axioma que nos dice que la recta es un conjunto parcial de puntos), para demostrar que los puntos son infinitos, vemos que entre ese punto fuera de la recta y un punto cualquiera de la recta, hay infinitos puntos (recurriendo al primer teorema que enunciamos) y estos deben estar fuera de la recta (ya que si tubieran otro punto común las dos rectas coincidirían y eso es una contradicción, ya que aclaramos que el punto fuera de la recta estaba fuera de la recta)).
Teniendo en cuenta los axiomas precedentes podemos demostrar una vasta cantidad de teoremas.
Podemos afirmar por ejemplo que entre dos puntos de una recta existen infinitos puntos (fijesé que eso no lo habíamos dicho), y para demostrarlo, alcanza con aplicar el axioma que nos indica que hay un punto entre ambos repetidas veces (primero entre los dos puntos dados y luego entre uno de los puntos dados y el punto indicado en el axioma, etc.)
También podemos afirmar que una recta cualquiera y un punto fuera de ella, determinan un plano (que contiene a la recta y al punto simultaneamente). La demostración se basa en observar que la recta está determinada por dos puntos (cualesquiera) de ésta, los tres puntos (el que teníamos y los de la recta) determinan un plano, que contiene al punto y a la recta (ya que la recta tiene dos puntos en el plano).
Como un ejemplo más complejo, podemos afirmár que dada una recta en un plano, existen infinitos puntos del plano que no pertenecen a la recta. Esto parece obvio, pero demostrarlo es complicado, primero, vemos que existe un punto dentro del plano y fuera de la recta (por el axioma que nos dice que la recta es un conjunto parcial de puntos), para demostrar que los puntos son infinitos, vemos que entre ese punto fuera de la recta y un punto cualquiera de la recta, hay infinitos puntos (recurriendo al primer teorema que enunciamos) y estos deben estar fuera de la recta (ya que si tubieran otro punto común las dos rectas coincidirían y eso es una contradicción, ya que aclaramos que el punto fuera de la recta estaba fuera de la recta)).
No hay comentarios:
Publicar un comentario