1 中点移動の定義と基本概念
中点移動とは、ある点または図形を「基準となる点（中点）」から見た相対位置を保ったまま、別の場所へ移す操作、またはその考え方を指す。座標幾何では、基準点として線分の中点を取り、その中点を基準にして移動後の位置を求める手順として現れることが多い。ベクトルを用いると、平行移動や対称操作と同じ枠組みで扱えるため、性質の整理が容易になる。
この用語は厳密には一意の流儀に固定されているわけではないが、共通して「中点を起点とする相対位置（差ベクトル）の保持」に焦点が当たる。たとえば、点 \(P\) を中点 \(M\) を基準に表し、移動先の点 \(P'\) を「\(P\) から \(M\) への位置関係が、\(P'\) から移動後の基準点 \(M'\) に対して同様になる」ように決める、といった構成が典型である。
1.1 中点の基準化
1.1.1 線分の中点と座標表示
線分の中点 \(M\) は、端点を \(A(x_1,y_1)\)、\(B(x_2,y_2)\) とするとき \[ M\left(\frac{x_1+x_2}{2},\frac{y_1+y_2}{2}\right) \] で与えられる。座標幾何において中点を基準化するとは、以後の位置決定を \(M\) を基準に「差（ベクトル）」や「相対座標」で記述することを意味する。これにより、直線上の点の対応や平行移動的な関係が計算として見通しよく整理される。
1.1.2 基準点としての中点の役割
中点は、2点の平均としての性質を持ち、対称性と整合するため基準点として扱いやすい。特に、線分の両端に関する情報を一括して表せるため、移動や対応を「端点そのもの」ではなく「端点を圧縮した中点」を通して捉えられる。
また、中点を基準にすると、移動後の位置は「端点間の関係」を保持しながら再配置される形になりやすい。結果として、距離・平行性・比など、幾何的特徴が自然に保存される設定を作りやすい。
1.2 中点移動の形式表現
1.2.1 ベクトルによる定義
中点移動は、差ベクトルの保存として書ける。基準点を \(M\)、移動対象点を \(P\) とし、移動後の基準点を \(M'\) とする。中点移動に対応する代表的な定義は \[ \overrightarrow{M'P'}=\overrightarrow{MP} \] である。これは「中点から見た相対位置」をそのまま移動することに等しい。
別の書き方として、ベクトルの和で \[ P' = M' + (P-M) \] と表すこともできる。これにより、平行移動の一般式と同一の骨格が現れ、計算機的にも理論的にも扱いやすくなる。
1.2.2 座標による定義
座標で同じ内容を表すと、点 \(P(x,y)\)、基準点 \(M(a,b)\)、移動後の基準点 \(M'(c,d)\) のとき、 \[ P'(x',y')=(c,d)+(x-a,\;y-b) \] となる。すなわち \[ x'=x-a+c,\quad y'=y-b+d \] である。
中点 \(M\) が具体的に線分の中点として与えられている場合、\(a,b\) を中点の式に代入することで、移動先座標が中点を介して決定できる。
1.3 直感的な見方
1.3.1 相対位置を保つ考え方
直感的には、点 \(P\) の位置を「中点 \(M\) からどれだけ右（左）・上（下）にあるか」という相対量で捉え、その量を移動後の基準点 \(M'\) にそのまま再適用する操作である。したがって、絶対座標そのものがどう変わってもよいが、中点からのずれ方は変えない、という思想が中心にある。
この見方は、線分の中点を含む複数の点の関係を一括して追跡するのに向いている。例えば、いくつかの点対の中点を基準に置くと、対応が一貫した形で表れる。
1.3.2 平行移動・対称との関係
ベクトル形式では前述のように平行移動と同形の関係が現れる。つまり、中点を基準点として指定し、基準点の移動に伴って対象点も同じ相対変位で動くなら、それは平行移動の一種として理解できる。
また、対称との関係では「中点が対称の中心」になる状況が重要になる。たとえば、点 \(P\) とその対称点 \(Q\) の中点が \(M\) であるなら、対称は \(M\) を中心とする符号反転として表現される。中点移動は、対称操作の周辺で現れる「中心（中点）を媒介にした再配置」という点で親和性が高い。
2 代表的な計算手順
2.1 2点と中点からの移動先の求め方
2.1.1 中点を介した座標の連立
端点 \(A(x_1,y_1)\)、\(B(x_2,y_2)\) の中点 \(M\) を基準に、別の基準点 \(M'(u,v)\) に移したい状況を考える。まず \[ M\left(\frac{x_1+x_2}{2},\frac{y_1+y_2}{2}\right) \] を作る。つぎに移動対象として例えば \(A\) を選び、その移動後の点 \(A'\) を相対関係で決める。
上の一般式 \(A' = M' + (A-M)\) により \[ x_{A'}=u+\left(x_1-\frac{x_1+x_2}{2}\right),\quad y_{A'}=v+\left(y_1-\frac{y_1+y_2}{2}\right) \] が得られる。連立は中点の座標計算を含むが、終的には差の形で整理でき、式の見通しが保たれる。
同様に \(B'\) を求めれば、\(A'\) と \(B'\) の中点が \(M'\) になることが確認できる。ここでのポイントは、平均としての中点を起点にしているため、移動後でも中点対応が整合的に保たれる点にある。
2.1.1.1 軸に沿う場合の簡略化
移動や基準点の移動が、ある軸方向に限られると式は簡潔になる。例えば \(x\) 軸方向のみの移動、すなわち \(M'(u,v)\) が \(u\) だけ変わり \(v\) が同じである場合、差ベクトルの成分が片方に集中するため \[ y_{A'}=y_A \] のような整理が起きる。一般に、相対量の各成分が独立に更新されるため、軸に沿う条件は計算量を落とす。
2.1.2 ベクトルの式変形による導出
ベクトルで \[ P' = M' + (P-M) \] を出発点にすると、移動が基準点の変位により決まることが分かる。すなわち \[ P' = (M' - M) + P \] と変形すれば、\((M'-M)\) を共通の変位として見なせる。したがって、複数の点を同じ中点移動で動かす場合、各点の更新は同じ変位ベクトルの加算として扱える。
この整理は、線分や三角形などの図形に対して一括計算を行う際に有用である。
2.2 線分・図形への適用
2.2.1 三角形の中点を用いる移動
三角形 \(ABC\) の中点を \(M\)、\(N\)、\(L\) とする（それぞれ \(AB,BC,CA\) の中点）。例えば辺 \(AB\) の中点 \(M\) を基準にして点 \(A\) を移すと、同じ差ベクトルの保存により \(A\) の移動先が一意に定まる。次に同様の操作を \(B\) に適用すれば、移動後の中点は \(M'\) に一致する。
三角形全体に対して同じ変位（ベクトル加算）を適用するなら、辺の中点同士の対応関係が崩れない。結果として、中点連結に関する図形構成（中点を結んでできる線分）が同型に保たれる場面がある。計算だけでなく、証明でも「中点を基準にした対応が安定」という利点が働く。
2.2.2 多角形の中点からの対応
多角形に拡張すると、各辺の中点を基準化して対応を構成できる。頂点の集合を与え、各辺の中点を介して移動先を求めると、局所的な相対関係が頂点配置へと伝播する。
特に、隣接辺の中点を同時に扱うと整合条件が生じるが、これは移動が共通の変位として表せる場合には自然に満たされる。逆に、変位が辺ごとに異なる設定では中点の対応から一貫した多角形全体を構成できないことがあるため、操作の前提を確認する必要がある。
2.3 具体例による検算
2.3.1 数値例での移動結果の確認
例として、\(A(1,2)\)、\(B(5,0)\) の中点を取ると \[ M\left(\frac{1+5}{2},\frac{2+0}{2}\right)=(3,1) \] である。ここで中点を \(M'(7,4)\) に移したいとする。中点移動により \[ A' = M' + (A-M) = (7,4) + \bigl((1,2)-(3,1)\bigr) = (7,4)+(-2,1)=(5,5) \] となる。
同様に \[ B' = M' + (B-M) = (7,4)+\bigl((5,0)-(3,1)\bigr)=(7,4)+(2,-1)=(9,3) \] が得られる。検算として中点を確認すると、\(A'(5,5)\) と \(B'(9,3)\) の中点は \[ \left(\frac{5+9}{2},\frac{5+3}{2}\right)=(7,4) \] であり、基準点の設定と一致する。
2.3.2 既知の性質（距離や平行性）の保持
中点移動が平行移動と同型である場合、距離や角度などのユークリッド的性質は一般に保存される。たとえば、同じ変位で結び直すなら、ある辺と別の辺が平行であったかどうかは変わらない。これは差ベクトルがそのまま保たれることに起因する。
特に中点移動を点集合の再配置として使うと、図形の平行性や対応関係が保たれるため、計算後に「平行であるはず」といった確認が行える。数値例の結果と性質の整合を取ることで、式の取り違えを減らせる。
3 中点移動が満たす性質
3.1 不変な量
3.1.1 中点に関する対称性
基準点として中点を置く構成では、移動後も「対応する2点の中点が基準点になる」という形の対称性が保たれる。具体的には、移動前に \(M\) が \(P\) と \(Q\) の中点であるなら、移動後には移動先の基準点 \(M'\) が \(P'\) と \(Q'\) の中点になる。
ベクトル表現では、\(M = \frac{P+Q}{2}\) の関係が、同じ差ベクトル保存により \(M' = \frac{P'+Q'}{2}\)へと写る。したがって中点を介した対称性は、操作の定義と整合している。
3.1.2 相対ベクトルの保存
最も直接的な不変量は、基準点から対象点への差ベクトルである。定義により \[ \overrightarrow{M'P'}=\overrightarrow{MP} \] が成り立つため、対象点同士の相対ベクトルについても、必要に応じて差分が一定になる。たとえば2点 \(P,Q\) を同じ変位で動かすと \[ \overrightarrow{P'Q'}=\overrightarrow{PQ} \] が成立し、位置関係の幾何的内容が変わらない。
3.2 対応関係の構造
3.2.1 一対一対応としての見方
中点移動は、基準点の移動 \(M \to M'\) が与えられれば、対象点 \(P\) の移動先 \(P'\) が一意に定まる。式 \(P' = M' + (P-M)\) は、\(P\) に対して線形な写像（アフィン変換）として機能するため、一般には一対一（可逆）対応として扱える。
この性質は、複数の点を同時に変換しても整合する理由になり、図形問題での議論の土台となる。
3.2.2 合成と逆操作
同じ形式で2回中点移動を行う場合、合成は同じ種類の変換としてまとめられる。たとえば \(M \to M_1 \to M_2\) と基準点が段階的に動くなら、対象点の移動もそれぞれの変位の和に従うため、結果として一度の変位で表現できる。
逆操作は、基準点を元に戻すことで得られる。すなわち \(M' \to M\) を行えば \[ P = M + (P'-M') \] となり、元の位置へ復元できる。したがって操作は可逆であり、計算上も誤差がなければ復元が可能である。
3.3 境界事例と注意点
3.3.1 中点が定義できない状況
中点移動の鍵となる中点 \(M\) は、通常は2点（あるいは線分の端点）が与えられていると定義できる。したがって、そのような2点が存在しない設定、あるいは「中点」という概念が確定しない対象（例えば端点が曖昧な幾何的対象）では、操作の前提が崩れる。
また、対象が実数平面上ではなく、別の数体系や曲面上の幾何へ拡張する際には「平均」の意味が変わり得るため、同じ式が自動的に成立するとは限らない。定義域・構造に注意が必要である。
3.3.2 浮動小数や近似の扱い
実務上は座標が整数で与えられない場合や、計算機上で小数近似を用いる場合がある。中点は平均であり、誤差はそのまま連鎖することがあるため、連続した変換や検算で累積が問題になる。
対策としては、可能なら有理数の形で保持する、あるいは誤差評価を含む検算（例：中点がほぼ一致するかの許容誤差）を明確にする方法がある。理論上の不変性（中点の一致、差ベクトルの保存）を数値で確認する際は、精度条件を明示すると齟齬を減らせる。
4 応用と発展
4.1 座標幾何における効率化
4.1.1 平行移動の代替表現
中点移動を用いると、平行移動を中点中心で記述できるため、問題によっては式の立て方が簡潔になる。たとえば、差ベクトルが直接与えられていないときでも、中点が分かれば「対象点のずれ」を再構成できる。
結果として、未知数を求める際に「基準点＋相対量」という形を維持でき、連立の形が安定する。これにより、計算の段取りが読みやすくなる場合がある。
4.1.2 一次変換としての整理
ベクトル表現により、中点移動はアフィン変換の一種として整理できる。線形部分が恒等である場合（純粋な平行移動）は特にシンプルであり、変換の本質は加算（変位）のみにある。
より一般に、座標系の取り換えや線形変換と組み合わせて考えると、変換の構造が見通せる。こうした観点では「中点を基準にした写像が、どの部分を線形として捉え、どの部分を平行成分として扱うか」が重要になる。
4.2 図形問題への導入
4.2.1 中点を使う証明戦略
図形証明では、条件に中点が含まれる場合や、対称性が隠れている場合に中点移動が有効になる。中点を基準にすると、情報が平均として集約されるため、距離や平行性といった性質へ繋がりやすい。
典型的な戦略としては、移動前後の点を対応付け、差ベクトルの一致から必要な平行性や合同性を導く流れがある。さらに、移動が可逆であるため、逆方向の推論にも利用できる。
4.2.2 ベクトル幾何との連携
中点移動はベクトル幾何と自然に結びつく。ポイントは、幾何学的主張が差ベクトルの等式や不等式として置き換えられる点にある。これにより、図形の性質を式処理で扱える場面が増え、計算と論証の往復が可能になる。
特に多角形や三角形に関しては、中点連結線や重心など他の平均的概念とも整合し、体系立てた議論が組める。中点移動を入口に、相対位置の保存という統一言語へ導くことができる。
4.3 Algebra分野との接点
4.3.1 ベクトル空間・線形性の観点
座標やベクトルを用いると、中点移動は点をベクトルとして扱う枠組みに収まる。差ベクトルの保存は、ベクトル空間の構造（和・差）と整合的であり、演算の性質をそのまま幾何へ持ち込める。
なお、厳密には平行移動自体はアフィン空間の操作であり、線形変換とは区別される。ただし差ベクトルに関しては線形的な挙動が見えるため、境界を意識しつつ扱うと混乱が減る。
4.3.2 変換の表現と演算
変換の表現では、基準点の変位ベクトルを用いて一貫した演算規則が立つ。具体的には、複数点に同じ変換を適用する場合、各点の座標に同じ加算ベクトルが作用する形になる。
この視点から、合成規則（変位ベクトルの加算）や逆操作（符号反転）が導かれる。行列による拡張表現（同次座標など）を使うと、計算手順をアルゴリズム化でき、応用分野での実装にも繋がる。