放物線 C : y = x 2 + 2 a x + b C:y=x^{2}+2ax+b C : y = x 2 + 2 a x + b (a , b a,b a , b は実数)について考える。
(1) f ( x ) = x 2 + 2 a x + b f(x)=x^{2}+2ax+b f ( x ) = x 2 + 2 a x + b とおくと f ′ ( x ) = 2 x + 2 a f'(x)=2x+2a f ′ ( x ) = 2 x + 2 a であるから,点 ( t , t 2 + 2 a t + b ) (t,\,t^{2}+2at+b) ( t , t 2 + 2 a t + b ) における接線の傾きは f ′ ( t ) = 2 t + 2 a f'(t)=2t+2a f ′ ( t ) = 2 t + 2 a である。したがって接線の方程式は y − ( t 2 + 2 a t + b ) = ( 2 t + 2 a ) ( x − t ) y-(t^{2}+2at+b)=(2t+2a)(x-t) y − ( t 2 + 2 a t + b ) = ( 2 t + 2 a ) ( x − t ) これを整理すると y = ( 2 t + 2 a ) x − 2 t 2 − 2 a t + t 2 + 2 a t + b = ( 2 t + 2 a ) x − t 2 + b y=(2t+2a)x-2t^{2}-2at+t^{2}+2at+b=(2t+2a)x-t^{2}+b y = ( 2 t + 2 a ) x − 2 t 2 − 2 a t + t 2 + 2 a t + b = ( 2 t + 2 a ) x − t 2 + b よって求める接線の方程式は y = 2 ( a + t ) x − t 2 + b \boxed{y=2(a+t)x-t^{2}+b} y = 2 ( a + t ) x − t 2 + b である。
(2)(i) 接線が点 P ( p , q ) P(p,q) P ( p , q ) を通るとき,( 1 ) (1) ( 1 ) の式に x = p , y = q x=p,\ y=q x = p , y = q を代入すると q = 2 ( a + t ) p − t 2 + b q=2(a+t)p-t^{2}+b q = 2 ( a + t ) p − t 2 + b これを t t t について整理すると t 2 − 2 p t + ( q − b − 2 a p ) = 0 ( ∗ ) t^{2}-2pt+(q-b-2ap)=0 \qquad (\ast) t 2 − 2 pt + ( q − b − 2 a p ) = 0 ( ∗ ) を得る。すなわち,点 P ( p , q ) P(p,q) P ( p , q ) から引ける C C C の接線は,方程式 ( ∗ ) (\ast) ( ∗ ) の実数解 t t t に一対一に対応する。実際,接線の傾きは 2 ( a + t ) 2(a+t) 2 ( a + t ) であり,これは t t t が大きくなると必ず大きくなるので,異なる t t t の値は異なる傾きの接線(したがって異なる接線)を与える。逆に,( ∗ ) (\ast) ( ∗ ) の解 t t t を用いて ( 1 ) (1) ( 1 ) の接線を作れば,それは点 P P P を通る C C C の接線である。
仮定より P P P から相異なる2本の接線 ℓ 1 , ℓ 2 \ell_{1},\ell_{2} ℓ 1 , ℓ 2 が引けるので,( ∗ ) (\ast) ( ∗ ) は相異なる2つの実数解 t 1 ≠ t 2 t_{1}\neq t_{2} t 1 = t 2 をもつ。( ∗ ) (\ast) ( ∗ ) は t t t についての2次方程式であるから,これが異なる2実数解をもつための必要十分条件は,判別式が正であることである。( ∗ ) (\ast) ( ∗ ) の判別式を D D D とすると D 4 = p 2 − ( q − b − 2 a p ) \displaystyle
\frac{D}{4}=p^{2}-(q-b-2ap) 4 D = p 2 − ( q − b − 2 a p ) であるから,D > 0 D>0 D > 0 より p 2 − q + b + 2 a p > 0 すなわち q < p 2 + 2 a p + b p^{2}-q+b+2ap>0 \text{すなわち} q<p^{2}+2ap+b p 2 − q + b + 2 a p > 0 すなわち q < p 2 + 2 a p + b が成り立つ。(証明終)
(2)(ii) ( ∗ ) (\ast) ( ∗ ) の2つの実数解を t 1 , t 2 t_{1},t_{2} t 1 , t 2 とすると,解と係数の関係より t 1 + t 2 = 2 p , t 1 t 2 = q − b − 2 a p t_{1}+t_{2}=2p,\qquad t_{1}t_{2}=q-b-2ap t 1 + t 2 = 2 p , t 1 t 2 = q − b − 2 a p ℓ 1 , ℓ 2 \ell_{1},\ell_{2} ℓ 1 , ℓ 2 の傾きはそれぞれ m 1 = 2 ( a + t 1 ) , m 2 = 2 ( a + t 2 ) m_{1}=2(a+t_{1}),\ m_{2}=2(a+t_{2}) m 1 = 2 ( a + t 1 ) , m 2 = 2 ( a + t 2 ) である。ℓ 1 ⊥ ℓ 2 \ell_{1}\perp\ell_{2} ℓ 1 ⊥ ℓ 2 となる条件は m 1 m 2 = − 1 m_{1}m_{2}=-1 m 1 m 2 = − 1 であるから m 1 m 2 = 4 ( a + t 1 ) ( a + t 2 ) = 4 { a 2 + a ( t 1 + t 2 ) + t 1 t 2 } m_{1}m_{2}=4(a+t_{1})(a+t_{2})=4\bigl\{a^{2}+a(t_{1}+t_{2})+t_{1}t_{2}\bigr\} m 1 m 2 = 4 ( a + t 1 ) ( a + t 2 ) = 4 { a 2 + a ( t 1 + t 2 ) + t 1 t 2 } ここに t 1 + t 2 = 2 p , t 1 t 2 = q − b − 2 a p t_{1}+t_{2}=2p,\ t_{1}t_{2}=q-b-2ap t 1 + t 2 = 2 p , t 1 t 2 = q − b − 2 a p を代入すると m 1 m 2 = 4 { a 2 + 2 a p + ( q − b − 2 a p ) } = 4 ( a 2 + q − b ) m_{1}m_{2}=4\bigl\{a^{2}+2ap+(q-b-2ap)\bigr\}=4(a^{2}+q-b) m 1 m 2 = 4 { a 2 + 2 a p + ( q − b − 2 a p ) } = 4 ( a 2 + q − b ) となり,p p p の項が打ち消し合って消える。よって直交条件は 4 ( a 2 + q − b ) = − 1 すなわち a 2 + q − b = − 1 4 すなわち q = b − a 2 − 1 4 \displaystyle
4(a^{2}+q-b)=-1 \text{すなわち} a^{2}+q-b=-\frac{1}{4} \text{すなわち} q=b-a^{2}-\frac{1}{4} 4 ( a 2 + q − b ) = − 1 すなわち a 2 + q − b = − 4 1 すなわち q = b − a 2 − 4 1 すなわち q = b − a 2 − 1 4 \displaystyle
\boxed{q=b-a^{2}-\dfrac{1}{4}} q = b − a 2 − 4 1 である。これは p p p に依存せず,a , b a,b a , b だけで定まる。
検算. C : y = x 2 + 2 a x + b = ( x + a ) 2 + ( b − a 2 ) C:y=x^{2}+2ax+b=(x+a)^{2}+(b-a^{2}) C : y = x 2 + 2 a x + b = ( x + a ) 2 + ( b − a 2 ) であるから,x ′ = x + a , y ′ = y − ( b − a 2 ) x'=x+a,\ y'=y-(b-a^{2}) x ′ = x + a , y ′ = y − ( b − a 2 ) とおくと C C C は標準形 y ′ = x ′ 2 y'=x'^{2} y ′ = x ′ 2 (x ′ 2 = 1 ⋅ y ′ x'^{2}=1\cdot y' x ′ 2 = 1 ⋅ y ′ ,焦点距離 1 4 \displaystyle \tfrac14 4 1 )の平行移動である。放物線 x ′ 2 = 4 p 0 y ′ x'^{2}=4p_{0}y' x ′ 2 = 4 p 0 y ′ から引いた2本の接線が直交する点の軌跡は準線 y ′ = − p 0 y'=-p_{0} y ′ = − p 0 であることは既知(今回は 4 p 0 = 1 4p_{0}=1 4 p 0 = 1 より p 0 = 1 4 \displaystyle p_{0}=\tfrac14 p 0 = 4 1 ,準線は y ′ = − 1 4 \displaystyle y'=-\tfrac14 y ′ = − 4 1 )であり,これは y − ( b − a 2 ) = − 1 4 \displaystyle y-(b-a^{2})=-\tfrac14 y − ( b − a 2 ) = − 4 1 ,すなわち q = b − a 2 − 1 4 \displaystyle q=b-a^{2}-\tfrac14 q = b − a 2 − 4 1 と一致する。
さらに数値例で検算する。a = 1 , b = 2 , p = 0 a=1,\ b=2,\ p=0 a = 1 , b = 2 , p = 0 とすると q = 2 − 1 − 1 4 = 3 4 \displaystyle q=2-1-\tfrac14=\tfrac34 q = 2 − 1 − 4 1 = 4 3 。このとき ( ∗ ) (\ast) ( ∗ ) は t 2 + ( 3 4 − 2 ) = t 2 − 5 4 = 0 \displaystyle t^{2}+\left(\tfrac34-2\right)=t^{2}-\tfrac54=0 t 2 + ( 4 3 − 2 ) = t 2 − 4 5 = 0 となり t = ± 5 4 \displaystyle t=\pm\sqrt{\tfrac54} t = ± 4 5 。傾きは m 1 , 2 = 2 ( 1 ± 5 / 4 ) m_{1,2}=2(1\pm\sqrt{5/4}) m 1 , 2 = 2 ( 1 ± 5/4 ) であり m 1 m 2 = 4 − 4 ⋅ 5 4 = 4 − 5 = − 1 \displaystyle
m_{1}m_{2}=4-4\cdot\frac54=4-5=-1 m 1 m 2 = 4 − 4 ⋅ 4 5 = 4 − 5 = − 1 となって直交条件を満たすことが確認できる。また ( 2 ) ( i ) (2)(\mathrm{i}) ( 2 ) ( i ) の不等式 q < p 2 + 2 a p + b q<p^{2}+2ap+b q < p 2 + 2 a p + b に q = b − a 2 − 1 4 \displaystyle q=b-a^{2}-\tfrac14 q = b − a 2 − 4 1 を代入すると ( p + a ) 2 + 1 4 > 0 \displaystyle (p+a)^{2}+\tfrac14>0 ( p + a ) 2 + 4 1 > 0 となり,任意の実数 p p p に対して常に成り立つので,(ii) で得た q q q に対して実際に相異なる2接線が存在することとも矛盾しない。