Definición(semirecta)

Todo punto perteneciente a una recta separa a la misma en dos porciones, cada una de ellas recibe el nombre de
semirrecta. Al punto que da lugar a las dos semirrectas opuestas se lo llama origen.

Para diferenciar las semirrectas se determinan dos puntos adicionales, cada uno de los cuales pertenece a cada
semirrecta:

 Semirrecta de origen O que pasa por el punto A

 Semirrecta de origen O que pasa por el punto B

Características de las semirrectas

 Todo punto de una recta pertenece a una de las dos semirrectas o coincide con el origen.

 La intersección de dos semirrectas opuestas es el punto de origen.

 La unión de dos semirrectas opuestas es toda la recta.

Axiomas del plano

Cuarto axioma. Un plano queda determinado por tres puntos no alineados. De este axioma se puede deducir
directamente que un plano está también determinado:

• a) Por una recta y un punto exterior a la misma.

• b) Por dos rectas que se cortan.
• c) Por dos rectas paralelas.

Quinto axioma. Toda recta, dos de cuyos puntos pertenezcan al plano, está toda ella incluida en él.

De este postulado deducimos que una recta con relación al plano puede ocupar tres posiciones:

• a) Que la recta no tenga ningún punto común con el plano. En este caso decimos que la recta y el plano sog
paralelos.
• b) Que la recta tenga un solo punto común con el plano. En este caso, la recta corta al plano.
• c) Que la recta tenga dos puntos en común con el plano y por lo tanto está contenida en él.
Si dos rectas están en el mismo plano se dice que son coplanarias.

Si dos rectas no están en el mismo plano se dice entonces que se cruzan.

Sexto axioma. Axioma de división del espacio.

Todo plano divide al espacio en dos regiones llamadas semiespacios de tal forma que:

• a) Todo punto que no pertenece al plano está en uno solo de los semiespacios.
• b) Dos puntos del mismo semiespacio pueden ser unidos por una línea sin cortar el plano
• c) Dos puntos de distinto semiespacio no pueden ser unidos por una línea sin cortar el plano.

A partir de estos conceptos que hemos estudiado, no hay nada arbitrario, sino que toda demostración se ha de
desarrollar con rigor lógico.