なぜ「2つの辺が等しい」という定義から「2つの底角が等しい」という定理が確実に導かれるのか。そのロジックを担保するのが、中学数学図形証明における補助線の活用です。
一般に、頂点Aから底辺BCに向かって頂角の二等分線を引き、交点をDと置くことで証明を進めます。この一本の補助線によって、元の三角形は△ABDと△ACDという2つの図形に分割されます。ここで使われる論理展開は以下の通りです。
仮定より二等辺三角形の定義から AB = AC であり、ADは∠Aの二等分線であるため ∠BAD = ∠CAD が成り立ちます。さらに、線分ADは共通の辺（AD = AD）です。これにより、合同条件の1つである「2組の辺とその間の角がそれぞれ等しい」が完全に成立し、△ABD ≡ △ACD が証明されます。
合同な図形の対応する角の大きさは等しいため、結論として ∠B = ∠C、すなわち「底角が等しい理由」が数学的に厳密に示されます。同時に、対応する辺の長さから BD = CD かつ ∠ADB = ∠ADC = 90° となるため、「二等辺三角形の頂角の二等分線は、底辺を垂直に2等分する」という垂直二等分線の性質までが自動的に演繹されます。1本の補助線が複数の幾何学的性質を一挙に生み出すこの連鎖こそ、幾何学の醍醐味です。
