ABを x x x 軸とし、A = ( 0 , 0 ) , B = ( 2 , 0 ) A=(0,0),\ B=(2,0) A = ( 0 , 0 ) , B = ( 2 , 0 ) とする。∠ A B H = π 4 \displaystyle \angle ABH=\frac{\pi}{4} ∠ A B H = 4 π 、∠ A H B = π 2 \displaystyle \angle AHB=\frac{\pi}{2} ∠ A H B = 2 π だから、三角形 A B H ABH A B H は直角二等辺三角形であり、 A H = B H = 2 , H = ( 1 , 1 ) . AH=BH=\sqrt{2},\qquad H=(1,1). A H = B H = 2 , H = ( 1 , 1 ) . また、∠ C A B = π 4 + α \displaystyle \angle CAB=\frac{\pi}{4}+\alpha ∠ C A B = 4 π + α であり、三角形 A B C ABC A B C の内角和より 0 < α < π 2 \displaystyle 0<\alpha<\frac{\pi}{2} 0 < α < 2 π である。X = ( t , 0 ) ( 0 < t ≦ 1 ) X=(t,0)\ (0<t\leq1) X = ( t , 0 ) ( 0 < t ≦ 1 ) とおくと A X = t AX=t A X = t である。
円の中心を P = ( u , v ) P=(u,v) P = ( u , v ) とする。P A = P X PA=PX P A = P X より u = t 2 \displaystyle u=\frac{t}{2} u = 2 t 。さらに P A = P H PA=PH P A = P H より u 2 + v 2 = ( u − 1 ) 2 + ( v − 1 ) 2 , u + v = 1. u^2+v^2=(u-1)^2+(v-1)^2,\qquad u+v=1. u 2 + v 2 = ( u − 1 ) 2 + ( v − 1 ) 2 , u + v = 1. したがって P = ( t 2 , 1 − t 2 ) , r 2 = P A 2 = t 2 4 + ( 1 − t 2 ) 2 = 1 − t + t 2 2 = 1 2 + ( 1 − t ) 2 2 . \displaystyle
P=\left(\frac{t}{2},1-\frac{t}{2}\right),\qquad
r^2=PA^2=\frac{t^2}{4}+\left(1-\frac{t}{2}\right)^2
=1-t+\frac{t^2}{2}
=\frac{1}{2}+\frac{(1-t)^2}{2}. P = ( 2 t , 1 − 2 t ) , r 2 = P A 2 = 4 t 2 + ( 1 − 2 t ) 2 = 1 − t + 2 t 2 = 2 1 + 2 ( 1 − t ) 2 .
(1) 三角形 A P H APH A P H で P A = P H = r , A H = 2 PA=PH=r,\ AH=\sqrt{2} P A = P H = r , A H = 2 である。余弦定理を ∠ P A H = θ \angle PAH=\theta ∠ P A H = θ に用いると r 2 = r 2 + 2 − 2 2 r cos θ , したがって cos θ = 1 2 r . \displaystyle
r^2=r^2+2-2\sqrt{2}\,r\cos\theta,
\qquad\text{したがって}\qquad
\cos\theta=\frac{1}{\sqrt{2}\,r}. r 2 = r 2 + 2 − 2 2 r cos θ , したがって cos θ = 2 r 1 .
(2) β = ∠ C A B = π 4 + α \displaystyle \beta=\angle CAB=\frac{\pi}{4}+\alpha β = ∠ C A B = 4 π + α とし、Y = s ( cos β , sin β ) ( s = A Y > 0 ) Y=s(\cos\beta,\sin\beta)\ (s=AY>0) Y = s ( cos β , sin β ) ( s = A Y > 0 ) とおく。A A A を通るこの円の方程式は x 2 + y 2 − 2 u x − 2 v y = 0 x^2+y^2-2ux-2vy=0 x 2 + y 2 − 2 ux − 2 v y = 0 であるから、Y Y Y を代入して s = 2 ( u cos β + v sin β ) = t cos β + ( 2 − t ) sin β = 2 { cos α + ( 1 − t ) sin α } > 0. s=2(u\cos\beta+v\sin\beta)
=t\cos\beta+(2-t)\sin\beta
=\sqrt{2}\{\cos\alpha+(1-t)\sin\alpha\}>0. s = 2 ( u cos β + v sin β ) = t cos β + ( 2 − t ) sin β = 2 { cos α + ( 1 − t ) sin α } > 0. よって A X + A Y = t + 2 { cos α + ( 1 − t ) sin α } = t ( 1 − 2 sin α ) + 2 ( sin α + cos α ) . AX+AY=t+\sqrt{2}\{\cos\alpha+(1-t)\sin\alpha\}
=t(1-\sqrt{2}\sin\alpha)+\sqrt{2}(\sin\alpha+\cos\alpha). A X + A Y = t + 2 { cos α + ( 1 − t ) sin α } = t ( 1 − 2 sin α ) + 2 ( sin α + cos α ) . 半径の式と 0 < t ≦ 1 0<t\leq1 0 < t ≦ 1 より 2 r 2 − 1 = 1 − t \sqrt{2r^2-1}=1-t 2 r 2 − 1 = 1 − t 、すなわち t = 1 − 2 r 2 − 1 t=1-\sqrt{2r^2-1} t = 1 − 2 r 2 − 1 である。これを代入すると A X + A Y = 1 + 2 cos α + 2 r 2 − 1 ( 2 sin α − 1 ) . AX+AY=1+\sqrt{2}\cos\alpha+\sqrt{2r^2-1}\,(\sqrt{2}\sin\alpha-1). A X + A Y = 1 + 2 cos α + 2 r 2 − 1 ( 2 sin α − 1 ) .
(3) t t t は 0 < t ≦ 1 0<t\le1 0 < t ≦ 1 の範囲で変わる。(2) が t t t によらないための必要十分条件は、t t t の係数が 0 0 0 となることだから 1 − 2 sin α = 0. 1-\sqrt{2}\sin\alpha=0. 1 − 2 sin α = 0. 0 < α < π 2 \displaystyle 0<\alpha<\frac{\pi}{2} 0 < α < 2 π より α = π 4 \displaystyle \alpha=\frac{\pi}{4} α = 4 π 。このとき A X + A Y = 2 AX+AY=2 A X + A Y = 2 である。
直角二等辺三角形ABHを基準に座標を置く。円の中心を等距離条件から決めてrとAXを結び、円の方程式とACの半直線への代入からAYを求める。三角形の角条件でAYが正であることを確認したうえで、AX+AYのt依存性が消える条件を使う。