Cuadriláteros cíclicos

fuente: https://en.wikipedia.org/wiki/Cyclic_quadrilateral
Cuadriláteros cíclicos
Un polígono está inscrito en un círculo si sus vértices se encuentran en el círculo. A los cuadriláteros que están inscritos se les llama [b]cuadriláteros cíclicos[/b]. [br][br]En la figura previa, podemos ver ejemplos de cuadriláteros cíclicos.
Congruencia de los ángulos en un cuadrilátero cíclico.
Si tenemos un cuadrilátero cíclico, entonces los ángulos que inscriben los mismos arcos serán congruentes.[br][br]Veamos la siguiente figura para mostrar un ejemplo.
Teorema de los ángulos del cuadrilátero cíclicos
Un cuadrilátero es cíclico si y solo si sus ángulos opuestos son suplementarios.[br][br][b]Demostración[/b]: Supongamos que tenemos un cuadrilátero cíclico ABCD
Entonces por la relación entre ángulos inscritos y centrales que abren el mismo arco, se tiene que [math]\angle CDA=\frac{1}{2}\angle COA[/math] y [math]\angle ABC=\frac{1}{2}\angle AOC[/math]. Sumando estas ecuaciones se obtiene:[br][br][math]\angle CDA+\angle ABC=\frac{1}{2}\angle COA+\frac{1}{2}\angle AOC=\frac{1}{2}\left(\angle COA+\angle AOC\right)[/math][br][br]Pero [math]\angle COA+\angle AOC=360^\circ[/math]. Por lo tanto, [math]\angle CDA+\angle ABC=180^\circ[/math]. [br][br]Recíprocamente, supongamos que el cuadrilátero ABCD cumple que [math]\angle CDA+\angle ABC=180^\circ[/math]. Trazamos el círculo que pasa por los puntos A, B, y C. Sea D' el punto de corte del lado AD con el círculo.
Como el cuadrilátero ABCD' es cíclico, por lo que acabamos de demostrar se cumple que [math]\angle CD'A+\angle ABC=180^\circ[/math]. Por lo tanto, [math]\angle CD'A=\angle CDA[/math]. Pero esto implica que DD'=0. Luego D=D' y el cuadrilátero ABCD es cíclico.
Teorema adicional
Si ABCD es un cuadrilátero, tal que sus diagonales se intersecan en P, entonces ABCD es cíclico si y solo si [math]PA\cdot PC=PB\cdot PD[/math].[br][br][b]Demostración[/b]: Como [math]\frac{PA}{PB}=\frac{PD}{PC}[/math] y [math]\angle APB=\angle CPD[/math], entonces el ΔPAB es semejante al ΔPDC por LAL. Entonces [math]\angle PBA=\angle DCP[/math] y esto implica que [i]el cuadrilátero ABCD es cíclico[/i].

Information: Cuadriláteros cíclicos