1.7: Ángulos
( \newcommand{\kernel}{\mathrm{null}\,}\)
Nuestro siguiente objetivo es introducir ángulos y medidas angulares; después de eso, la afirmación “podemos medir ángulos” se volverá rigurosa; véase (iii) en la Sección 1.1.
Un par ordenado de medias líneas que comienzan en el mismo punto se llama ángulo. El ánguloAOB (también denotado por∠AOB) es el par de medias líneas[OA) y[OB). En este caso el puntoO se llama el vértice del ángulo.
Intuitivamente, la medida del ángulo indica cuánto se tiene que girar la primera media línea en sentido contrario a las agujas del reloj, por lo que obtiene la posición de la segunda media línea del ángulo. Se supone que el giro completo es2⋅π; corresponde a la medida del ángulo en radianes. (Por un tiempo se puede pensar queπ es un número real positivo que mide el tamaño de un medio giro en ciertas unidades. Su valor concreto noπ≈3.14 será importante por mucho tiempo.
La medida del ángulo de∠AOB se denota por∡AOB; es un número real en el intervalo(−π,π].
Las notaciones∠AOB y∡AOB se ven similares; también tienen significados cercanos pero diferentes que mejor no se confunden. Por ejemplo, la igualdad∠AOB=∠A′O′B′ significa eso[OA)=[O′A′) y[OB)=[O′B′); en particular,O=O′. Por otro lado la igualdad∡AOB=∡A′O′B′ significa sólo igualdad de dos números reales; en este casoO puede ser distinto deO′.
Aquí está la primera propiedad de la medida del ángulo que pasará a formar parte del axioma.
Dada una media línea[OA) yα∈(−π,π] hay una media línea única[OB) tal que∡AOB=α.