The separation theorem
- Anindya Biswas
- Posts:264
- Joined:Fri Oct 02, 2020 8:51 pm
- Location:Magura, Bangladesh
- Contact:
Let $A,B, C, D$ be $4$ distinct points on the plane. Every circle going through $A,C$ intersects with every circle going through $B,D$. Prove that $A,B, C, D$ are either concyclic or collinear.
"If people do not believe that mathematics is simple, it is only because they do not realize how complicated life is."
— John von Neumann
— John von Neumann
- Mehrab4226
- Posts:230
- Joined:Sat Jan 11, 2020 1:38 pm
- Location:Dhaka, Bangladesh
Re: The separation theorem
Let us assume that there is 4 points that are neither on a line nor on a circle, but has that property.Anindya Biswas wrote: ↑Fri Aug 13, 2021 10:52 amLet $A,B, C, D$ be $4$ distinct points on the plane. Every circle going through $A,C$ intersects with every circle going through $B,D$. Prove that $A,B, C, D$ are either concyclic or collinear.
Let the points are $A,B,C,D$ as above. Clearly the perpendicular bisector of $A,C$ and $B,D$ are not the same as $A,B,C,D$ are not colinear.
If they intersect, we can take the intersection of the perpendicular bisectors as the centre and draw 2 concentric circles not having the property. The two circles are different because they cannot be the same by our assumption.
If they are parallel, the lines $AC$ and $BD$ are parallel as well. We can take the points $X,Y$ on the perpendicular bisector on the mid region of the two parallel lines $AC$ and $BD$. Circles $ACX$ and $BDY$ have no common point. A contradiction. $\square$
The Mathematician does not study math because it is useful; he studies it because he delights in it, and he delights in it because it is beautiful.
-Henri Poincaré
-Henri Poincaré