\section{SEMI-RECTAS, SEMI-PLANOS Y SEMI -ESPACIO}

\begin{teo}

Dado $x,y \in$ E \ \ $x\neq y$ existen infinitos puntos en el segmento

$\overline{xy}$.

\end{teo}

La demostración es muy fácil en base a los teoremas anteriores.

Sea L $\in \mathcal{L}$ y $x\in L$.\ Axioma 5 implica la existencia de $y\in L$ tal que $y\neq
x.$ \\

\begin{defn}

Los puntos $x,y$ en L determinan dos SEMI-RECTAS ABIERTAS.

\end{defn}

\ $ L^1_{xy}$, $ L^2_{xy}$ dadas por\\

\ $ L^1_{xy}

={z\in L : (z\neq x)\wedge (x \in \overline{zy} )}$ y \\

\ $ L^2_{xy}={z\in L : x\notin \overline{zy}}$\\

\ Nótese que $x\notin L^1_{xy}$ y $x\notin L^2_{xy}$, además $L^1_{xy}\bigcap L^2_{xy}=

\emptyset$

\begin{teo}

$L= L^1_{xy}\bigcup {x} \bigcup L^2_{xy}$

\end{teo}

\begin{enumerate}

\item[1)] Desde luego $L^1_{xy}\bigcup {x} \bigcup L^2_{xy}\subset L$ pues \\

$\left( L^1_{xy}\subset L\right) \wedge \left(x\in L\right) \wedge

\left(L^2_{xy}\subset L\right)$

\item[2)] Demostraremos que $L\subset L^1_{xy}\bigcup {x} \bigcup L^2_{xy}$

\item[3)] Sea $z \in L$

\item[4)] Consideremos $\overline{zy}\subset L$

\item[5)] Si $x\notin \overline{zy}\Rightarrow z \in L^2_{xy} $

\item[6)] Si $x \in \overline{zy}$ y $z\neq x\Rightarrow z \in L^1_{xy}$

\item[7)] En todo caso $z \in L^1_{xy}\bigcup {x} \bigcup L^2_{xy}$ \\

 Queda Demostrado.

\end{enumerate}

\underline{ NOTA 19} \ \ Como $y\neq x \ \ \ \ \ \ x\notin \overline{yy} $ y por lo tanto

$y \in L^2_{xy}$ con lo que se ve que $L^2_{xy}\neq \emptyset$\\

\textbf{AXIOMA 12}: implica la existencia de $z \in E$ tal que $(x,y,z) \in S$ o sea $x \in
\overline{zy} \ \ \ x\neq z,$ por lo tanto $z \in L^1_{xy}$ o sea $L^1_{xy}\neq \emptyset$

\begin{defn}

Las SEMI-RECTAS CERRADAS $\overline{L}^1_{xy}$ y $\overline{L}^2_{xy}$ son los

conjuntos: \\

\begin{center} $\overline{L}^1_{xy}= {L}^1_{xy} \bigcup {x}$ \\

$\overline{L}^2_{xy}= {L}^2_{xy} \bigcup {x}$ \\ \end{center}

\end{defn}

\underline{NOTA 20} Se puede ver inmediatamente que\\

\begin{center}

$\overline{L}^1_{xy}\bigcup \overline{L}^2_{xy}= L$\\

$\overline{L}^1_{xy}\bigcap \overline{L}^2_{xy}= {x}$\\ \end{center}

\underline{NOTA 21} \ $u \in L^1_{xy} \Longleftrightarrow (u,x,y) \in S$\\

$ v \in L^2_{xy} \Longleftrightarrow (v=y) \vee \left( (x,v,y) \in S\right) $\\

\begin{teo}

$(u \in L^1_{xy}) \wedge (v \in L^2_{xy})\Rightarrow x \in \overline{uv}$

\end{teo}

\begin{enumerate}

\item[1)] Si $v= y \ \ \ x \in \overline{uy}=\overline{uy}$ por definición de $L^1_{xy}$.

\item[2)] Si $y,v,x$ son puntos colineales diferentes entonces

\item[3)] $\left((y,v,x) x,y,z \in S\right) \vee \left((y,x,v) \in S\right)$

\item[4)] $(y,x,v) \in S \Rightarrow v \in L^2_{xy}$ Esto es una contradición.

\item[5)] $\left( (x,v,y)\in S \right)\wedge \left((u,x,y)\in S\right) \Rightarrow (u,x,v) \in

S$ \ Teo.16
 \item[6)] $\left((v,y,x)\in S\right) \wedge \left((u,x,v) \in S\right)\Rightarrow (u,x,v) \in
S$ \ Teo.15

o sea $x \in \overline{uv}$\\

\end{enumerate}

Queda Demostrado. \\

\begin{defn}

Sea $Q \subset E, Q$ \ CONVEXO ssi $x,y \in Q\Rightarrow \overline{xy} \subset Q$

\end{defn}

\begin{teo}

Si $u,v \in L^1_{xy} \Rightarrow x \notin \overline{uv}$

\end{teo}

\begin{figure}[h]

\centering

\includegraphics[scale=0.3]{build/Teorema}

\caption{Imagen Teo.20}

\end{figure}

\begin{enumerate}

\item[1)] Sabemos que $(u,x,y) \in S \wedge (v,x,y) \in S$ \ Nota 21

\item[2)] Si $u= v \Rightarrow x \in \overline {uv} \Rightarrow x= u \in L^1_{xy}$ \ \ Es

una contradicción.

\item[3)] Supongamos que $u \neq v$ luego $x,y,u,v$ puntos diferentes de $L$.

\item[4)] $\exists r \in E : r \notin L$

\item[5)] $\exists r \in E :(s,r,y) \in S, s\notin L $

\item[6)] $(r,s,y)\notin S \wedge (u,x,y) \in S \Rightarrow \exists t:(u,t,r)$

\item[7)] $(r,s,y) \notin S \wedge (v,x,y) \in S \Rightarrow \exists q: (v,q,r)$

\item[8)] $(u,t,r) \in S \wedge (v,q,r) \in S \Rightarrow (u,x,v) \notin S$

\item[9)] Luego $x \notin \overline{uv} $\\

\end{enumerate}
\begin{teo}

$L^1_{xy}$ es un conjunto CONVEXO

\end{teo}

\begin{enumerate}

\item [1)] Sea $u,v \in L^1_{xy}$ demostraremos $\overline {uv} \subset L^1_{xy}$

\item [2)] Sea $w \in \overline{uv} $

\item [3)] Si $w \in {u,v} \Rightarrow w \in L^1_{xy}$

\item [4)] Si $w \notin {u,v} \ \ \ w\neq x pues x \notin \overline{uv}$ \ Teo.20

\item [5)] Además $w \notin L^2_{xy}$ pues si $w \in L^2_{xy}$

\item [6)] $(u,x,w) \in S$ \ \ \ Teo.19

\item [7)] $(u,x,w) \in S ^ (u,w,v) \in S \Rightarrow (u,x,v) \in S$

\item [8)] $(u,x,v) \in S$ \ Esto es una contradicción \ \ Teo.20

\item [9)] Luego $w \in L^1_{xy} \Rightarrow \overline{uv} \subset L^1_{xy}$

\end{enumerate}

\begin{teo}

$L^2_{xy},\overline {L}^1_{xy} \ y \ \overline {L}^2_{xy}$ son conjuntos CONVEXOS

\end{teo}

La demostración no es difícil utilizando las mismas técnicas empleadas en las

demostraciones anteriores.\\

La partición de $L$ en tres conjuntos disyuntivos ${x},\ {L}^1_{xy} \ y \ {L}^2_{xy}$ no

depende del punto $y \in L$, como lo explica el siguiente teorema.\\

\begin{teo}

Sea $u \in L, u \neq x,$ entonces

\end{teo}

\begin{center}

$u \in L^1_{xy} \Rightarrow (L^1_{xu}=L^2_{xy} \wedge (L^2_{xu}= L^1_{xy})$ \ \ en

cambio\\ $u \in L^2_{xy} \Rightarrow ( L^1_{xu}= L^1_{xy}) \wedge ( L^2_{xu}= L^2_{xy})$

\end{center}

\begin{enumerate*}

\item[1)] Sea $u \in L^1_{xy}$ (sabemos que $u \in L^2_{xu}$\ \ y\ \ $y \in L^2_{xy})$
 \item[2)] Sea $z \in L^1_{xy}$

\item[3)]

$L^1_{xy}$ CONVEXO $u,z \in L^1_{xy}\Rightarrow \overline{uz} \subset L^1_{xy}$

\item[4)] Luego $x\notin \overline{uz}\Rightarrow z \in L^2_{xu}$

\item[5)] Hemos demostrado que $ L^1_{xy} \subset L^2_{xy}$

\item[6)] Sea $z\in L^2_{xu}$

\item[7)] Como $u \in L^1_{xy} \Rightarrow x \in \overline{uy}$

\item[8)] O sea $y \in L^1_{xu} \Rightarrow x \in \overline{zy}$ \ \ por Teo.19.

\item [9)] Luego $z \in L^1_{xy}$

\item [10)] Hemos demostrado que $L^2_{xu} \subset L^1_{xy}$

\item [11)] Por lo tanto $L^1_{xy}= L^2_{xu}$

\item [12)] Como $L^2_{xy}= L- {x}- L^1_{xy}$\\

$L^1_{xu}= L-{x}- L^2_{xu}$ entonces\\

$L^2_{xy}=L^1_{xu}$

\item [13)] Sea $u \in L^2_{xy} \Rightarrow x\notin \overline {uy} \Rightarrow y \in L^2_{xu}$

\item [14)]Sea $z \in L^1_{xy} \Rightarrow x\in \overline {zu} \Rightarrow z \in L^1_{xu}$

\item [15)]Sea $z \in L^1_{xu} \Rightarrow x\in \overline {zy} \Rightarrow z \in L^1_{xu}$ o sea
$L^1_{xu} \subset L^1_{xy}$

\item [16)] Finalmente $L^1_{xu}= L^1_{xy}$

\item [17)] Como $L^2_{xu}= L- {x}- L^1_{xu}$ \ \ \ y \\

$L^2_{xy}= L- {x}- L^1_{xy} \ \ $ entonces \\

$L^2_{xu}= L^2_{xy}$ Queda Demostrado.\\

\end{enumerate*}

\underline{NOTA 22} Luego dado un punto $x \in L \ \ y,z \in L- {x}$ \\

\begin{center}

$\left\lbrace L^1_{xy},L^2_{xy}\right\rbrace=\left\lbrace
L^1_{xz},L^2_{xz}\right\rbrace$\\

\end{center}

\begin{defn}

Los conjuntos $L^1_{x}$ y $L^2_{x}$ estarán dados por\\

\begin{center}
 $\left\lbrace L^1_{x},L^2_{x}\right\rbrace=\left\lbrace
L^1_{xy},L^2_{xy}\right\rbrace$\\

\end{center}

\end{defn}

Sea $P\in \mathcal{P}$ y $L \subset P$. Teorema 7 implica que existe $y \in P : y \notin L$.

\begin{defn}

La recta $L$ en $P$ y el punto $y \in P$, determinan dos SEMI-PLANOS ABIERTOS
$P^1_{Ly} P^2_{Ly}$ dados por

\end{defn}

\begin{center}

$P^1_{Ly}=\left\lbrace z\in P: (z \notin L)\wedge (\overline{zy}\cap L)\neq

\emptyset\right\rbrace$\\

$P^2_{Ly}=\left\lbrace z\in P: (\overline{zy} \cap L)=\emptyset\right\rbrace$\\

\end{center}

Nótese que $L\cap P^1_{Ly}=\emptyset$ y $L\cap P^2_{Ly}= \emptyset$ además

\begin{center}$P^1_{Ly}\cap P^2_{Ly}=\emptyset$\\\end{center}

\begin{teo}

$P= P^1_{Ly} \cup L \cup P^2_{Ly}$

\end{teo}

\begin{enumerate*}

\item[1)] Desde luego $P\supset P^1_{Ly} \cup L \cup P^2_{Ly}$

\item[2)] Queremos demostrar que $P \subset P^1_{Ly} \cup L \cup P^2_{Ly}$

\item[3)] Sea $z \in P$ formemos $\overline{zy} \subset P$

\item[4)] Si $\overline{zy} \cap L= \emptyset \Rightarrow z \in P^2_{Ly}$

\item[5)] Si $\overline{zy} \cap L \neq \emptyset$ y $z \notin L \Rightarrow z \in P^1_{Ly}$

\item[6)] Luego $z \in P^1_{Ly} \cup L \cup P^2_{Ly}$ \ Queda Demostrado\\

\end{enumerate*}

\underline{NOTA 23} \ \ Como $y \notin L \ \ \ \overline{yy} \cap L=\emptyset$ o sea $y \in

P^2_{Ly}$ luego $P^2_{Ly}\neq \emptyset.$\\
Existe $u \in L$ y $\exists v \in E : (v,u,y) \in S$ luego $v,u,y \in P$.\\

$\overline{vy}\cap L= u$ \ \ luego $P^1_{Ly}\neq \emptyset$.\\

Existe $u \in L$ y $\exists v \in E :(v,u,y) \in S$ luego $v,u,y \in P$.\\

$\overline{vy} \cap L= u$ \ \ luego $P^1_{Ly}= \emptyset$\\

\begin{defn}

Los SEMI-PLANOS CERRADOS $\overline{P}^1_{Ly}$ y $\overline{P}^2_{Ly}$ son los

conjuntos

\end{defn}

\begin{center}

$\overline{P}^1_{Ly}={P}^1_{Ly}\cup L$\\

$\overline{P}^2_{Ly}={P}^2_{Ly}\cup L$

\end{center}

\underline{NOTA 24} Se puede ver inmediatamente que

\begin{center}

$\overline{P}^1_{Ly}\cup {P}^2_{Ly}=P$\\

$\overline{P}^1_{Ly}\cap{P}^2_{Ly}=L$

\end{center}

\underline{NOTA 25} \ \ $u \in P^1_{Ly} \Leftrightarrow \exists v \in L:(u,v,y)\in S$

\begin{teo}\ \ $(u\in P^1-{Ly}) \wedge (v \in P^2_{Ly}\Rightarrow \overline{uv}\cap L\neq

\emptyset$

\end{teo}

\begin{figure}[htb]

\centering

\includegraphics[scale=0.3]{build/COLINEAL}

\caption{Figura Teo.20}

\end{figure}

\begin{enumerate}

\item[1)] Supongamos $u,v,y$ NO-COLINEALES

\item[2)] $({u,v,y} \cap L= \emptyset$

 \item[3)] $(\overline{uy}\cap L\neq \emptyset) \wedge (\overline{vy}\cap
L=\emptyset)\Rightarrow (\overline{uv}\cap L\neq \emptyset)$ Al4

\item[4)] Supongamos $u,v,y$ COLINEALES

\item[5)] $\exists w \in L: (u,w,y)\in S$ \ \ \ Nota 25.

\item[6)] Consideremos los puntos COLINEALES diferentes $u,v$ y $w$.

\item[7)] Teorema 13 dice que debe ocurrir\\

$\left((w,u,v)\in s\right) \vee \left((u,w,v) \in S\right) \vee \left((u,v,w)\in S\right)$

\item[8)]$\left((u,v,w)\in S\right)\wedge \left((u,w,y)\in S\right)\Rightarrow (v,w,y)\in

S$\ \ Teo.15 o sea $\overline{vy} \cap L\neq \emptyset$ es una contradicción con $v \in
P^2_{Ly}$

\item[9)] $(v,u,w) \in S \wedge (u,w,y) \in S \Rightarrow (v,w,y) \in S$ \ \ Teo.14

de nuevo es una contradicción con $v \in P^2_{Ly}$

\item[10)] O sea debe ocurrir $(u,w,v) \in S$ luego $\overline{uv}\cap L\neq

\emptyset$.\\

Esto completa la demostración.

\end{enumerate}

\underline{NOTA 26} \ \ Si $u \in P^1_{Ly}$ y $v \in P^2_{Ly} \Rightarrow \exists w \in L:

(u,w,v)\in S$\\

\begin{teo} \ \ Si $u,v \in P^2_{Ly} \Rightarrow \overline{uv} \cap L= \emptyset$

\end{teo}

\begin{enumerate}

\item [1)] Consecuencia inmediata de A14

\end{enumerate}

\begin{teo}\ \ Si $u,v \in P^1_{Ly}\Rightarrow \overline{uv} \cap L=\emptyset$

\end{teo}

\begin{enumerate}

\item [1)] Consecuencia inmediata de A14

\end{enumerate}

\begin{teo}\ \ $P^1_{Ly}$ es un conjunto CONVEXO

\end{teo}

\begin{enumerate}

\item [1)] Sea $u,v \in P^1_{Ly}$, consideremos $\overline{uv}$

\item[2)] Sea $S(w\in \overline{uv}\wedge (w\notin {u,v}) \Rightarrow (u,w,v)\in S$

 \item[3)]$w \notin L$ pues $\overline{uv} \cap L=\emptyset$ Teo.27

\item[4)] $w \notin P^2_{Ly}$ pues si $w \in P^2_{Ly} \exists z\in L: (u,z,w)\in S$

\item[5)] $(u,z,w) \in S\wedge (u,w,v) \in S \Rightarrow (u,z,v) \in S$

\item[6)] Luego $\overline{uv}\cap L\neq \emptyset$. Lo cual esto es una

contradicción Teo.27

\item[7)] Por lo tanto $w \in P^1_{Ly}$

\item[8)] Luego $\overline{uv} \subset P^1_{Ly}$ \ \ \ \ Queda demostrado.

\end{enumerate}

\begin{teo} \ \ $P^2_{Ly}, \overline{P}^1_{Ly}$ y $\overline{P}^2_{Ly}$son conjuntos

CONVEXOS

\end{teo}

\begin{teo}

\ La demostración no es difícil utilizando las mismas técnicas empleadas en las demostraciones

anteriores.

\end{teo}

La partición de $P$ en tres conjuntos disyuntivos $L,P^1_{Ly}, P^2_{Ly}$ no depende del punto
$y \in P$ como lo explica el siguiente teorema.

\begin{teo}\ \ Sea $u \in P \ \ \ u\notin L$ entonces

\end{teo}

\begin{center}

$u \in P^1_{Ly} \Rightarrow (P^1_{Lu}= P^2_{Ly}) \wedge (P^2_{Lu}= P^1_{Ly})$ en

cambio

$u \in P^2_{Ly}\Rightarrow (P^1_{Lu}= P^1_{Ly}) \wedge (P^2_{Lu}= P^2_{Ly})$

\end{center}

\ \ Demostración análoga a la del Teo.23\\

\underline{NOTA 27}\ \ Luego dada una recta $L \subset P \ \ y,z \in P-L$\\

\begin{center}

$\left\lbrace P^1_{Ly},P^2_{Ly}\right\rbrace= \left\lbrace P^1_{Lz},P^2_{Lz}\right\rbrace$

\end{center}
\begin{defn} \ \ Los conjuntos $P^1_{L}$ y $P^2_{L}$ están dados por\\

\begin{center}

$\left\lbrace P^1_{L},P^2_{L}\right\rbrace= \left\lbrace

P^1_{Ly},P^2_{Ly}\right\rbrace$

\end{center}

\end{defn}

Consideremos el espacio $E$ y $P \in \mathcal{P}$. Existe un punto $y \in E$ tal que $y\notin
P$.

\begin{defn} \ \ El plano $P$ y el punto $y$ determinan dos SEMI-ESPACIOS ABIERTOS

$E^1_{Py}$ y $E^2{Py}$ dados por

\end{defn}

\begin{center}

$E^1_{Py}=\left\lbrace z \in E: (z\notin P)\wedge (\overline{zy} \cap P \neq

\emptyset)\right\rbrace$\\

$E^2_{Py}=\left\lbrace z \in E: \overline{zy} \cap P= \emptyset\right\rbrace$\\

\end{center}

Nótese que $E^1_{Py}\cap P= \emptyset$ y $E^2_{Py}\cap P= \emptyset$ además \\

$E^1_{Py}\cap E^2_{Py}=\emptyset$\\

\begin{teo} \ \ $E= E^1_{Py}\cup P \cup E^2_{Py}$

\end{teo}

\\ Demostración similar a la del Teorema 23\\

\underline{NOTA 28} \ \ Como $y \notin P \ \ \overline{yy} \cap L= \emptyset$

Existe $u \in P$ y $\exists v \in E: (v,u,y) \in S$, luego $\overline{vy} \cap P\neq \emptyset$ o
sea $v \in E^1_{Py}$ y $E^1_{Py}\neq \emptyset$

\begin{teo} \ \ Los SEMI-ESPACIOS CERRADOS $\overline{E}^1_{Py}$ y $\overline {E}^2_{Py}$

son los conjuntos.

\end{teo}

\begin{center}
 $\overline{E}^1_{Py}= {E}^1_{Py} \cup P$\\

$\overline{E}^2_{Py}= {E}^2_{Py} \cup P$

\end{center}

\underline{NOTA 29}\ \ Se puede ver inmediatamente que

\begin{center}

$\overline{E}^1_{Py}\cup \overline{E}^2_{Py}= E$\\

$\overline{E}^1_{Py}\cap \overline{E}^2_{Py}= P$\\

\end{center}

\underline{NOTA 30}\ \ $u \in E^1_{Py}\Leftrightarrow \exists v \in P: (u,v,y) \in S$\\

\begin{teo}\ \ $(u\in E^1_{Py}) \wedge (v\in E^2_{Py})\Rightarrow \overline{uv}\cap P\neq

\emptyset$

\end{teo}

\begin{enumerate}

\item [1)] Análoga la del Teorema 25

\end{enumerate}

\underline{NOTA 31}\ \ Si $u \in E^1_{Py}$ y $v \in E^2_{Py} \Rightarrow \exists w \in P:

(u,w,v) \in S$\\

\begin{teo}\ \ Si $u,v \in E^2_{Py} \Rightarrow \overline{uv}\cap P= \emptyset$

\end{teo}

\begin{enumerate}

\item [1)] Sea $Q$ un plano por $u,v$ e $y$, éste siempre existe (A2 o Teo.4)

\item [2)] $\overline{uv} \subset Q$ luego\\

\ \ \ \ \ \ $\overline{uv} \cap P \subset Q \cap P$

\item[3)] $Q \cap P= \emptyset \Rightarrow \overline{uv}\cap P=\emptyset \ \ \ $

Queda Demostrado.

\item[4)] Si $Q \cap P=\emptyset$\ \ \ $A3, A1, A2$ implican que\\

\ \ \ \ $\exists L_{0} \in \mathcal{L}: Q \cap P= L_{0}$

\item[5)] Luego $\overline{uv} \cap P \subset L_{0} \subset P \Rightarrow \overline{uv}

\cap P= \overline{uv}\cap L$

\item[6)] Usando el Axioma 14 se finaliza rápidamente la demsotración.

\end{enumerate}
\begin{teo}\ \ Si $u,v\in E^1_{Py}\Rightarrow \overline{uv} \cap P=\emptyset$

\end{teo}

\begin{enumerate}

\item[1)] Demostración análoga a la Anterior.

\end{enumerate}

\begin{teo}\ \ Si $E^1_{Py},E^2_{Py},\overline{E}^1_{Py}$ y $E^2_{Py}$ son conjuntos

CONVEXOS.

\end{teo}

La demostración no es difícil utiizando las mismas técnicas empleadas en las demostraciones

anteriores.\\

La partición de $E$ en tres conjuntos disyuntivos $P, E^1_{Py}, E^2_{Py}$ no depende del
punto $y \in E$ como lo explica el siguiente Teorema.

\begin{teo}\ \ Sea $u \in E \ \ \ u \notin P$ entonces

\end{teo}

$u \in E^1_{Py}\Rightarrow (E^1_{Pu}= E^2_{Py})\wedge (E^2_{Pu}= E^1_{Py})$ en cambio\\

$u \in E^2_{Py}\Rightarrow (E^1_{Pu}= E^1_{Py})\wedge (E^2_{Pu}= E^2_{Py})$

\begin{enumerate}

\item [1)] Demostración análoga a la del Teorema 23.

\end{enumerate}

\underline{NOTA 31}\ \ Si $u \in E^1_{Py}$ y $ v \in E^2_{Py}\Rightarrow \exists w \in P:

(u,w,v) \in S$\\

\begin{teo}\ \ Si $u,v \in E^2_{Py}\Rightarrow \overline{uv}\cap P= \emptyset$

\end{teo}

\begin{enumerate}

\item [1)] Sea $Q$ un plano por $u,v$ e $y$, éste siempre existe (A2 o Teo.4)

\item [2)] $\overline{uv} \subset Q$ luego\\

$\overline{uv} \cap P \subset Q \cap P$

\item [3)] Si $Q \cap P= \emptyset \Rightarrow{uv}\cap P= \emptyset$ Queda

Demostrado.

\item [4)] Si $Q \cap P \neq \emptyset A3, A1 y A2$ implican que \\

 $\exists L_{0} \in \mathcal{L}:Q \cap P= L_{0}$

\item [5)] Luego $\overline{uv} \cap P \subset L_{0} \subset P\Rightarrow

\overline{uv}\cap P= \overline{uv}\cap L$

\item [6)] Usando el Axioma 14 se finaliza rápidamente la demostración.

\end{enumerate}

\begin{teo} Si $u,v \in E^1_{Py} \Rightarrow \overline{uv}\cap P= \emptyset$

\end{teo}

\begin{enumerate}

\item [1)] Demostración análoga a la anterior.

\end{enumerate}

\begin{teo}\ \ $E^1_{Py},\overline{E}^1_{Py}$ y $E^2_{Py}$ son conjuntos CONVEXOS.

\end{teo}

La demostración no es difícil utilizando las mismas técnicas empleadas en las demostraciones

anteriores.\\

La partición de $E$ en tres conjuntos disyuntivos $P, E^1_{Py},E^2_{Py}$ no depende del

punto $y \in E$ como lo explica el siguiente Teorema.

\begin{teo} Sea $u \in E \ \ \ u \notin P$ entonces

\end{teo}

$u \in E^1_{Py} \Rightarrow (E^1_{Pu}= E^2_{Py})\wedge (E^2_{Pu}= E^1_{Py})$ en cambio\\

$u \in E^2_{Py} \Rightarrow (E^1_{Pu}= E^1_{Py})\wedge (E^2_{Pu}= E^2_{Py})$\\

\ \ Demostración análoga a la del Teorema 23.\\

\\

\underline{NOTA 31}\ \ Luego dado un plano $P \subset E \ \ y,z \in E- P$

\begin{center}

$\left\lbrace E^1_{P},E^2_{P}\right\rbrace= \left\lbrace E^1_{Pz},

E^2_{Pz}\right\rbrace$

\end{center}

\begin{defn} Los conjuntos $E^1_{P}$ y $E^2_{P}$ están dados por

\begin{center}

$\left\lbrace E^1_{P},E^2_{P}\right\rbrace= \left\lbrace E^1_{Py},

E^2_{Py}\right\rbrace$

\end{center}
\end{defn}

\underline{Ejercicio 2}\ \ Sean $x,y,u,z$ puntos COLINEALES diferentes $(u,x,y)\in S \wedge

(y,x,z)\notin S\Rightarrow (u,x,z) \in S$\\

\begin{figure}[hbtp]

\includegraphics[scale=1]{build/puntos_colineales}

\centering

\end{figure}

\begin{enumerate}

\item[1)] $\exists r \in E: r \notin L \in \mathcal{L},{x,y,u,z} \subset L$

\item[2)] $\exists w \in E: (u,r,w) \in S \ \ \ w \notin L$

\item[3)] $(u,x,y) \in S \wedge (u,w,r) \notin S \Rightarrow \exists v: (r,v,y) \in S$

\item[4)]$(r,v,y) \in S \wedge (y,x,z) \notin S \Rightarrow \exists t: (r,t,z) \in S$

\item[5)]$(r,t,z) \in S \wedge (u,w,r) \notin S \Rightarrow (u,x,z) \in S$

Queda Demostrado.\\

\end{enumerate}

\underline{Ejercicio 3}\ \ Sean $x,y,u,z$ puntos COLINEALES diferentes $(y,x,u)\notin S \wedge

(y,x,z)\notin S\Rightarrow (u,x,z) \in S$

\begin{figure}[hbtp]

\includegraphics[scale=1]{build/puntos_coln_dif}

\centering

\end{figure}

\begin{enumerate}

\item [1)] $\exists r \in E: r\notin L \in \mathcal{L}, \{x,y,u,z\} \subset L$

\item [2)] $\exists w \in E:(y,r,w)\in S \ \ \ w \notin L$

\item [3)] $(y,x,u) \notin S \wedge (y,r,w) \in S \Rightarrow \exists v: (w,v,u) \in S$

\item [4)] $(y,x,z) \notin S \wedge (y,r,w) \in S \Rightarrow \exists t: (w,t,z) \in S$

\item [5)] $(w,v,u) \in S \wedge (w,t,z) \in S \Rightarrow (u,x,z)\notin S$ \ \ Queda
Demostrado.
\end{enumerate}

\section{ANGULOS}

Consideremos tres puntos $x,y,z \in E$ NO-COLINEALES

\begin{figure}[h]

\includegraphics[scale=1]{build/angulos}

\centering

\end{figure}

\begin{defn}\ \ EL ANGULO $y,x,z$ que escribiremos $(\measuredangle y,x,z)$ está definido

por

\end{defn}

Inmediatamente podemos afirmar:

\begin{enumerate}

\item[i)] $(\measuredangle y,x,z) \subsetneqq P_{xyz}$

\item[ii)]$(\measuredangle y,x,z)= (\measuredangle y,x,z)$

\item[iii)] $(\measuredangle y,x,z)$ CONVEXO (pues es la interesección de dos

conjuntos convexos)

\item[iv)]$x,y,z \in (\measuredangle y,x,z)$

\item[v)] $\overline{L}^2_{xy} \subset (\measuredangle y,x,z)$

\item[vi)]$\overline{L}^2_{xz} \subset (\measuredangle y,x,z)$

\end{enumerate}

\begin{defn}\ \ $x$ es el VERTICE del ángulo $(\measuredangle y,x,z)$

\end{defn}

\begin{defn}\ \ $\overline{L}^2_{xy}$ y $\overline{L}^2_{xz}$ son los LADOS del ángulo

$(\measuredangle y,x,z)$

\end{defn}

\begin{defn}\ \ El interior del $(\measuredangle y,x,z)$, en símbolos $Int(\measuredangle

y,x,z)$ es

\end{defn}

\begin{center}

$Int(\measuredangle y,x,z)=(\measuredangle y,x,z)-\overline{L}^2_{xy}-\overline{L}^2_{xz}$

\end{center}
\underline{NOTA 32}\ \ Si $x,y,z$ NO-COLINEALES ENTONCES $y,x,z$ y $x,z,y$ NO-COLINEALES
luego podemos hablar de los ángulos $(\measuredangle y,x,z),(\measuredangle y,x,z)$ y
$(\measuredangle x,z,y)$. Se puede demostrar fácilmente que estos tres conjuntos son
diferentes.\\

\underline{NOTA 33}\ \ Sea $x,y,z$ no colineales

$Int(\measuredangle y,x,z)= P^2_{L_{xz}}y$ \ y $\cap P^2_{L_{xy}}z$

\begin{teo}\ \ Sean $x,y,z$ NO-COLINEALES. Si $u \in L^2_{xy} \ \ v \in L^2_{xz}$ entonces

$(\measuredangle y,x,z)= (\measuredangle u,x,v)$

\end{teo}

\begin{enumerate}

\item [1)] La demostración es fácil.

\end{enumerate}

\begin{defn} Sean $\overline{L}^2_{x}$ y $\overline{T}^2_{x}$ dos SEMI-RECTAS

CERRADAS.$\overline{L}^2_{x},\overline{T}^2_{x}$ son NO-COLINEALES ssi $\nexists L\in
\mathcal{L}:\overline{L}^2_{x}, \overline{T}^2_{x}\subset L$.

\end{defn}

\underline{NOTA 34}\ \ $\overline{L}^2_{xy},\overline{T}^2_{xz}$ NO-COLINEALES ssi $x,y,z$

NO-COLINEALES\\

Teorema 37 nos permite definir ángulo entre dos semi-rectas.

\begin{defn}\ \ Sean $\overline{L}^2_{x},\overline{T}^2_{x}$ SEMI-RECTAS CERRADAS NO-

COLINEALES.\\

El ángulo formado por $\overline{L}^2_{x}$ y $\overline{T}^2_{x}$ en símbolos

$(\measuredangle \overline{L}^2_{x},\overline{T}^2_{x} )$, está dado por:

\begin{center}

$(\measuredangle \overline{L}^2_{x},\overline{T}^2_{x})=(\measuredangle y,x,z)$ en que $y

\in L^2_{x}, z\in T^2_{x}$

\end{center}

\end{defn}

\begin{teo}\ \ Sea $\overline{L}^2_{x}$ y $\overline{T}^2_{x}$ dos semi- rectas no colineales.

Los interiores de los ángulos $(\measuredangle\overline{L}^2_{x},\overline{T}^2_{x}),
(\measuredangle\overline{L}^2_{x},\overline{T}^1_{x}),(\measuredangle\overline{L}^1_{x},\ov
erline{T}^2_{x})$ y $ (\measuredangle\overline{L}^1_{x},\overline{T}^1_{x})$

son mutuamente disyuntivos.

\end{teo}
La demostración es inmediata a partir de la definición de ángulos.

\begin{teo}\ \ Sea $\overline{L}^2_{x}$ y $\overline{T}^2_{x}$ dos semi- rectas no colineales.

\end{teo}

\begin{center}

$\overline{U}^2{x} \subset
(\measuredangle\overline{L}^2_{x},\measuredangle\overline{T}^2_{x}) \Rightarrow
\overline{U}^1{x}\subset (\overline{L}^1{x},\overline{T}^1{x})$

\end{center}

La demostración es inmediata a partir de la definición de ángulo.\\

\underline{Corolario}\ \ Sea $\overline{L}^2{x}$ y $\overline{T}^2{x}$ dos semi rectas no

colineales.

$U^2_{x} \subset Int(\measuredangle \overline{L}^2_{x}, \overline{T}^2_{x})\Rightarrow

U^1_{x} \subset Int(\measuredangle \overline{L}^1_{x}, \overline{T}^1_{x})$\\

\underline{Corolario}\ \ Sea $\overline{L}^2{x}$ y $\overline{T}^2{x}$ dos semi rectas no

colineales.

$U^2_{xu} \subset Int(\measuredangle \overline{L}^2_{x}, \overline{T}^2_{x})\Rightarrow

\left( L_{xu} \cap (\measuredangle \overline{L}^1_{x},\overline{T}^2_{x})= {x}\right)$

\begin{teo}\ \ Sean $x,y,z$ NO COLINEALES

$L^2_{x} \subset Int(\measuredangle y,x,z)\Rightarrow \left( \exists u\in {L}^2_{x}: (y,u,z)\in

S\right)$

\end{teo}

\begin{figure*}[h]

\centering

\includegraphics [scale=1]{build/No_colineales}

\caption{Teorema 40}

\end{figure*}

\begin{enumerate}

\item [1)] $\exists w\in T^1_{xy}$ entonces $(w,x,y)\in S$

 \item [2)] $\overline{wz}\subset
(\measuredangle{T}^1_{xy},\measuredangle{T}^2_{xz})$

\item [3)] ${w,z,y} \cap {\measuredangle{L}^2_{x} \cup \measuredangle{L}^1_{x}}=

\emptyset$

\item [4)] Los teoremas anteriores implican

$\overline{wz} \cap (\overline{L}^2_{x} \cup \overline{L}^1_{x})=\emptyset$

\item [5)] A14$\Rightarrow \exists u \in L^2_{x}: (y,u,z) \in S$ \ \ \ Queda Demostrado.

\end{enumerate}

\begin{teo}\ \ Sean $x,y,z$ NO COLINEALES \\

$u \in Int(\measuredangle y,x,z)\Rightarrow U^2_{xu}\subset Int(

\measuredangle y,x,z)$

\end{teo}

\begin{figure}[h]

\centering

\includegraphics[scale=1]{build/No_colineales2}

\caption{Teorema 41}

\end{figure}

\begin{enumerate}

\item [1)] $U^2_{xy}\subset P^2_{L_{xy}}z$ pues si $\exists w \in U^2_{xu}$\\

y $w\in \overline{P}^1_{L_xy}z\Rightarrow$ entonces\\

$\overline{uw}\cap L_{xy}\neq \emptyset \Rightarrow L_{xy} \supset U^2_{xu}$. Esto

es una contradicción.

\item [2)] De la misma manera $U^2_{xu}\subset P^2_{L_{xz}}y$

\item [3)] Por lo tanto por NOTA 33

$U^2_{xu} \subset Int(\measuredangle y,x,z)$

\end{enumerate} \ \ \ \ \ \ Queda Demostrado.