Maths Olympiad Prep

Library / /483 of 520

Geometry Difficulty 6.3 National olympiad Prove it

27. Given that ABC\triangle A B C covers the convex polygon MM. Prove: There exists a triangle congruent to ABC\triangle A B C that can cover MM, and one of its sides lies on a line parallel or coincident with a side of MM.

Solution

27. First, let's assume that MM has three vertices on the sides of ABC\triangle A B C, or MM has one vertex coinciding with a vertex of ABC\triangle A B C (for example, BB), and another vertex of MM is on the opposite side of BB (as shown in the figure).

Let the initial state be AC1B1=θ0\angle A C_{1} B_{1}=\theta_{0}. We rotate MM clockwise and counterclockwise around C1C_{1}. Let δ1\delta_{1} be the angle when MM first has a side parallel to a side of ABC\triangle A B C when rotated clockwise, and δ2\delta_{2} be the angle when MM first has a side parallel to a side of ABC\triangle A B C when rotated counterclockwise. For θ[θ1,θ2],θ1=θ0δ1,θ2=θ0+δ2\theta \in\left[\theta_{1}, \theta_{2}\right], \theta_{1}=\theta_{0}-\delta_{1}, \theta_{2}=\theta_{0}+\delta_{2}, let MM first rotate to the corresponding θ\theta angle around C1C_{1}, and then perform homothetic transformations centered at AA and BB respectively, so that the corresponding two vertices of the image of MM (denoted as MθM_{\theta}) are repositioned on ACA C and BCB C respectively. Let C1B1=mf(θ),A1B1=nf(θ),f(θ0)=1C_{1} B_{1}=m f(\theta), A_{1} B_{1}=n f(\theta), f\left(\theta_{0}\right)=1, where mm and nn are the initial distances. Let φ=B+C1B1A1\varphi=\angle B+\angle C_{1} B_{1} A_{1} (a constant), then AC=AB1+B1C=mf(θ)sinθsinA+nf(θ)sinCsin(φθ)A C=A B_{1}+B_{1} C=\frac{m f(\theta) \sin \theta}{\sin \angle A}+\frac{n f(\theta)}{\sin \angle C} \sin (\varphi-\theta). Therefore, f(θ)=f(\theta)= ACsinAsinCmsinθsinC+nsin(φθ)sinA=ACsinAsinCasin(θ+φ1)\frac{A C \sin \angle A \cdot \sin \angle C}{m \sin \theta \cdot \sin \angle C+n \sin (\varphi-\theta) \cdot \sin \angle A}=\frac{A C \sin \angle A \cdot \sin \angle C}{a \sin \left(\theta+\varphi_{1}\right)}, where aa and φ1\varphi_{1} are constants. Since sin(θ+φ1)\sin \left(\theta+\varphi_{1}\right) is a convex function, it must achieve its minimum value at the endpoints. Hence, max{f(θ1),f(θ2)}f(θ0)=1\max \left\{f\left(\theta_{1}\right), f\left(\theta_{2}\right)\right\} \geqslant f\left(\theta_{0}\right)=1, so the similarity ratio of Mθ1M_{\theta_{1}} or Mθ2M_{\theta_{2}} to MM is not less than 1, and they are located within ABC\triangle A B C, thus proving the conclusion. For the second case, a similar discussion can be made. Let BB2=mf(θ),f(θ0)=1B B_{2}=m f(\theta), f\left(\theta_{0}\right)=1, then AB2=BB2sinAsinθ,CB2=BB2sinCsin(Bθ)A B_{2}=\frac{B B_{2}}{\sin \angle A} \cdot \sin \theta, C B_{2}=\frac{B B_{2}}{\sin \angle C} \cdot \sin (\angle B-\theta). Therefore, AC=mf(θ)sinθsinA+mf(θ)sinCsin(Bθ)=f(θ)asin(θ+φ2)sinAsinCA C=\frac{m f(\theta) \sin \theta}{\sin \angle A}+\frac{m f(\theta)}{\sin \angle C} \sin (\angle B-\theta)=\frac{f(\theta) a \sin \left(\theta+\varphi_{2}\right)}{\sin \angle A \cdot \sin \angle C}, where aa and φ2\varphi_{2} are constants, hence f(θ)=ACsinAsinCasin(θ+φ2)f(\theta)=\frac{A C \sin \angle A \cdot \sin \angle C}{a \sin \left(\theta+\varphi_{2}\right)}. The proof can be derived similarly to the previous case.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.