複素数平面上の四点が共円または共線となるための必要十分条件は、それらのが実数となることである。