Technique for proving four given points to be concyclic?

While making my way through an exercise, I stalled on question 7:

7. Prove that the points $(9, 6)$, $(4, -4)$, $(1, -2)$, $(0, 0)$ are concyclic.

The book does not provide any guidance on how to tackle such a question and I can only assume that the authors are assuming that anybody using their textbook will have covered this in a previous course.

I have looked around online for resources that could help me, but none of the ones I’ve found seem to offer a thorough explanation, building from the ground up.

Would anybody here happen to know where I can find a good explanation of how to prove such a thing?

Solutions Collecting From Web of "Technique for proving four given points to be concyclic?"

You can use Ptolemy’s theorem:

A quadrilateral is inscribable in a circle if and only if the product
of the measures of its diagonals is equal to the sum of the products
of the measures of the pairs of opposite sides.

In our case, it is obvious from mental diagram that diagonals are $\overline{(9, 6)(1, -2)}$ and $\overline{(0, 0)(4, -4)}$, and

$$|\overline{(9, 6)(1, -2)}|\cdot |\overline{(0, 0)(4, -4)}|=8\sqrt2\cdot4\sqrt2=\color{#c00}{64}$$


$$|\overline{(9, 6)(0, 0)}|\cdot |\overline{(1, -2)(4, -4)}|+|\overline{(0, 0)(1, -2)}|\cdot |\overline{(9, 6)(4, -4)}|=$$ $$=\sqrt{117}\cdot\sqrt{13}+\sqrt5\cdot\sqrt{125}=\sqrt{9\cdot13}\cdot\sqrt{13}+\sqrt5\cdot\sqrt{5\cdot25}=39 + 25 = \color{#c00}{64}$$

so points are concyclical.

Use the property that the perpendicular bisectors of two cords on a circle intersect at the centre. A line passing through $(9,6)$ and $(4,-4)$ is $2x-12$. The perpendicular bisector of that segment is thus $-\frac12x+{\frac {17}{4}}$. Likewise, the line passing through $(0,0)$ and $(4,-4)$ is $-x$, and its perpendicular bisector is $x-4$. The intersection of those two lines is at the point $\left(\frac{11}2,\frac32\right)$. From there just test that the distance to all the points from the centre are equal and you’ll find they are concyclic.

It is enough to find two opposite vertices whose angles add to 180 degrees. Make vectors of the sides, and use the dot product to calculate cosines of the vertex angles. The cosines of opposite vertices need to be equal in magnitude, but opposite in sign.

Yet another way is to evaluate the determinant $\begin{vmatrix} |A|^2 & A_x & A_y & 1 \\ |B|^2 & B_x & B_y & 1 \\ |C|^2 & C_x & C_y & 1 \\ |D|^2 & D_x & D_y & 1 \end{vmatrix}$. It’s zero iff the matrix annihilates some nonzero vector $\begin{pmatrix} k\\l\\m\\n \end{pmatrix}$, and it annihilates that vector iff $k|P|^2 + lP_x + mP_y + n = 0$ for all $P \in \{A, B, C, D\}$, and that equation defines a circle (or a line or point, which are degenerate circles).

This is less elegant than some other solutions in that it requires Cartesian coordinates. On the other hand, it’s manifestly symmetric in its treatment of the four points.

let us call the points $$A = (0,0), B= (1,-2), C = (4, -4), D = (9, 6)$$ you need to vrify that $$2\cos \angle BCD = \frac{BC^2

It’s simple. Connect the points to for a quadrilateral. Then find equations of each side. Find the angle between the sides. Opposite angles should sum up to 180°

Find the equation of the circumference going through the points $(4,-4), (1,-2)$ and $(0,0)$. Given that the general form of the circumference is $x^2+y^2+ax+by+c=0$, the following conditions must be met:

  1. $4^2+(-4)^2+4a-4b+c=0$
  2. $1^2+(-2)^2+a-2b+c=0$
  3. $0^2+0^2+0a+0b+c=0$

From which we infer that $a=-11$ and $b=-3$. Hence the required equation is $x^2+y^2-11x-3y=0$. Now we have to verify that this circumference cointains point $(9,6)$ as well. Plugging the values into the equation we get this: $9^2+6^2-11\cdot 9 -3\cdot 6=81+36-99-18=0$. Therefore, the four points all belong to the same circumference whose equation is $x^2+y^2-11x-3y=0$.