Lema para cuadriláteros cíclicos

[El Apache yasabes]

Sea ABCD un cuadrilátero de tal forma que la medida de AB es distinta de AD.
AC es bisectriz del ángulo BAD
BC=CD

Si el cuadrilátero cumple esas condiciones entonces es cíclico

Para el caso en que AB=AD se cumple si AC es diámetro de la circunferencia, o sea,
<ABC = <ADC = 90

[Hernan26]

Es equivalente a lo que en Uruguay llamamos el Teorema de la Vida.
Teorema de la vida: Sea $ABC$ un triángulo. Entonces, la mediatriz de $BC$, la bisectriz de $\angle BAC$ y el circuncírculo de $ABC$ concurren.
Demostración: Sea la intersección de la bisectriz y el circuncírculo $M$. Luego, notemos que por inscritos y bisectriz:

$\angle MBC=\angle MAC=\angle MAB=\angle MCB$

Por lo que $MBC$ es isósceles y $M$ pertenece a la mediatriz de $BC$ como queríamos probar.
Spam:

Spoiler: mostrar

Relacionado con ese punto $M$ también está el teorema de la lapicera, que nos sirve para resolver muchos problemas (Ej:IMO 2006/1)
Les dejo un video que se habla de eso:
https://www.youtube.com/watch?v=9L_jRASaZ4E

[Turko Arias]

Es equivalente a lo que en Uruguay llamamos el Teorema de la Vida.
Teorema de la vida: Sea $ABC$ un triángulo. Entonces, la mediatriz de $BC$, la bisectriz de $\angle BAC$ y el circuncírculo de $ABC$ concurren.
Demostración: Sea la intersección de la bisectriz y el circuncírculo $M$. Luego, notemos que por inscritos y bisectriz:

$\angle MBC=\angle MAC=\angle MAB=\angle MCB$

Por lo que $MBC$ es isósceles y $M$ pertenece a la mediatriz de $BC$ como queríamos probar.
Spam:

Spoiler: mostrar

Relacionado con ese punto $M$ también está el teorema de la lapicera, que nos sirve para resolver muchos problemas (Ej:IMO 2006/1)
Les dejo un video que se habla de eso:
https://www.youtube.com/watch?v=9L_jRASaZ4E

Muero por ser jurado en un nacional de Uruguay y leer el "por letra" y todos esos teoremones que tienen, que noble gente