Determinando ângulos na Geometria Esférica
Agora que definimos o que são retas e segmentos de retas na Geometria Esférica, podemos determinar ângulos entre eles. Um ângulo esférico entre duas retas ou segmentos de retas é o ângulo euclidiano formado pelas retas euclidianas tangentes às circunferências máximas correspondentes no ponto de intersecção.
Assim, podemos definir retas perpendiculares na Geometria Esférica, que são circunferências máximas que se cruzam formando ângulos retos.
Com isso, vemos que a Geometria Esférica satisfaz o quarto postulado de Euclides, que diz que todos os ângulos retos são iguais.