Título corregido geometria . Debías haberlo corregido tú. 
Hola tengo algunos problemas con este ejercicio y necesito algunas indicaciones en algunos apartados
Defina la siguiente geometría \( (P,L) \) Los puntos \( P =\mathbb{R}^2 = \{(x,y) | x,y \in{\mathbb{R}} \} \) son todos los pares de números reales \( x,y \) ordenados.
Las rectas \( L \) son todos los conjuntos de puntos \( (x,y)\in{{\mathbb{R}}^2} \) tal que se cumple:
\( ax+by=1 \) con \( (a,b)\neq{(0,0)} \) reales
Si \( b\neq{0} \), se puede también escribir \( y=mx+n \) con \( m=-\displaystyle\frac{a}{b} \) ,
\( n = \displaystyle\frac{1}{b} \)
i) Demostrar que se cumplen todos los axiomas \( I \) y \( B \)
(Axiomas \( I \))
I1) Dado dos puntos \( p\neq{q}\in{P} \) existe una única recta \( l \) con \( p\in{l} \), \( q\in{l} \)
I2) Para toda recta \( l\in{L} \) existe al menos dos puntos \( p\neq{q} \) con \( p\in{l} \)y \( q\in{l} \)
I3) Existen 3 puntos distintos con la propiedad que no existe ninguna recta \( l \in{L} \) que pase por los 3 puntos (diremos no colineales)
ii) Defina la distancia \( d(A,B) \) para \( A= (a, a^{\prime}) \), \( B= (b, b^{\prime}) \)
\( d(A,B) = [(a-b)^2+(a^{\prime}-b^{\prime})^2]^{\displaystyle\frac{1}{2}}] \)
y el largo del segmento de recta \( \overline{AB} = { \lambda A + (1 - \lambda ) B | \lambda \in{[1,1]} } \),
\( AB = d (A,B) \)
Demuestre que se cumplen los axiomas \( S_1 , S_2 , S_3 \)
iii) Defina la medida de un ángulo \( \phi = \angle AOB \) por
\( cos \phi = (ab+a^{\prime} b^{\prime}) / (a^2+(a^{\prime})^2)^{1/2} (b^2+(b^{\prime})^2)^{1/2} \)
\( cos90 = 0 \) es decir \( \bar{OA } \perp{\bar{OB}} \)
Lo que he hecho
\( I_1 \)
Sea \( P = (c,d) \), \( Q= (c^{\prime}, d^{\prime}) \) y sea \( l = - \displaystyle\frac{a}{b} x + \displaystyle\frac{1}{b} \)
Reemplazando
\( d= - \displaystyle\frac{a}{b}c +\displaystyle\frac{1}{b} \)
\( d^{\prime}= - \displaystyle\frac{a^{\prime}}{b}c^{\prime} +\displaystyle\frac{1}{b} \)
Por lo tanto satisface la ecuación
(tengo dudas si esta bien demostrado)
I3 Lo que haría seria tomar el axioma \( I_1 \) decir que por dos puntos pasa una única recta y mostrar que el tercer punto no pertenece a la recta
iii) Para este apartado no s
é muy bien como definir la medida del ángulo
De antemano gracias