Dibujemos un diagrama.
Deja ang. ADC = ang. ACB = x
& ang. BDC = ang. CBD = y.
Entonces, ang. ADB = xy
Usando la propiedad de suma de ángulos en tr. CDB, tenemos ang. BCD = 180-2y
así que ang. DCA = 180-2y-x ..
Usando ang. suma prop. en tr. DCA, tenemos ang. DAC = 2y = 2ang.DBC.
La desigualdad de ángulos DAC y DBC demuestra que quad. ABCD no es cíclico. Como no es cíclico, no puede ser rectangular o cuadrado.
Puede ser un rombo de 60 grados, 120 grados, 60 grados y 120 grados. si suponemos x = 2y.
Pero las suposiciones no pueden hacer inferencia. Entonces, solo nos queda esta inferencia:
Un cuadrilátero dado no es cíclico.