| For All Solvers
NF杯2023

NF杯2023(D) - 点Xを明示的に変数設定する

ユーザー解説 by ykymst

本解法は, 公式解説と本質的には同じである.

XX は三角形 ABCABC の内部にあるので, x,y,zR>0,(x+y+z=1)x, y, z \in \mathbb{R}_{\gt 0} , (x+y+z=1) を用いて OX=xOA+yOB+zOC \overrightarrow{OX}=x\overrightarrow{OA}+y\overrightarrow{OB}+z\overrightarrow{OC} と一意に表せる. ARRB=yx,BPPC=zy,CQQA=xz() \frac{AR}{RB}=\frac{y}{x}, \quad \frac{BP}{PC}=\frac{z}{y}, \quad \frac{CQ}{QA}=\frac{x}{z} \quad (\ast) であるから, f(x,y,z)=ARRB+2dBPPC+4d2CQQA=2d(y2dx+zy+2dxy) f(x,y,z)=\frac{A R}{R B}+2 d \cdot \frac{B P}{P C}+4 d^2 \cdot \frac{C Q}{Q A}=2d\left(\frac{y}{2dx}+\frac{z}{y}+\frac{2dx}{y}\right) とおくと, これが最小になるための必要条件は, fx=fy=fz=0()\frac{\partial f}{\partial x}=\frac{\partial f}{\partial y}=\frac{\partial f}{\partial z}=0 \quad (\ast\ast) すなわち 2dx=y=z2dx=y=z であり, このとき点 XX は三角形 ABCABC の内心 II と一致するので, 2da=b=c ()2da=b=c \ (\ast\ast\ast) を得る.

以降は公式解説を参照のこと.

()(\ast) PPAXAX 上にあるので, kRk \in \mathbb{R} を用いて OP=OA+AP=OA+kAX=OA+k(OXOA)=(kxk+1)OA+kyOB+kzOC \overrightarrow{OP}=\overrightarrow{OA}+\overrightarrow{AP}=\overrightarrow{OA}+k\overrightarrow{AX}=\overrightarrow{OA}+k\left(\overrightarrow{OX}-\overrightarrow{OA}\right)=(kx-k+1)\overrightarrow{OA}+ky\overrightarrow{OB}+kz\overrightarrow{OC} と表せる. また, 点PP は 線分 BCBC 上にあるので, BPPC=lR>0\frac{BP}{PC}=l \in \mathbb{R}_{\gt 0} を用いて OP=11+lOB+l1+lOC \overrightarrow{OP}=\frac{1}{1+l}\overrightarrow{OB}+\frac{l}{1+l}\overrightarrow{OC} と表せる. 以上より, BPPC=zy\frac{BP}{PC}=\frac{z}{y} を得る. CQQA\frac{CQ}{QA}ARRB\frac{AR}{RB} も同様である.

()(\ast\ast) x+y+z=1x+y+z=1 より x,y,zx, y, z は 内 2 つが定まると残り 1 つも定まるので, 実際には等号は 2 つで十分である.

()(\ast\ast\ast) 一般に OI=aa+b+cOA+ba+b+cOB+ca+b+cOC \overrightarrow{OI}=\frac{a}{a+b+c}\overrightarrow{OA}+\frac{b}{a+b+c}\overrightarrow{OB}+\frac{c}{a+b+c}\overrightarrow{OC} が成り立つ.