Browse · MathNet
PrintChina Mathematical Competition (Complementary Test)
China geometry
Problem
As shown in Fig. 1, is a convex quadrilateral with , and is a moving point on the plane. Let (1) Prove that , , , are concyclic when reaches the minimum.
(2) Suppose that point is on the arc of the circumscribed circle of , satisfying furthermore, , are tangent to , . Find the minimum of .
Fig. 1

(2) Suppose that point is on the arc of the circumscribed circle of , satisfying furthermore, , are tangent to , . Find the minimum of .
Solution
(1) As shown in Fig. 1, by the Ptolemy inequality we have Therefore, The equality holds if and only if , , , lie on and on . Furthermore, , and the equality holds if and only if lies on line . Combining the results above, we have
(2) Denote . Then . By the sine theorem we have That is to say, . By using trigonometric identities, By simplification, On the other hand, That is to say, Then Therefore, Since is an isosceles triangle and , we have . Furthermore, is an isosceles triangle, so and . Then f(P)_{\min} = BD \times CA = \sqrt{5} \times \sqrt{2} = \sqrt{10}. --- **Alternative solution.** (1) As shown in Fig. 2, the line $BD$ intercepts the circumscribed circle $O$ of $\triangle ABC$ at point $P_0$, which lies on $BD$ because $D$ is outside of $\odot O$. Through $A$, $C$, $D$ draw lines perpendicular to $P_0A$, $P_0C$, $P_0D$, respectively, and they constitute $\triangle A_1B_1C_1$ by intercepting with each other. It is easy to see that $P_0$ lies in $\triangle ABC$, as well as in $\triangle A_1B_1C_1$. Denoting the three inner angles of $\triangle ACD$ by $x$, $y$, $z$, respectively, we have Fig. 2 \angle AP_0C = 180^\circ - y = z + x. Furthermore, from $B_1C_1 \perp P_0A$ and $B_1A_1 \perp P_0C$, we have $\angle B_1 = y$. In a similar way, we have $\angle A_1 = x$ and $\angle C_1 = z$. It follows that $\triangle A_1B_1C_1 \sim \triangle ABC$. Now let B_1C_1 = \lambda BC, \quad C_1A_1 = \lambda CA, \quad A_1B_1 = \lambda AB. Then for any point $M$ on the plane, we have That is to say, $f(P_0) \le f(M)$. Since $M$ is an arbitrary point, we know that $f(P)$ reaches the minimum at $P_0$, and at the same time $P_0A$, $P_0C$, $P_0D$ are concyclic. This completes the proof. (2) From (1) we know that the minimum of $f(P)$ is f(P_0) = \frac{2}{\lambda} S_{\triangle A_1 R_1 C_1} = 2\lambda S_{\triangle ABC}. In the same way as is shown in the proof of (2) in Solution I, we find that both $\triangle ADC$ and $\triangle ABC$ are right-angled isosceles triangles; so we have $CD = AD = \frac{AC}{\sqrt{2}} = 1$, $AB = \sqrt{2}AC = 2$, $S_{\triangle ABC} = 1$, BD = \sqrt{AB^2 + AD^2} = \sqrt{5}. Furthermore, since $\triangle A_1B_1C_1 \sim \triangle ABC$, $\angle AB_1B = \angle AB_1C + \angle BB_1C = 90^\circ$, $AB_1BD$ is a rectangle. It follows that $B_1C_1 = BD = \sqrt{5}$. Therefore $\lambda = \frac{\sqrt{5}}{\sqrt{2}}$ and f(P)_{\min} = 2 \times \frac{\sqrt{5}}{\sqrt{2}} \times 1 = \sqrt{10}.
---
Alternative solution.
(1) We discuss the problem on the complex plane, and regard points , , as complex numbers. Then by the triangle inequality we have That is to say, Then The equality in (1) holds only when the complex numbers and are in the same direction. This means that there is a real such that That is to say, Therefore, which means that the angle of rotation from to is equal to that from to . It follows that , , , are concyclic. The equality in (2) holds only when , , are collinear and lies on the segment . This means that reaches the minimum when lies on the circumscribed circle of and , , , are concyclic.
(2) From (1) we know that . The following steps are the same as those in the proof of (2) in Solution I.
(2) Denote . Then . By the sine theorem we have That is to say, . By using trigonometric identities, By simplification, On the other hand, That is to say, Then Therefore, Since is an isosceles triangle and , we have . Furthermore, is an isosceles triangle, so and . Then f(P)_{\min} = BD \times CA = \sqrt{5} \times \sqrt{2} = \sqrt{10}. --- **Alternative solution.** (1) As shown in Fig. 2, the line $BD$ intercepts the circumscribed circle $O$ of $\triangle ABC$ at point $P_0$, which lies on $BD$ because $D$ is outside of $\odot O$. Through $A$, $C$, $D$ draw lines perpendicular to $P_0A$, $P_0C$, $P_0D$, respectively, and they constitute $\triangle A_1B_1C_1$ by intercepting with each other. It is easy to see that $P_0$ lies in $\triangle ABC$, as well as in $\triangle A_1B_1C_1$. Denoting the three inner angles of $\triangle ACD$ by $x$, $y$, $z$, respectively, we have Fig. 2 \angle AP_0C = 180^\circ - y = z + x. Furthermore, from $B_1C_1 \perp P_0A$ and $B_1A_1 \perp P_0C$, we have $\angle B_1 = y$. In a similar way, we have $\angle A_1 = x$ and $\angle C_1 = z$. It follows that $\triangle A_1B_1C_1 \sim \triangle ABC$. Now let B_1C_1 = \lambda BC, \quad C_1A_1 = \lambda CA, \quad A_1B_1 = \lambda AB. Then for any point $M$ on the plane, we have That is to say, $f(P_0) \le f(M)$. Since $M$ is an arbitrary point, we know that $f(P)$ reaches the minimum at $P_0$, and at the same time $P_0A$, $P_0C$, $P_0D$ are concyclic. This completes the proof. (2) From (1) we know that the minimum of $f(P)$ is f(P_0) = \frac{2}{\lambda} S_{\triangle A_1 R_1 C_1} = 2\lambda S_{\triangle ABC}. In the same way as is shown in the proof of (2) in Solution I, we find that both $\triangle ADC$ and $\triangle ABC$ are right-angled isosceles triangles; so we have $CD = AD = \frac{AC}{\sqrt{2}} = 1$, $AB = \sqrt{2}AC = 2$, $S_{\triangle ABC} = 1$, BD = \sqrt{AB^2 + AD^2} = \sqrt{5}. Furthermore, since $\triangle A_1B_1C_1 \sim \triangle ABC$, $\angle AB_1B = \angle AB_1C + \angle BB_1C = 90^\circ$, $AB_1BD$ is a rectangle. It follows that $B_1C_1 = BD = \sqrt{5}$. Therefore $\lambda = \frac{\sqrt{5}}{\sqrt{2}}$ and f(P)_{\min} = 2 \times \frac{\sqrt{5}}{\sqrt{2}} \times 1 = \sqrt{10}.
---
Alternative solution.
(1) We discuss the problem on the complex plane, and regard points , , as complex numbers. Then by the triangle inequality we have That is to say, Then The equality in (1) holds only when the complex numbers and are in the same direction. This means that there is a real such that That is to say, Therefore, which means that the angle of rotation from to is equal to that from to . It follows that , , , are concyclic. The equality in (2) holds only when , , are collinear and lies on the segment . This means that reaches the minimum when lies on the circumscribed circle of and , , , are concyclic.
(2) From (1) we know that . The following steps are the same as those in the proof of (2) in Solution I.
Final answer
sqrt(10)
Techniques
Cyclic quadrilateralsTangentsComplex numbers in geometryTriangle trigonometryOptimization in geometryAngle chasing