1
$\begingroup$

A bicentric quadrilateral $ABCD$ is inscribed in the circle $k_1(O_1;R)$ and circumscribes the circle $k_2(O_2;r)$. Let $K$ be the intersection point of the diagonals $AC$ and $BD$. Prove that $V, O_1$ and $O_2$ are collinear points.

enter image description here

I chose a point on the circumcircle, constructed from it a tangent to the incircle, found the other intersection point of the tangent with circumcircle, and repeated the process until the quadrilateral closures. The distance between the centers of the in- and circumcircle is a function of their radii. Fuss' theorem gives a relation between the inradius $r$, the circumradius $R$ and the distance $x$ between the incenter $O_2$ and the circumcenter $O_1$, for any bicentric quadrilateral.

$\endgroup$
0

1 Answer 1

2
$\begingroup$

Let $\alpha,\beta,\gamma,\delta$ be the angles at vertices $A,B,C,D$, respectively. Without loss of generality we can assume that the angles $\alpha,\beta$ are acute. In this case both circumcenter $O$ and incenter $I$ lie inside $\triangle ABK$, where $K$ is the intersection point of the diagonals.

We have:

$$\angle BID=2\pi-\frac12\beta-\gamma-\frac12\delta=\frac\pi2+\alpha, \quad \angle BOD=2\alpha.$$

Let $\rho(P,P_1P_2)$ denote the distance of a point $P$ to a line drawn through the points $P_1$ and $P_2$. Then $$ \frac{\rho(O,BD)}{\rho(I,BD)}=\frac{A_{BOD}}{A_{BID}} =\frac{OB\cdot OD\cdot\sin(\angle BOD)}{IB\cdot ID\cdot\sin(\angle BID)} =\frac{R^2\sin2\alpha}{\frac{r}{\sin\frac\beta2}\frac{r}{\sin\frac\delta2}\sin\left(\frac\pi2+\alpha\right)}=\frac{R^2}{r^2}\sin\alpha\sin\beta.\tag1 $$

The same result will be obtained for the ratio of the distances to the diagonal $AC$. Thus: $$ \frac{\rho(O,BD)}{\rho(I,BD)}=\frac{\rho(O,AC)}{\rho(I,AC)}\iff \frac{\rho(O,AC)}{\rho(O,BD)}=\frac{\rho(I,AC)}{\rho(I,BD)}, $$ which means that the points $K,I,O$ are collinear. As a side result we obtain: $$\begin{align} \frac{KO}{KI}&=\frac{R^2}{r^2}\sin\alpha\sin\beta\\ &=\frac{(ab+cd)(ac+bd)(ad+bc)}{16\,abcd}\frac{(a+c)(b+d)}{abcd}\frac{2\sqrt{abcd}}{ad+bc}\frac{2\sqrt{abcd}}{ab+cd}\\ &=\frac{(ac+bd)(a+c)(b+d)}{4abcd},\tag2 \end{align} $$ where formulas from wikipedia page were used to express the radii and angles via the sides of the quadrilateral.

$\endgroup$
2
  • $\begingroup$ Thank you for the response! I saw this solution in a Russian journal. I haven’t studied trigonometry. I am not sure I understand what we are trying to prove. What is the idea? $\endgroup$ Commented Mar 29, 2020 at 7:42
  • 1
    $\begingroup$ The idea behind the proof is the following. You probably know that if the cartesian coordinates of two points satisfy the relation $$\frac{y_1}{x_1}=\frac{y_2}{x_2}$$ the points $(x_1,y_1)$ and $(x_2,y_2)$ lie on the line which goes through the origin of the coordinates. The same is valid for skew coordinate systems. In this case the axes are the diagonals $AC$ and $BD$ and their intersection point $K$ is the origin of the coordinates. The essential point in the expression (1) is the symmetry between the angles $\alpha$ and $\beta$. $\endgroup$ Commented Mar 29, 2020 at 20:16

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.