En geometría euclidiana , una cometa recta es una cometa (un cuadrilátero cuyos cuatro lados pueden agruparse en dos pares de lados de igual longitud que son adyacentes entre sí) que puede inscribirse en un círculo. [1] Es decir, es una cometa con un círculo circunstante (es decir, una cometa cíclica ). Así, la cometa derecha es un cuadrilátero convexo y tiene dos ángulos rectos opuestos . [2] Si hay exactamente dos ángulos rectos, cada uno debe estar entre lados de diferentes longitudes. Todas las cometas derechas son cuadriláteros bicéntricos (cuadriláteros con un círculo circunstante y un círculo circunstante), ya que todos los cometas tienen un círculo circunstante . Una de las diagonales (la que es un eje de simetría ) divide la cometa derecha en dos triángulos rectángulos y también es un diámetro de la circunferencia circunstante.
En un cuadrilátero tangencial (uno con un círculo), los cuatro segmentos de línea entre el centro del círculo y los puntos donde es tangente al cuadrilátero dividen el cuadrilátero en cuatro cometas rectas.
Un caso especial de cometas rectas son los cuadrados , donde las diagonales tienen longitudes iguales y el círculo interior y el círculo circunstante son concéntricos .
Una cometa es una cometa derecha si y sólo si tiene un círculo circunstante (por definición). Esto equivale a ser una cometa con dos ángulos rectos opuestos.
Dado que una cometa rectángulo se puede dividir en dos triángulos rectángulos, las siguientes fórmulas métricas se derivan fácilmente de propiedades bien conocidas de los triángulos rectángulos. En una cometa recta ABCD donde los ángulos opuestos B y D son ángulos rectos, los otros dos ángulos se pueden calcular a partir de
donde a = AB = AD y b = BC = CD . El área de una cometa derecha es
La diagonal AC que es un eje de simetría tiene la longitud
y, como las diagonales son perpendiculares (por lo que una cometa derecha es un cuadrilátero ortodiagonal con área ), la otra diagonal BD tiene la longitud
El radio de la circunferencia es (según el teorema de Pitágoras )
y, dado que todas las cometas son cuadriláteros tangenciales , el radio del círculo está dado por
donde s es el semiperímetro.
El área está dada en términos del circunradio R y del inradio r como [3]
Si tomamos los segmentos que se extienden desde la intersección de las diagonales hasta los vértices en el sentido de las agujas del reloj como , , y , entonces,
Este es un resultado directo del teorema de la media geométrica .
El polígono dual de una cometa derecha es un trapezoide tangencial isósceles . [1]
A veces, una cometa recta se define como una cometa con al menos un ángulo recto. [4] Si solo hay un ángulo recto, debe estar entre dos lados de igual longitud; en este caso, las fórmulas dadas anteriormente no se aplican.