直径の両端が与えられたとき

無題

無題

異なる2 点$\text{A}(\vec{a})$ と$\text{B}(\vec{b})$ を直径の両端とするの円を$\text{C}$ とする.このとき,この円周上を動く点$\text{P}$ の位置ベクトル$\vec{p}$ の表し方を考えよう.

点$\text{P}$ が円$\text{C}$ 上にあるとき,線分$\text{AP}$ と$\text{BP}$ は直交する,すなわち$\overrightarrow{\text{AP}} \cdot \overrightarrow{\text{BP}} = 0$ となるから

\[\overrightarrow{\text{AP}} \cdot \overrightarrow{\text{BP}} = 0\] \[\Leftrightarrow (\vec{p} − \vec{a}) \cdot (\vec{p} − \vec{b}) = 0 \tag{3}\label{chokkeinoryoutangaataeraretatoki3}\]

が成り立つ.この$\eqref{chokkeinoryoutangaataeraretatoki3}$も円$\text{C}$ のベクトル方程式である.

また,座標平面上で$\vec{a}$ が$\vec{a} =\dbinom{a_x}{a_y},\vec{b}$ が$\vec{b} =\dbinom{b_x}{b_y}$と成分表示された場合,$\vec{p} =\dbinom{x}{y}$とおくと

\begin{align} &(\vec{p} − \vec{a}) \cdot (\vec{p} − \vec{b}) = 0\\ &\Leftrightarrow \left(\dbinom{x}{y}-\dbinom{a_x}{a_y}\right)\\ &\qquad \cdot \left(\dbinom{x}{y}-\dbinom{b_x}{b_y}\right)= 0\\ &\Leftrightarrow \dbinom{x-a_x}{y-a_y}\cdot \dbinom{x-b_x}{y-b_y}= 0\\ &\Leftrightarrow (x − ax)(x − bx) \\ &\qquad + (y − ay)(y − by) = 0 \end{align}

となり,これは2 点$\text{A}(a_x, a_y),\text{B}(b_x, b_y)$ を直径とする円の方程式を表す.

円のベクトル方程式の別表記

異なる2 点$\text{A}(\vec{a})$ と$\text{B}(\vec{b})$ を直径の両端とする円を$\text{C}$ とする.$\eqref{chokkeinoryoutangaataeraretatoki3}$より,円$\text{C}$ のベクトル方程式は

\[(\vec{p} − \vec{a}) \cdot (\vec{p} − \vec{b}) = 0\]

であったが,円$\text{C}$ の中心の位置ベクトルは$\dfrac{\vec{a} + \vec{b}}{2}$,半径は$\dfrac{\left|\vec{b} −\vec{a}\right|}{2}$となるので,前のセクション、「中心と半径が与えられたとき」の$\left|\vec{p} −\vec{c}\right| =r$より

\[\left|\vec{p} −\dfrac{\vec{a} + \vec{b}}{2}\right|=\dfrac{\left|\vec{b} −\vec{a}\right|}{2}\]

とも表される.

いま,この2 式が等しくなることをベクトルの計算で証明せよ.

\begin{align} &\left|\vec{p} −\dfrac{\vec{a} + \vec{b}}{2}\right|=\dfrac{\left|\vec{b} −\vec{a}\right|}{2}\\ &\Leftrightarrow \left|\vec{p} −\dfrac{\vec{a} + \vec{b}}{2}\right|^2=\dfrac{\left|\vec{b} −\vec{a}\right|^2}{4}\\ &\qquad \blacktriangleleft 両辺が正なので,2 乗しても同値が保たれる.\\ &\Leftrightarrow \left|\vec{p}\right|^2 − \vec{p} \cdot (\vec{a} + \vec{b}) + \dfrac{\left|\vec{a} + \vec{b}\right|^2}{4}\\ &\qquad =\dfrac{\left|\vec{a}\right|^2− 2\vec{a} \cdot \vec{b} + \left|\vec{b}\right|^2}{4}\\ &\qquad \blacktriangleleft \left|\vec{a} + \vec{b}\right|^2=\left|\vec{a}\right|^2− 2\vec{a} \cdot \vec{b} + \left|\vec{b}\right|^2\\ &\Leftrightarrow \left|\vec{p}\right|^2 − \vec{p} \cdot (\vec{a} + \vec{b}) + \vec{a} \cdot \vec{b} = 0\\ &\Leftrightarrow (\vec{p} − \vec{a}) \cdot (\vec{p} − \vec{b}) = 0 \end{align}

円のベクトル方程式

平面上に定点$\text{A}(\vec{a})$ があり,点$\text{P}(\vec{p})$ が以下の式を満たしながら動くとき,$\text{P}$ はどのような軌跡を描くか考えよ.

  1. $ \left|\vec{p}\right|^2 − 2\vec{a} \cdot \vec{p}+\left|\vec{a}\right|^2 = 4 \left|\vec{a}\right|^2$
  2. $ \left|\vec{p} −\vec{a}\right| = 2 \left|\vec{p}\right|$

  1. \begin{align} &\left|\vec{p}\right|^2 − 2\vec{a} \cdot \vec{p} +\left|\vec{a}\right|^2= 4 \left|\vec{a}\right|^2\\ &\Leftrightarrow \left|\vec{p} −\vec{a}\right|^2= 4 \left|\vec{a}\right|^2\\ &\qquad \blacktriangleleft ベクトルの計算での「平方完成」\\ &\Leftrightarrow \left|\vec{p} −\vec{a}\right|= 2 \left|\vec{a}\right| \end{align}

    よって,$\text{P}$ は$\boldsymbol{\text{A}(\vec{a})}$ を中心とする半径$\boldsymbol{2 \times \text{OA}}$ の円を描く.

  2. \begin{align} &\left|\vec{p} −\vec{a}\right| = 2 \left|\vec{p}\right|\\ &\Leftrightarrow \left|\vec{p} −\vec{a}\right|^2 = \left(2\left|\vec{p}\right|\right)^2\\ &\quad \blacktriangleleft 両辺正なので,2 乗しても同値は保たれる\\ &\Leftrightarrow \left|\vec{p}\right|^2 − 2\vec{a} \cdot \vec{p} +\left|\vec{a}\right|^2= 4 \left|\vec{p}\right|^2\\ &\qquad \blacktriangleleft \left|\vec{a} +\vec{b}\right|^2=\left|\vec{a}\right|^2 + 2\vec{a} \cdot \vec{b} +\left|\vec{b}\right|^2\\ &\Leftrightarrow 3\left|\vec{p}\right|^2 + 2\vec{a} \cdot \vec{p} =\left|\vec{a}\right|^2\\ &\Leftrightarrow \left|\vec{p}\right|^2 + \dfrac{2}{3}\vec{a} \cdot \vec{p} =\dfrac{1}{3}\left|\vec{a}\right|^2\\ &\Leftrightarrow \left|\vec{p}+\dfrac{1}{3}\vec{a}\right|^2=\dfrac{4}{9}\left|\vec{a}\right|^2\\ &\qquad \blacktriangleleft ベクトルの計算での「平方完成」\\ &\Leftrightarrow \left|\vec{p}+\dfrac{1}{3}\vec{a}\right|=\dfrac{2}{3}\left|\vec{a}\right| \end{align}

    よって,$\text{P}$ は$\boldsymbol{\text{B}\left(− \dfrac{1}{3}\vec{a}\right)}$ を中心とする半径$\boldsymbol{\dfrac{2}{3}\times \text{OA}}$ の円を描く.

円の接線のベクトル方程式

点$\text{C}(\vec{c})$ を中心とする半径$r$ の円周上の点$\text{P}_0( \vec{p_0})$ における接線のベクトル方程式は,この接線上を動く点を$\text{P}(\vec{p})$ として

\[( \vec{p_0} −\vec{c}) \cdot (\vec{p} −\vec{c}) = r^2\]

と表されることを示せ.

また,$\vec{c} =\dbinom{x_0}{y_0}, \vec{p_0} =\dbinom{x_1}{y_1}$としたとき,接線の方程式を求めよ.

$\overrightarrow{\text{CP}_0}$と$\overrightarrow{\text{CP}}$ のなす角を$\theta$ として,この2 つのベクトルの内積を考えると

\begin{align} &\overrightarrow{\text{CP}_0} \cdot \overrightarrow{\text{CP}} = \text{CP}_0 \times \text{CP} \times \cos \theta\\ &\Leftrightarrow \overrightarrow{\text{CP}_0} \cdot \overrightarrow{\text{CP}} = {\text{CP}_0}^2\\ &\qquad \blacktriangleleft \overrightarrow{\text{CP}} を\overrightarrow{\text{CP}_0} に正射影した\\ &\Leftrightarrow \overrightarrow{\text{CP}_0} \cdot \overrightarrow{\text{CP}} = r^2\\ &\Leftrightarrow ( \vec{p_0} −\vec{c}) \cdot (\vec{p} −\vec{c}) = r^2 \end{align}
円の接線のベクトル方程式の図その1

接線の方程式は,$\vec{p} =\dbinom{x}{y}$とおき,いま得られた式に,$\vec{c} =\dbinom{x_0}{y_0}, \vec{p_0} =\dbinom{x_1}{y_1},\vec{p} =\dbinom{x}{y}$を代入して

\begin{align} &( \vec{p_0} −\vec{c}) \cdot (\vec{p} −\vec{c}) = r^2\\ &\Leftrightarrow \dbinom{x_1 − x_0}{y_1 − y_0}\cdot \dbinom{x − x_0}{y − y_0}= r^2\\ &\Leftrightarrow \boldsymbol{ (x_1 − x_0)(x − x_0) }\\ &\qquad \qquad \boldsymbol{+ (y_1 − y_0)(y − y_0) = r^2} \end{align}

となる.

$\overrightarrow{\text{CP}_0} \cdot \overrightarrow{\text{P}_0\text{P}} = 0 $より$( \vec{p_0} −\vec{c}) \cdot (\vec{p} − \vec{p_0}) = 0$ もある.

以上,円のベクトル方程式をまとめておこう.

円のベクトル方程式

$\overrightarrow{\text{OA}} = \vec{a},\overrightarrow{\text{OB}} = \vec{b},\overrightarrow{\text{OC}} = \vec{c},\overrightarrow{\text{OP}} = \vec{p}$ とし,$\text{P}$ は円周上の任意の点とする.

  1. 中心$\text{C}$,半径$r$ の円

    \[\left|\vec{p} −\vec{c}\right|=r\]
  2. 線分$\text{AB}$ を直径とする円 \[(\vec{p} − \vec{a}) \cdot (\vec{p} − \vec{b}) = 0\]