目次 / 図形の性質 / 数学A

第6章 作図

—— 目盛りのない定規とコンパスだけで、どこまで描けるか ——

これまでの章では、図形の性質を「調べる」側に立ってきました。この章では、定規とコンパスだけを使って図形を「描く」側に回ります。垂直二等分線や角の二等分線といった中学で学んだ作図に根拠をつけ直したあと、平行線を使って線分を好きな比に分ける方法、長さの足し算・掛け算・割り算、そして平方根まで作図で求める方法を学びます。第5章で予告した「円の外の点から接線を引く作図」と「長さ $\sqrt{ab}$ の作図」もここで回収します。最後に、条件から三角形を組み立てる作図題を、解析・作図・証明・吟味の 4 段階で解きます。

問題マップ記録を読み込み中…
未回答 25× 0○ 01か月定着 0

作図の約束

この章でいう作図とは、次の 2 つの道具だけを使い、決まった操作を有限回くり返して図形をかくことです。

新しい点は、かいた直線や円どうしの交点としてだけ得られます。「分度器で 30∘30^\circ を測る」「目盛りで 3 cm3\,\mathrm{cm} を測る」はできません。そのかわり、作図した図形が正しいことは、これまでの章の定理で証明できます。作図は、図形の性質を「使う」練習でもあるのです。

基本の作図——4 つの道具を組み立てる

中学で学んだ作図を、根拠といっしょに整理し直します。どれも、この先のすべての作図の部品になります。

A B M (1) 垂直二等分線 O P Q R X Y (2) 角の二等分線
A B P ℓ (3) P を通る垂線 A B P Q ℓ (4) P を通る平行線
公式1:基本の作図
  1. 線分 ABAB の垂直二等分線:AA,BB を中心に、等しい半径(12AB\frac{1}{2}AB より大きく)で円をかき、その 2 つの交点を結ぶ。
  2. ∠XOY\angle XOY の二等分線:OO を中心とする円が半直線 OXOX,OYOY と交わる点を PP,QQ とする。PP,QQ を中心に等しい半径で円をかき、その交点を RR とすると、半直線 OROR が二等分線。
  3. 点 PP を通り直線 ℓ\ell に垂直な直線:PP を中心とする円が ℓ\ell と交わる 2 点を AA,BB とし、線分 ABAB の垂直二等分線を引く(PP は ℓ\ell 上にあっても外にあってもよい)。
  4. 点 PP を通り直線 ℓ\ell に平行な直線:ℓ\ell 上に 2 点 AA,BB をとる。PP を中心に半径 ABAB、BB を中心に半径 APAP の円をかき、直線 PBPB について AA と反対側にある交点を QQ とすると、直線 PQPQ が求める平行線。

根拠はそれぞれ次のとおりです。

運動会の前に、校庭に白線を引く場面を考えてみましょう。2 本の杭 AA,BB の真ん中を垂直に横切るラインを引きたいとき、同じ長さのロープを 2 本用意し、それぞれ AA,BB に結んで先端を合わせます。ロープをぴんと張って先端が重なる場所は、AA 側と BB 側に 1 か所ずつ。その 2 か所に印をつけて結べば、ちょうど真ん中を垂直に通るラインになります。コンパスがやっているのは、このロープの仕事です。

基本の作図は、どれも「コンパスで等しい長さを 2 つ作る」ことで、垂直二等分線・合同・平行四辺形といった既知の性質に持ち込んでいるということです。

例題1:内接円の作図

△ABC\triangle ABC の内接円を作図する手順を示しなさい。また、その円が 3 辺に接する理由を示しなさい。

A B C I D 例題1:∠B,∠C の二等分線の交点 I から BC へ垂線 ID

【解答】

手順

  1. ∠B\angle B と ∠C\angle C の二等分線を作図し(公式1 (2))、その交点を II とする。
  2. II を通り辺 BCBC に垂直な直線を作図し(公式1 (3))、BCBC との交点を DD とする。
  3. II を中心に半径 IDID の円をかく。

理由 II から辺 CACA,ABAB に下ろした垂線の足を EE,FF とします。角の二等分線上の点は角の 2 辺から等距離なので(第2章)、∠B\angle B の二等分線上にある II は IDID=IF{}= IF、∠C\angle C の二等分線上にあるので IDID=IE{}= IE。よって IDID=IE{}= IE=IF{}= IF で、円は DD,EE,FF を通ります。しかも各辺は、それぞれの点を通る半径に垂直なので、第5章 公式1 より円の接線です。(証明終)

II は ∠A\angle A の二等分線の上にもあるので(第2章 内心)、3 本目の二等分線を引く必要はありません。2 本で交点が決まれば十分です。

平行線で比を作る——内分点・外分点の作図

目盛りのない定規では、線分を「3 cm3\,\mathrm{cm} と 2 cm2\,\mathrm{cm} に分ける」ことはできません。けれども「3:23 : 2 に分ける」ことならできます。第1章 公式1(平行線と線分の比)を使うのです。

C1 C2 C3 C4 C5 A B P 2 3 (1) 2 : 3 に内分 C1 C2 C3 A B Q AQ : QB = 3 : 1 (2) 3 : 1 に外分
公式2:内分点・外分点の作図

線分 ABAB と正の整数 mm,nn が与えられたとする。AA から直線 ABAB と異なる向きに半直線 AXAX を引き、その上にコンパスで等間隔に点 C1C_1,C2C_2,C3C_3,… をとる(AC1AC_1=C1C2{}= C_1C_2=C2C3{}= C_2C_3=⋯{}= \cdots)。

  1. m:nm : n に内分する点:Cm+nC_{m+n} と BB を結び、CmC_m を通って Cm+nBC_{m+n}B に平行な直線を引く。これと ABAB の交点 PP が求める点。
  2. m:nm : n に外分する点(mm>n{}> n):Cm−nC_{m-n} と BB を結び、CmC_m を通って Cm−nBC_{m-n}B に平行な直線を引く。これと直線 ABAB の交点 QQ が求める点。

(1) は、CmPC_m P∥Cm+nB{}\parallel C_{m+n} B なので AP:ABAP : AB=ACm:ACm+n{}= AC_m : AC_{m+n}=m:(m+n){}= m : (m + n)。残りが PBPB なので AP:PBAP : PB=m:n{}= m : n です。

(2) は、CmQC_m Q∥Cm−nB{}\parallel C_{m-n} B なので AQ:ABAQ : AB=ACm:ACm−n{}= AC_m : AC_{m-n}=m:(m−n){}= m : (m - n)。QQ は BB の先にあり、QBQB=AQ{}= AQ−AB{}- AB なので、AQAQ=mk{}= mk,ABAB=(m−n)k{}= (m - n)k とおくと QBQB=nk{}= nk、つまり AQ:QBAQ : QB=m:n{}= m : n です(第1章 公式2 の「外分は差が全体」)。

窓のブラインドを思い浮かべてください。羽根は等間隔に平行に並んでいます。その上に、糸を斜めに 1 本張ると、糸は羽根によって等間隔に区切られます。糸を張る角度を変えると区切られる長さは変わりますが、「等間隔」であることは変わりません。公式2 は、半直線 AXAX の上に等間隔の目印を自分で作り、平行線という羽根で、その等間隔を線分 ABAB の上へ運んでいるのです。

長さそのものは測れなくても、コンパスで作った等間隔を平行線で写せば、線分を好きな整数の比に分けられるということです。

例題2:3 : 2 の内分点と外分点

線分 ABAB を 3:23 : 2 に内分する点 PP と、3:23 : 2 に外分する点 QQ を作図する手順を示しなさい。また、ABAB=10{}= 10 のとき、APAP,AQAQ を求めなさい。

C1 C2 C3 C4 C5 A B P Q 内分:C₅B ∥ C₃P 外分:C₁B ∥ C₃Q AP : AB = 3 : 5 AQ : AB = 3 : 1 例題2:C₁,C₃,C₅ で内分点 P と外分点 Q の両方をかく

【解答】

手順 AA から半直線 AXAX を引き、等間隔に C1C_1,C2C_2,…,C5C_5 をとる。

  1. C5C_5 と BB を結び、C3C_3 を通って C5BC_5B に平行な直線を引く。ABAB との交点が PP。
  2. C1C_1 と BB を結び、C3C_3 を通って C1BC_1B に平行な直線を引く。直線 ABAB との交点が QQ(mm−n{}- n=3{}= 3−2{}- 2=1{}= 1 なので C1C_1 を使う)。

長さ 公式2 の根拠から AP:ABAP : AB=3:5{}= 3 : 5,AQ:ABAQ : AB=3:1{}= 3 : 1 なので

AP\displaystyle AP=35×10\displaystyle {}= \frac{3}{5} \times 10=6‾,\displaystyle {}= \underline{6},AQ\displaystyle AQ=3×10\displaystyle {}= 3 \times 10=30‾\displaystyle {}= \underline{30}

確かめ:PBPB=4{}= 4 で AP:PBAP : PB=6:4{}= 6 : 4=3:2{}= 3 : 2、QBQB=30{}= 30−10{}- 10=20{}= 20 で AQ:QBAQ : QB=30:20{}= 30 : 20=3:2{}= 3 : 2。

第1章の小話1 で紹介したアポロニウスの円——XA:XBXA : XB=3:2{}= 3 : 2 となる点 XX 全体——は、この PP と QQ を結ぶ線分を直径とする円でした。ここまで来れば、PQPQ の垂直二等分線で中点を求めて円をかくだけで、アポロニウスの円も作図できます。

長さの計算を作図する——和・差・積・商

長さ 11 の線分(単位の長さ)が 1 本与えられていれば、長さ aa,bb の線分から aa+b{}+ b,aa−b{}- b,abab,ab\dfrac{a}{b} の線分が作図できます。

O E A B C OE = 1,OA = a OB = b → OC = ab (1) 積:EB ∥ AC O E C B A OE = 1 OB = b,OA = a → OC = a/b (2) 商:BE ∥ AC
公式3:和・差・積・商の作図

長さ 11,aa,bb の線分が与えられたとする。

  1. 和 aa+b{}+ b・差 aa−b{}- b(aa>b{}> b):直線上に、コンパスで長さ aa と bb を続けて(差のときは折り返して)とる。
  2. 積 abab:点 OO から 2 本の半直線 OXOX,OYOY を引く。OXOX 上に OEOE=1{}= 1,OAOA=a{}= a、OYOY 上に OBOB=b{}= b をとる。AA を通り EBEB に平行な直線と OYOY の交点を CC とすると OCOC=ab{}= ab。
  3. 商 ab\dfrac{a}{b}:OXOX 上に OEOE=1{}= 1、OYOY 上に OBOB=b{}= b,OAOA=a{}= a をとる。AA を通り BEBE に平行な直線と OXOX の交点を CC とすると OCOC=ab{}= \dfrac{a}{b}。

(2) は EBEB∥AC{}\parallel AC なので OE:OAOE : OA=OB:OC{}= OB : OC、すなわち 1:a1 : a=b:OC{}= b : OC から OCOC=ab{}= ab。(3) は EBEB∥CA{}\parallel CA なので OB:OAOB : OA=OE:OC{}= OE : OC、すなわち b:ab : a=1:OC{}= 1 : OC から OCOC=ab{}= \dfrac{a}{b} です。

コピー機の「拡大」ボタンに似ています。長さ 11 の原稿を aa に拡大する倍率を決めておけば、同じ倍率で長さ bb の原稿をコピーすると abab になります。公式3 (2) では、EE→A{}\to A の拡大(11→a{}\to a)が倍率を決め、平行線がその倍率を OYOY 側の bb にかけています。商は、その逆向きの縮小です。

単位の長さ 11 は、この「倍率」を決めるためにどうしても必要です。11 がなければ、abab が「どの長さの何倍か」が決まりません。

単位の長さ 11 があれば、平行線で倍率を写すことで、長さの掛け算・割り算まで作図でできるということです。

例題3:2 乗と逆数の作図

長さ 11 と aa の線分が与えられたとき、長さ a2a^2 と 1a\dfrac{1}{a} の線分を作図する手順を、公式3 の記号を使って示しなさい。


【解答】

a2a^2:公式3 (2) で bb=a{}= a とします。OXOX 上に OEOE=1{}= 1,OAOA=a{}= a、OYOY 上に OBOB=a{}= a をとり、AA を通り EBEB に平行な直線と OYOY の交点を CC とすると

1:a\displaystyle 1 : a=a:OC\displaystyle {}= a : OC⟹OC\displaystyle {}\Longrightarrow\quad OC=a2‾\displaystyle {}= \underline{a^2}

1a\dfrac{1}{a}:公式3 (3) で、aa のところに 11、bb のところに aa を入れます。OXOX 上に OEOE=1{}= 1、OYOY 上に OBOB=a{}= a,OAOA=1{}= 1 をとり、AA を通り BEBE に平行な直線と OXOX の交点を CC とすると

a:1\displaystyle a : 1=1:OC\displaystyle {}= 1 : OC⟹OC\displaystyle {}\Longrightarrow\quad OC=1a‾\displaystyle {}= \underline{\frac{1}{a}}

どちらも図は fig06 と同じ形で、点をとる位置を変えるだけです。たとえば aa=2{}= 2 なら OCOC=4{}= 4 と OCOC=12{}= \dfrac{1}{2}。a2a^2 の作図で OBOB を OAOA と同じ長さにとる操作は、コンパスで OAOA の長さを OYOY 上に写すだけです。

平方根の作図——半円の高さ

足し算・掛け算に続いて、平方根も作図できます。ここで、第4章の「直径に対する円周角は 90∘90^\circ」と、第5章の方べきの定理が活躍します。

A B C O D a b √ab CD² = AC・CB(相似、または方べきの定理)
公式4:平方根の作図

直線上に ACAC=a{}= a,CBCB=b{}= b となるように点 AA,CC,BB をこの順にとる。ABAB を直径とする円をかき、CC を通り ABAB に垂直な直線がこの円と交わる点を DD とすると

CD\displaystyle CD=ab\displaystyle {}= \sqrt{ab}

特に bb=1{}= 1 とすれば CDCD=a{}= \sqrt{a} が作図できる。

理由(相似で) ∠ADB\angle ADB=90∘{}= 90^\circ(第4章 公式2)なので、直角三角形 ADBADB で DCDC は斜辺への垂線です。△ACD\triangle ACD と △DCB\triangle DCB は、∠ACD\angle ACD=∠DCB{}= \angle DCB=90∘{}= 90^\circ、∠CAD\angle CAD=90∘−∠ABD{}= 90^\circ - \angle ABD=∠CDB{}= \angle CDB で相似なので

ACDC\displaystyle \frac{AC}{DC}=DCCB\displaystyle {}= \frac{DC}{CB}⟹CD2\displaystyle {}\Longrightarrow\quad CD^2=AC⋅CB\displaystyle {}= AC \cdot CB=ab\displaystyle {}= ab

理由(方べきで) 直線 DCDC が円ともう一度交わる点を D′D' とすると、ABAB⊥DD′{}\perp DD' なので CC は弦 DD′DD' の中点で CDCD=CD′{}= CD'(弦の垂直二等分線は中心を通る)。交わる弦の方べきの定理(第5章 公式4 (i))より CD⋅CD′CD \cdot CD'=CA⋅CB{}= CA \cdot CB、つまり CD2CD^2=ab{}= ab。

第5章の例題4 で「高さの積の平方根」が出てきました。あの 1×4\sqrt{1 \times 4}=2{}= 2 を実際の長さとして描く方法が、公式4 です。

長方形の布を、同じ面積の正方形のハンカチに仕立て直すことを考えてみてください。縦 aa、横 bb の布と同じ面積の正方形は、1 辺が ab\sqrt{ab} です。公式4 は、この「長方形を正方形に直す」作業を、半円 1 つでやってのけます。

ほかに、直角三角形を使う方法もあります。直角をはさむ 2 辺が aa,bb の直角三角形をかけば、斜辺は a2+b2\sqrt{a^2 + b^2}(三平方の定理)です。

長さ aa と bb を並べて半円をかき、つなぎ目で立てた垂線の高さが ab\sqrt{ab} になるということです。bb=1{}= 1 にすれば a\sqrt{a} が作図できます。

例題4:平方根の作図

(1) 公式4 の図で ACAC=9{}= 9,CBCB=4{}= 4 とします。CDCD の長さと、円の中心 OO から CC までの距離 OCOC を求めなさい。

(2) 長さ 11 の線分から、長さ 5\sqrt{5} の線分を作図する方法を 2 通り示しなさい。

A B C D 5 1 √5 (i) 半円で √(5×1) P Q R 2 1 √5 (ii) 三平方で √(2²+1²)

【解答】

(1) 公式4 より CDCD=9×4{}= \sqrt{9 \times 4}=6‾{}= \underline{6}。 円の半径は 9+42\dfrac{9 + 4}{2}=132{}= \dfrac{13}{2} で、OO は ABAB の中点なので

OC\displaystyle OC=AC\displaystyle {}= AC−AO\displaystyle {}- AO=9\displaystyle {}= 9−132\displaystyle {}- \frac{13}{2}=52‾\displaystyle {}= \underline{\frac{5}{2}}

確かめ:△OCD\triangle OCD で OC2OC^2+CD2{}+ CD^2=254{}= \dfrac{25}{4}+36{}+ 36=1694{}= \dfrac{169}{4}=(132)2{}= \left(\dfrac{13}{2}\right)^2 となり、ODOD が半径に一致します。

(2) 1 通り目(半円):長さ 11 をコンパスで 5 回続けて写して ACAC=5{}= 5 を作り、その先に CBCB=1{}= 1 をとる。ABAB を直径とする円と、CC を通る垂線の交点を DD とすると、公式4 より CDCD=5×1{}= \sqrt{5 \times 1}=5{}= \sqrt{5}。

2 通り目(三平方):長さ 11 を 2 回写して長さ 22 の線分 PQPQ を作り、QQ で PQPQ に垂直な直線を引いて(公式1 (3))、その上に QRQR=1{}= 1 をとる。直角三角形 PQRPQR の斜辺は

PR\displaystyle PR=22+12\displaystyle {}= \sqrt{2^2 + 1^2}=5\displaystyle {}= \sqrt{5}

どちらでもかまいません。5\sqrt{5} のように「2 つの平方数の和」になっている数は三平方が手早く、7\sqrt{7} のようにそうならない数は半円が確実です。

接線の作図——直径の円で直角を作る

第5章で「接線は接点を通る半径に垂直」と学びました。これを作図の言葉に直すと、接点 TT は「∠OTP\angle OTP=90∘{}= 90^\circ となる円周上の点」です。直角を作る点の集まりは、第4章で学んだ「直径に対する円周角」の円でした。

O P M T1 T2 OP を直径とする円(点線)で ∠OTP = 90° の点を探す
公式5:接線の作図
  1. 円周上の点 AA における接線:半径 OAOA を引き、AA を通り OAOA に垂直な直線を作図する(公式1 (3))。
  2. 円の外の点 PP から引く接線:線分 OPOP の垂直二等分線で中点 MM を求め、MM を中心に半径 MOMO の円をかく。この円と円 OO の 2 つの交点を T1T_1,T2T_2 とすると、直線 PT1PT_1,PT2PT_2 が求める接線。

(2) の理由:T1T_1 は OPOP を直径とする円の上にあるので ∠OT1P\angle OT_1P=90∘{}= 90^\circ(第4章 公式2)。PT1PT_1 は円 OO の半径 OT1OT_1 に T1T_1 で垂直なので、第5章 公式1 の逆より、T1T_1 における接線です。T2T_2 も同じです。

夜の海で、灯台 PP から丸い島 OO に光を向ける場面を思い浮かべてください。島の輪郭をぎりぎりかすめる光の筋が 2 本あります。かすめる点では、光の筋と島の中心へ向かう線が直角です。「灯台と島の中心を見込む角が直角になる場所」を探すのに、OPOP を直径とする円を 1 つかけば済む、というのが公式5 (2) です。

接点は「OO と PP を見込む角が直角になる点」なので、OPOP を直径とする円をかけば一度に 2 つとも見つかるということです。

例題5:接線の作図と長さ

半径 66 の円 OO と、OPOP=10{}= 10 の点 PP があります。公式5 (2) の作図で接点 T1T_1,T2T_2 を求めるとき、次のものを求めなさい。

(1) 補助の円(OPOP を直径とする円)の半径

(2) 接線の長さ PT1PT_1

(3) 弦 T1T2T_1T_2 の長さ


【解答】

(1) 直径が OPOP=10{}= 10 なので、半径は 5‾\underline{5}。

(2) ∠OT1P\angle OT_1P=90∘{}= 90^\circ なので、三平方の定理より

PT1\displaystyle PT_1=102−62\displaystyle {}= \sqrt{10^2 - 6^2}=64\displaystyle {}= \sqrt{64}=8‾\displaystyle {}= \underline{8}

(3) T1T_1 と T2T_2 は直線 OPOP について対称なので、T1T2T_1T_2⊥OP{}\perp OP で、交点を HH とすると T1T2T_1T_2=2T1H{}= 2T_1H。T1HT_1H は直角三角形 OT1POT_1P の斜辺への高さなので、面積を 2 通りに表して

12×10×T1H\displaystyle \frac{1}{2} \times 10 \times T_1H=12×6×8\displaystyle {}= \frac{1}{2} \times 6 \times 8⟹T1H\displaystyle {}\Longrightarrow\quad T_1H=245\displaystyle {}= \frac{24}{5}

よって T1T2T_1T_2=485‾{}= \underline{\dfrac{48}{5}}。

T1T2T_1T_2 は、円 OO と補助の円の共通弦でもあります。2 つの円の交点を結ぶ線分なので、2 つの中心 OO,MM を結ぶ直線に垂直になっているのです。

作図題の解き方と、作図できる長さ

「条件を満たす図形を作図しなさい」という問題(作図題)は、次の 4 段階で考えます。

公式6:作図題の 4 段階と、作図できる長さ
  1. 解析:求める図形がかけたと仮定し、どの点がどんな条件で決まるかを調べる。
  2. 作図:解析にもとづいて手順を書く。
  3. 証明:その手順でかいた図形が、条件を満たすことを示す。
  4. 吟味:作図がいつでもできるか、答えがいくつあるかを調べる。

長さ 11 から出発して、和・差・積・商・平方根を有限回くり返して表せる長さは、すべて作図できる(公式3・公式4)。逆に、作図で得られる長さはこの形のものに限られる(厳密定義ページ)。

解析でいちばん役に立つのは、「求める点を、2 つの条件それぞれを満たす点の集まりの交点としてつかまえる」考え方です。1 つの条件だけでは、点は線(直線や円)の上のどこかまでしか決まりません。条件を 2 つ重ねると、2 本の線の交点として、点が決まります。

宝の地図で「大きな木から 1010 歩のところ」「川から 33 歩のところ」と書いてあれば、木を中心とする円と、川に平行な直線を地図にかき込み、交わったところを掘ります。1 つ目の条件だけでは円周全体を掘ることになりますが、2 つ目を重ねれば、候補は多くても 2 か所です。

後半の「作図できる長さ」は、作図の限界を教えてくれます。2+3\sqrt{2 + \sqrt{3}} のように平方根が何重になっても作図できますが、3 乗根 23\sqrt[3]{2} のような長さは、定規とコンパスでは作図できないことが知られています(三角比と三角関数の分野 第10章の厳密定義ページで「角の 3 等分はできない」ことに触れました。同じ理由です)。

作図題は「かけたとして条件を分析し、点を 2 本の線の交点として決める」問題で、作図で届く長さは「四則と平方根」で書ける長さだということです。

例題6:底辺・頂角・高さから三角形を作図する

線分 BCBC=a{}= a、角 α\alpha(0∘0^\circ<α{}< \alpha<180∘{}< 180^\circ)、長さ hh が与えられています。∠BAC\angle BAC=α{}= \alpha で、AA から直線 BCBC までの距離が hh である △ABC\triangle ABC を作図します。

(1) 作図の手順を示しなさい。

(2) aa=6{}= 6,α\alpha=60∘{}= 60^\circ のとき、この三角形が作図できるような hh の範囲を求めなさい。

60° 60° h B C O A T N 例題6:BC を 60° で見込む弧(赤)と直線(緑)の交点が A

【解答】

解析 AA は次の 2 つの条件を満たします。

  • BCBC を角 α\alpha で見込む点 → 直線 BCBC の片側では、BB,CC を通る円の弧の上(第4章 公式1・公式4)
  • 直線 BCBC からの距離が hh → BCBC に平行で距離 hh の直線の上

弧をかくには、その円の中心 OO が要ります。接弦定理(第5章 公式3)を逆向きに使うと、BB における接線 BTBT と弦 BCBC の角が α\alpha になっていればよいことが分かります。

(1) 手順

  1. BB から、直線 BCBC について AA をかきたい側と反対側に、∠CBT\angle CBT=α{}= \alpha となる半直線 BTBT を引く。角を写すには、角 α\alpha の頂点を中心とする円で 2 辺上に点をとってできる三角形を、3 辺の長さをコンパスで写して BB のところに作り直せばよい(3 辺が等しいので合同)。α\alpha=60∘{}= 60^\circ なら、BCBC を 1 辺とする正三角形をかくだけで済む。
  2. BB を通り BTBT に垂直な直線と、BCBC の垂直二等分線の交点を OO とし、OO を中心に半径 OBOB の円をかく。
  3. BB を通り BCBC に垂直な直線上に BHBH=h{}= h(AA をかきたい側)をとり、HH を通り BCBC に平行な直線 ℓ\ell を引く。
  4. 円の、直線 BCBC について TT と反対側の弧と、ℓ\ell との交点を AA とする。

証明 OO は BCBC の垂直二等分線上にあるので OBOB=OC{}= OC で、円は BB,CC を通ります。BTBT⊥OB{}\perp OB なので BTBT はこの円の接線です(第5章 公式1)。接弦定理より、∠CBT\angle CBT の内側にない弧の上の点 AA について ∠BAC\angle BAC=∠CBT{}= \angle CBT=α{}= \alpha。また AA は ℓ\ell 上にあるので、直線 BCBC からの距離は hh です。(証明終)

(2) 吟味 aa=6{}= 6,α\alpha=60∘{}= 60^\circ のとき、中心角は ∠BOC\angle BOC=2α{}= 2\alpha=120∘{}= 120^\circ です。BCBC の中点を NN とすると △OBN\triangle OBN は ∠BON\angle BON=60∘{}= 60^\circ の直角三角形なので

ON\displaystyle ON=BNtan⁡60∘\displaystyle {}= \frac{BN}{\tan 60^\circ}=33\displaystyle {}= \frac{3}{\sqrt{3}}=3,\displaystyle {}= \sqrt{3},R\displaystyle R=OB\displaystyle {}= OB=BNsin⁡60∘\displaystyle {}= \frac{BN}{\sin 60^\circ}=23\displaystyle {}= 2\sqrt{3}

α\alpha は鋭角なので OO は弧と同じ側にあり、弧の最も高い点(弧の中点)の BCBC からの距離は ONON+R{}+ R=33{}= 3\sqrt{3} です。直線 ℓ\ell が弧と共有点をもつのは hh がこれ以下のときなので

0<h≦33‾\underline{0 < h \leqq 3\sqrt{3}}

hh<33{}< 3\sqrt{3} なら交点は 2 つできますが、2 つの三角形は BCBC の垂直二等分線について対称で合同です。hh=33{}= 3\sqrt{3} のときは交点が 1 つで、ABAB=AC{}= AC かつ ∠A\angle A=60∘{}= 60^\circ の正三角形(1 辺 66 の正三角形の高さはちょうど 333\sqrt{3})になります。

次の章へ

この章で、平面図形の作図までが終わりました。これで平面の話はひと区切りです。最後の第7章「空間図形」では、舞台を空間に移し、直線と平面の位置関係、多面体の頂点・辺・面の数のあいだに成り立つオイラーの多面体定理、そして正多面体が 5 種類しかない理由を学びます。平面で使ってきた「角の和」や「合同」の考え方が、空間ではどう生きるかを見ていきます。

基礎確認問題(全5問)

まずは公式をそのまま使う、ごく簡単な問題で確認しましょう。

問1

長さ 88 の線分 ABAB の垂直二等分線を作図するため、AA,BB を中心に等しい半径 rr の円をかきます。2 つの円が 2 点で交わるような rr の範囲を求めなさい。

つまずいたときは:
答えを見る
答え

r>4‾\underline{r > 4}(rr=4{}= 4 だと 1 点で接し、rr<4{}< 4 だと交わらない)

自己採点:
記録を読み込み中…

問2

線分 ABAB を 2:52 : 5 に内分する点を公式2 の方法で作図します。半直線 AXAX 上に等間隔の点 C1C_1,C2C_2,… をとるとき、BB と結ぶ点と、平行線を通す点を求めなさい。

つまずいたときは:
答えを見る
答え

C7‾\underline{C_7} と BB を結び、C2‾\underline{C_2} を通る平行線を引く

自己採点:
記録を読み込み中…

問3

公式3 (2) の積の作図で、OEOE=1{}= 1,OAOA=3{}= 3,OBOB=4{}= 4 としました。OCOC の長さを求めなさい。

つまずいたときは:
答えを見る
答え

1:31 : 3=4:OC{}= 4 : OC より OCOC=12‾{}= \underline{12}

自己採点:
記録を読み込み中…

問4

公式4 の平方根の作図で、ACAC=8{}= 8,CBCB=2{}= 2 としました。CDCD の長さを求めなさい。

つまずいたときは:
答えを見る
答え

CDCD=8×2{}= \sqrt{8 \times 2}=4‾{}= \underline{4}

自己採点:
記録を読み込み中…

問5

半径 33 の円 OO と OPOP=5{}= 5 の点 PP があり、OPOP を直径とする円をかいて接点 TT を作図しました。∠OTP\angle OTP の大きさと、接線の長さ PTPT を求めなさい。

つまずいたときは:
答えを見る
答え

∠OTP\angle OTP=90∘‾{}= \underline{90^\circ},PTPT=25−9{}= \sqrt{25 - 9}=4‾{}= \underline{4}

自己採点:
記録を読み込み中…

実践問題(全20問)

難易度マークは ★=基礎、★★=標準、★★★=入試レベルです。★から順に取り組みましょう。

問1 ★

∠XOY\angle XOY の二等分線を次の手順で作図しました。OO を中心とする円と半直線 OXOX,OYOY の交点を PP,QQ とし、PP,QQ を中心に等しい半径の円をかいて、その交点のうち ∠XOY\angle XOY の内部にあるものを RR とする。このとき ∠POR\angle POR=∠QOR{}= \angle QOR となることを示しなさい。

つまずいたときは:
答えを見る
答え

3 辺が等しいので △OPR\triangle OPR≡△OQR{}\equiv \triangle OQR、よって ∠POR\angle POR=∠QOR{}= \angle QOR

解説

△OPR\triangle OPR と △OQR\triangle OQR で

  • OPOP=OQ{}= OQ(OO を中心とする同じ円の半径)
  • PRPR=QR{}= QR(等しい半径でかいた円)
  • OROR は共通

3 組の辺がそれぞれ等しいので △OPR\triangle OPR≡△OQR{}\equiv \triangle OQR。対応する角は等しいので ∠POR\angle POR=∠QOR{}= \angle QOR。(証明終)

RR を ∠XOY\angle XOY の内部にとるのは、半直線 OROR が 2 辺のあいだを通るようにするためです。内部にない交点をとると、OROR は角の外側を向いてしまいます。

自己採点:
記録を読み込み中…

問2 ★

長さ 66 の線分 ABAB を 5:25 : 2 に外分する点 QQ を公式2 の方法で作図します。半直線 AXAX 上の等間隔の点のうち、BB と結ぶ点と平行線を通す点を答え、AQAQ と QBQB の長さを求めなさい。

つまずいたときは:
答えを見る
答え

C3C_3 と BB を結び、C5C_5 を通る平行線を引く。AQAQ=10{}= 10,QBQB=4{}= 4

解説

mm=5{}= 5,nn=2{}= 2 なので、mm−n{}- n=3{}= 3 より C3C_3 と BB を結び、C5C_5 を通って C3BC_3B に平行な直線を引きます(公式2 (2))。

平行線と線分の比より

AQ:AB\displaystyle AQ : AB=AC5:AC3\displaystyle {}= AC_5 : AC_3=5:3\displaystyle {}= 5 : 3⟹AQ\displaystyle {}\Longrightarrow\quad AQ=53×6\displaystyle {}= \frac{5}{3} \times 6=10‾\displaystyle {}= \underline{10}

QQ は BB の先にあるので QBQB=AQ{}= AQ−AB{}- AB=10{}= 10−6{}- 6=4‾{}= \underline{4}。確かめると AQ:QBAQ : QB=10:4{}= 10 : 4=5:2{}= 5 : 2 です。

自己採点:
記録を読み込み中…

問3 ★

公式3 (3) の商の作図で、OXOX 上に OEOE=1{}= 1、OYOY 上に OBOB=4{}= 4,OAOA=6{}= 6 をとり、AA を通り BEBE に平行な直線と OXOX の交点を CC としました。OCOC の長さを求めなさい。

つまずいたときは:
答えを見る
答え

OCOC=32{}= \dfrac{3}{2}

解説

BEBE∥AC{}\parallel AC なので、△OBE\triangle OBE と △OAC\triangle OAC は相似で

OB:OA\displaystyle OB : OA=OE:OC\displaystyle {}= OE : OC⟹4:6\displaystyle {}\Longrightarrow\quad 4 : 6=1:OC\displaystyle {}= 1 : OC

よって OCOC=64{}= \dfrac{6}{4}=32‾{}= \underline{\dfrac{3}{2}}。これは ab\dfrac{a}{b}=64{}= \dfrac{6}{4} にあたります。

自己採点:
記録を読み込み中…

問4 ★

公式4 の作図で ACAC=3{}= 3,CBCB=1{}= 1 としました。CDCD,ADAD,BDBD の長さを求めなさい。

つまずいたときは:
答えを見る
答え

CDCD=3{}= \sqrt{3},ADAD=23{}= 2\sqrt{3},BDBD=2{}= 2

解説

公式4 より

CD\displaystyle CD=3×1\displaystyle {}= \sqrt{3 \times 1}=3‾\displaystyle {}= \underline{\sqrt{3}}

∠ACD\angle ACD=∠BCD{}= \angle BCD=90∘{}= 90^\circ なので、三平方の定理より

AD\displaystyle AD=32+(3)2\displaystyle {}= \sqrt{3^2 + (\sqrt{3})^2}=12\displaystyle {}= \sqrt{12}=23‾,\displaystyle {}= \underline{2\sqrt{3}},BD\displaystyle BD=12+(3)2\displaystyle {}= \sqrt{1^2 + (\sqrt{3})^2}=2‾\displaystyle {}= \underline{2}

確かめ:AD2AD^2+BD2{}+ BD^2=12{}= 12+4{}+ 4=16{}= 16=AB2{}= AB^2 で、∠ADB\angle ADB=90∘{}= 90^\circ と合っています。△ABD\triangle ABD は 30∘30^\circ,60∘60^\circ,90∘90^\circ の直角三角形です。

自己採点:
記録を読み込み中…

問5 ★

長さ 11 の線分 OP1OP_1 から始めて、PkP_k で OPkOP_k に垂直な直線を引き、その上に PkPk+1P_kP_{k+1}=1{}= 1 となる点 Pk+1P_{k+1} をとる作図を kk=1,{}= 1,2,2,3,3,…\dots とくり返します。OPnOP_n を nn の式で表しなさい。また、OPnOP_n=3{}= 3 となる nn を求めなさい。

つまずいたときは:
答えを見る
答え

OPnOP_n=n{}= \sqrt{n},nn=9{}= 9

解説

∠OPkPk+1\angle OP_kP_{k+1}=90∘{}= 90^\circ なので、三平方の定理より

OPk+12\displaystyle OP_{k+1}^2=OPk2\displaystyle {}= OP_k^2+1\displaystyle {}+ 1

OP12OP_1^2=1{}= 1 から始めて 1 ずつ増えるので OPn2OP_n^2=n{}= n、すなわち OPnOP_n=n‾{}= \underline{\sqrt{n}}。

n\sqrt{n}=3{}= 3 より nn=9‾{}= \underline{9}。

この作図を続けると、直角三角形がかたつむりの殻のように並びます(「テオドロスのらせん」と呼ばれます)。2\sqrt{2},3\sqrt{3},4\sqrt{4}=2{}= 2,… がすべて定規とコンパスで順にかけることが分かります。

自己採点:
記録を読み込み中…

問6 ★

中心の分からない円が紙にかかれています。円周上に 3 点 AA,BB,CC をとり、この円の中心を作図する手順を示しなさい。また、その手順で中心が求まる理由を示しなさい。

つまずいたときは:
答えを見る
答え

弦 ABAB,BCBC の垂直二等分線を作図し、その交点が中心

解説

手順

  1. 弦 ABAB の垂直二等分線を作図する(公式1 (1))。
  2. 弦 BCBC の垂直二等分線を作図する。
  3. 2 本の交点を OO とすると、OO が円の中心。

理由 円の中心は AA,BB から等距離(半径)なので、弦 ABAB の垂直二等分線の上にあります。同じく弦 BCBC の垂直二等分線の上にもあります。AA,BB,CC は同じ直線上にないので 2 本の垂直二等分線は平行でなく、交点はただ 1 つです。その交点が中心です。(証明終)

第2章の外心の作図と同じ手順です。円周上の 3 点を頂点とする三角形の外心が、その円の中心になっています。

自己採点:
記録を読み込み中…

問7 ★

ABAB=6{}= 6,BCBC=8{}= 8,CACA=10{}= 10 の △ABC\triangle ABC の外接円を作図します。外心 OO はどの点になるかを答え、外接円の半径 RR を求めなさい。

つまずいたときは:
答えを見る
答え

OO は辺 CACA の中点、RR=5{}= 5

解説

626^2+82{}+ 8^2=100{}= 100=102{}= 10^2 なので、△ABC\triangle ABC は ∠B\angle B=90∘{}= 90^\circ の直角三角形です。

直角三角形の外心は斜辺の中点です(第4章 公式2 の逆:∠B\angle B=90∘{}= 90^\circ なら BB は CACA を直径とする円の上)。3 辺の垂直二等分線を作図すると、斜辺 CACA の垂直二等分線が CACA と交わる点、つまり CACA の中点で 3 本が交わります。

よって OO は辺 CACA の中点、RR=CA2{}= \dfrac{CA}{2}=5‾{}= \underline{5}。

直角三角形なら、垂直二等分線を 1 本(斜辺の)引くだけで外心が求まります。

自己採点:
記録を読み込み中…

問8 ★

線分 ABAB が与えられています。∠BAP\angle BAP=30∘{}= 30^\circ となる半直線 APAP を作図する手順を示しなさい。

つまずいたときは:
答えを見る
答え

ABAB を 1 辺とする正三角形 ABCABC をかき、∠BAC\angle BAC=60∘{}= 60^\circ を二等分する(ABAB の両側に 1 本ずつかける)

解説

手順

  1. AA を中心に半径 ABAB の円、BB を中心に半径 BABA の円をかき、交点の 1 つを CC とする。
  2. ∠BAC\angle BAC の二等分線を作図し(公式1 (2))、それを半直線 APAP とする。

理由 ABAB=AC{}= AC(AA を中心とする円の半径)、BABA=BC{}= BC(BB を中心とする円の半径)なので、△ABC\triangle ABC は正三角形で ∠BAC\angle BAC=60∘{}= 60^\circ。その二等分線なので ∠BAP\angle BAP=30∘{}= 30^\circ。(証明終)

CC は直線 ABAB のどちら側にもとれるので、条件を満たす半直線は ABAB の両側に 1 本ずつあります。さらに二等分をくり返せば 15∘15^\circ,7.5∘7.5^\circ,… も作図できます。

自己採点:
記録を読み込み中…

問9 ★★

長さ 88 の線分 ABAB があります。PA:PBPA : PB=3:1{}= 3 : 1 を満たす点 PP 全体(アポロニウスの円)を作図するため、ABAB を 3:13 : 1 に内分する点 DD と外分する点 EE を作図し、DEDE を直径とする円をかきます。ADAD,AEAE の長さと、この円の中心の AA からの距離、半径を求めなさい。

つまずいたときは:
答えを見る
答え

ADAD=6{}= 6,AEAE=12{}= 12,中心は AA から 99,半径 33

解説

AD:DBAD : DB=3:1{}= 3 : 1 なので ADAD=34×8{}= \dfrac{3}{4} \times 8=6‾{}= \underline{6}。

外分点 EE は BB の先にあり、AE:EBAE : EB=3:1{}= 3 : 1 なので AEAE=3k{}= 3k,EBEB=k{}= k とおくと、差が全体で 3k3k−k{}- k=8{}= 8、kk=4{}= 4。よって AEAE=12‾{}= \underline{12}。

直径 DEDE=AE{}= AE−AD{}- AD=12{}= 12−6{}- 6=6{}= 6 なので半径は 3‾\underline{3}。中心は DEDE の中点で、AA からの距離は

AD+AE2\displaystyle \frac{AD + AE}{2}=6+122\displaystyle {}= \frac{6 + 12}{2}=9‾\displaystyle {}= \underline{9}

確かめ:円と直線 ABAB の交点 DD では DA:DBDA : DB=6:2{}= 6 : 2=3:1{}= 3 : 1、EE では EA:EBEA : EB=12:4{}= 12 : 4=3:1{}= 3 : 1。どちらも条件を満たしています。作図では公式2 で C2C_2,C3C_3,C4C_4 を使い(内分は C4C_4 と BB、外分は C2C_2 と BB を結び、どちらも C3C_3 を通る平行線を引く)、DEDE の中点は垂直二等分線で求めます。

自己採点:
記録を読み込み中…

問10 ★★

△ABC\triangle ABC の重心 GG を、中線を 1 本だけ使って作図する手順を示しなさい。また、その点が重心である理由を示しなさい。

つまずいたときは:
答えを見る
答え

BCBC の中点 MM を作図し、中線 AMAM を 2:12 : 1 に内分する点を公式2 で作図する

解説

手順

  1. 辺 BCBC の垂直二等分線を作図し、BCBC との交点を MM とする(MM は BCBC の中点)。
  2. AA と MM を結ぶ。
  3. AA から半直線 AXAX を引き、等間隔に C1C_1,C2C_2,C3C_3 をとる。C3C_3 と MM を結び、C2C_2 を通って C3MC_3M に平行な直線を引く。AMAM との交点を GG とする。

理由 手順 3 は公式2 (1) で mm=2{}= 2,nn=1{}= 1 としたものなので、AG:GMAG : GM=2:1{}= 2 : 1。第2章 公式4 より、重心は中線を頂点側から 2:12 : 1 に内分する点です。AMAM は中線なので、GG は重心です。(証明終)

中線を 2 本引いて交点をとる方法に比べ、中点を 1 つ求めるだけで済みます。

自己採点:
記録を読み込み中…

問11 ★★

長さ 1010 の線分 ABAB を直径とする半円と、直線 ABAB から距離 44 にあって ABAB に平行な直線の交点の 1 つを DD とし、DD から ABAB に下ろした垂線の足を CC とします。ACAC<CB{}< CB のとき、ACAC の長さを求めなさい。

つまずいたときは:
答えを見る
答え

ACAC=2{}= 2

解説

ACAC=x{}= x とおくと CBCB=10{}= 10−x{}- x,CDCD=4{}= 4。公式4 より CD2CD^2=AC⋅CB{}= AC \cdot CB なので

16\displaystyle 16=x(10−x)\displaystyle {}= x(10 - x)⟹x2\displaystyle {}\Longrightarrow\quad x^2−10x\displaystyle {}- 10x+16\displaystyle {}+ 16=0\displaystyle {}= 0⟹(x−2)(x−8)\displaystyle {}\Longrightarrow\quad (x - 2)(x - 8)=0\displaystyle {}= 0

ACAC<CB{}< CB より xx<5{}< 5 なので ACAC=2‾{}= \underline{2}(もう 1 つの交点では ACAC=8{}= 8)。

和が 1010、積が 1616 の 2 数 22,88 が、半円と平行線の交点で一度に作図できました。和が pp、積が q2q^2 の 2 数——二次方程式 x2x^2−px{}- px+q2{}+ q^2=0{}= 0 の 2 つの解——は、この方法で作図できます。半円の半径 p2\dfrac{p}{2} が qq 以上でないと交点ができません。この条件 pp≧2q{}\geqq 2q は、実数解をもつ条件 p2p^2−4q2{}- 4q^2≧0{}\geqq 0 と同じです。

自己採点:
記録を読み込み中…

問12 ★★

ABAB=AC{}= AC=5{}= 5,BCBC=6{}= 6 の △ABC\triangle ABC の内接円を例題1 の手順で作図します。内心 II から BCBC に下ろした垂線の足 DD はどんな点かを答え、内接円の半径を求めなさい。

つまずいたときは:
答えを見る
答え

DD は BCBC の中点、半径 32\dfrac{3}{2}

解説

二等辺三角形では、頂角 AA の二等分線は底辺 BCBC の垂直二等分線と一致し、内心 II はその上にあります。よって II から BCBC への垂線の足 DD は BC の中点‾\underline{BC\ \text{の中点}} です。

ADAD=52−32{}= \sqrt{5^2 - 3^2}=4{}= 4 なので、面積は SS=12×6×4{}= \dfrac{1}{2} \times 6 \times 4=12{}= 12。内接円の半径を rr とすると、SS=12r(a+b+c){}= \dfrac{1}{2}r(a + b + c)(第2章)より

12\displaystyle 12=12r(5+5+6)\displaystyle {}= \frac{1}{2} r (5 + 5 + 6)=8r\displaystyle {}= 8r⟹r\displaystyle {}\Longrightarrow\quad r=32‾\displaystyle {}= \underline{\frac{3}{2}}

別解:∠B\angle B の二等分線は ADAD を BA:BDBA : BD=5:3{}= 5 : 3 に分ける(第1章 公式3)ので、IDID=38×4{}= \dfrac{3}{8} \times 4=32{}= \dfrac{3}{2}。

自己採点:
記録を読み込み中…

問13 ★★

円周上の点 AA における接線を、円の中心を使わずに作図します。円周上に AA と異なる 2 点 BB,CC をとり、直線 ABAB について CC と反対側に、∠BAT\angle BAT=∠ACB{}= \angle ACB となる半直線 ATAT を作図しました。直線 ATAT が AA における接線であることを示しなさい。

つまずいたときは:
答えを見る
答え

AA における接線 AT′AT'(T′T' は直線 ABAB について CC と反対側)は接弦定理で ∠BAT′\angle BAT'=∠ACB{}= \angle ACB を満たすので、AT′AT' と ATAT は一致する

解説

AA における接線を引き、その上で直線 ABAB について CC と反対側の点を T′T' とします。接弦定理(第5章 公式3)より

∠BAT′\displaystyle \angle BAT'=∠ACB\displaystyle {}= \angle ACB

仮定より ∠BAT\angle BAT=∠ACB{}= \angle ACB なので ∠BAT′\angle BAT'=∠BAT{}= \angle BAT。半直線 AT′AT' と ATAT は、どちらも直線 ABAB について同じ側(CC と反対側)にあって、半直線 ABAB と同じ角をなすので一致します。よって直線 ATAT は AA における接線です。(証明終)

∠ACB\angle ACB を AA のところへ写すには、例題6 の手順 1 と同じく、角を作る三角形を 3 辺の長さで写します。この方法は「接弦定理の逆」を作図に使ったものです。

自己採点:
記録を読み込み中…

問14 ★★

BCBC=a{}= a、中線 AMAM=m{}= m(MM は BCBC の中点)、AA から直線 BCBC までの距離 hh が与えられた △ABC\triangle ABC を作図します。

(1) 作図の手順を示しなさい。

(2) aa=8{}= 8,mm=5{}= 5,hh=4{}= 4 のとき、ABAB と ACAC の長さを求めなさい(ABAB>AC{}> AC とする)。

(3) この三角形が作図できるための、mm と hh の条件を求めなさい。

つまずいたときは:
答えを見る
答え

(1) MM を中心に半径 mm の円と、BCBC から距離 hh の平行線の交点を AA とする (2) ABAB=65{}= \sqrt{65},ACAC=17{}= \sqrt{17} (3) hh≦m{}\leqq m

解説

(1) 解析 AA は「MM からの距離が mm」(円)と「直線 BCBC からの距離が hh」(平行線)の 2 つの条件を満たします。

手順

  1. 線分 BCBC=a{}= a をかき、垂直二等分線で中点 MM を求める。
  2. MM を中心に半径 mm の円をかく。
  3. MM を通り BCBC に垂直な直線上に MKMK=h{}= h となる点 KK をとり、KK を通り BCBC に平行な直線 ℓ\ell を引く。
  4. 円と ℓ\ell の交点を AA とし、ABAB,ACAC を結ぶ。

AA は円の上にあるので AMAM=m{}= m、ℓ\ell の上にあるので直線 BCBC からの距離は hh です。

(2) MM を原点とし、BCBC を横軸にとると B(−4,0)B(-4, 0),C(4,0)C(4, 0)、AA は高さ 44 で MAMA=5{}= 5 なので、横の位置は ±25−16\pm\sqrt{25 - 16}=±3{}= \pm 3。ABAB>AC{}> AC より A(3,4)A(3, 4) です。

AB\displaystyle AB=72+42\displaystyle {}= \sqrt{7^2 + 4^2}=65‾,\displaystyle {}= \underline{\sqrt{65}},AC\displaystyle AC=12+42\displaystyle {}= \sqrt{1^2 + 4^2}=17‾\displaystyle {}= \underline{\sqrt{17}}

(3) 吟味 円(半径 mm、中心は直線 BCBC 上)と、BCBC から距離 hh の平行線が共有点をもつのは、中心 MM から平行線までの距離 hh が半径以下のとき(第5章 公式1)なので、h≦m‾\underline{h \leqq m}。hh<m{}< m なら交点は 2 つ(互いに BCBC の垂直二等分線について対称で、合同な三角形)、hh=m{}= m なら 1 つで、そのとき AMAM⊥BC{}\perp BC となり ABAB=AC{}= AC の二等辺三角形です。

自己採点:
記録を読み込み中…

問15 ★★

長さ 11 の線分が与えられています。長さ 24\sqrt[4]{2}(2 乗すると 2\sqrt{2} になる正の数)の線分を作図する手順を示しなさい。

つまずいたときは:
答えを見る
答え

直角二等辺三角形で 2\sqrt{2} を作り、公式4 で ACAC=2{}= \sqrt{2},CBCB=1{}= 1 として CDCD=2{}= \sqrt{\sqrt{2}}

解説

手順

  1. 長さ 11 の線分 PQPQ をかき、QQ で PQPQ に垂直な直線を引いて QRQR=1{}= 1 をとる。直角二等辺三角形 PQRPQR の斜辺は PRPR=2{}= \sqrt{2}。
  2. 直線上に ACAC=PR{}= PR=2{}= \sqrt{2}(コンパスで写す)、続けて CBCB=1{}= 1 をとる。
  3. ABAB を直径とする円と、CC を通り ABAB に垂直な直線の交点を DD とする。

理由 公式4 より

CD\displaystyle CD=AC⋅CB\displaystyle {}= \sqrt{AC \cdot CB}=2×1\displaystyle {}= \sqrt{\sqrt{2} \times 1}=24\displaystyle {}= \sqrt[4]{2}

(証明終)

平方根を 2 回とったので「4 乗根」まで届きました。同じように平方根を kk 回くり返せば 2k2^k 乗根が作図できます。一方、23\sqrt[3]{2} はどう工夫しても作図できません(公式6)。

自己採点:
記録を読み込み中…

問16 ★★

1 辺 ss の正方形と同じ面積で、1 辺が aa の長方形を作図します(単位の長さは与えられていません)。

(1) もう 1 辺 xx は a:sa : s=s:x{}= s : x を満たすことを示し、長さ xx の線分を平行線で作図する手順を示しなさい。

(2) aa=4{}= 4,ss=6{}= 6 のとき xx を求めなさい。

つまずいたときは:
答えを見る
答え

(1) axax=s2{}= s^2 から。OXOX 上に OAOA=a{}= a,OSOS=s{}= s、OYOY 上に OS′OS'=s{}= s をとり、SS を通り AS′AS' に平行な直線と OYOY の交点を CC とすると OCOC=x{}= x (2) xx=9{}= 9

解説

(1) 面積が等しいので axax=s2{}= s^2、両辺を asas で割ると xs\dfrac{x}{s}=sa{}= \dfrac{s}{a}、すなわち a:sa : s=s:x{}= s : x です。

手順

  1. 点 OO から 2 本の半直線 OXOX,OYOY を引く。
  2. OXOX 上に OAOA=a{}= a,OSOS=s{}= s、OYOY 上に OS′OS'=s{}= s をとる。
  3. AA と S′S' を結び、SS を通り AS′AS' に平行な直線と OYOY の交点を CC とする。

理由 AS′AS'∥SC{}\parallel SC なので OA:OSOA : OS=OS′:OC{}= OS' : OC、すなわち a:sa : s=s:OC{}= s : OC。よって OCOC=x{}= x。(証明終)

公式3 (2) の「11」の位置に aa を置いたものです。比例式 a:ba : b=c:x{}= c : x の xx(第四比例項)は、単位の長さがなくても作図できます。

(2) xx=s2a{}= \dfrac{s^2}{a}=364{}= \dfrac{36}{4}=9‾{}= \underline{9}。確かめると 4×94 \times 9=36{}= 36=62{}= 6^2 です。

自己採点:
記録を読み込み中…

問17 ★★★

半径 rr の円 OO と半径 r′r' の円 O′O'(rr>r′{}> r')が互いに外部にあります。

(1) 共通外接線を次の方針で作図する手順を示しなさい。「OO を中心に半径 rr−r′{}- r' の円をかき、O′O' からこの円に接線を引いて、それを平行移動する」

(2) rr=6{}= 6,r′r'=1{}= 1,OO′OO'=13{}= 13 のとき、(1) の補助の円の半径と、共通外接線の接点間の長さを求めなさい。

つまずいたときは:
答えを見る
答え

(1) 補助の円への接点 HH をとり、半直線 OHOH と円 OO の交点 SS、O′O' を通り OSOS に平行な半径の端 S′S'(SS と同じ向き)を結ぶ (2) 補助の円の半径 55,接点間の長さ 1212

解説

(1) 手順

  1. OO を中心に半径 rr−r′{}- r' の円 KK をかく(半径の差は、公式3 (1) の要領でコンパスで作る)。
  2. O′O' から円 KK に接線を引き(公式5 (2))、接点の 1 つを HH とする。
  3. 半直線 OHOH と円 OO の交点を SS とする。
  4. O′O' を通り OSOS に平行な直線を引き(公式1 (4))、O′O' から OSOS と同じ向きに進んで円 O′O' と交わる点を S′S' とする。
  5. 直線 SS′SS' が共通外接線。もう 1 つの接点をとれば 2 本目が得られる。

理由 HSHS=OS{}= OS−OH{}- OH=r{}= r−(r−r′){}- (r - r')=r′{}= r' で、O′S′O'S'=r′{}= r'。HSHS と O′S′O'S' は平行で同じ向き、長さも等しいので、四角形 HSS′O′HSS'O' は平行四辺形です。さらに ∠OHO′\angle OHO'=90∘{}= 90^\circ より ∠SHO′\angle SHO'=90∘{}= 90^\circ なので、長方形になります。したがって SS′SS'⊥OS{}\perp OS,SS′SS'⊥O′S′{}\perp O'S' で、第5章 公式1 の逆より直線 SS′SS' は両方の円に接します。(証明終)

(2) rr+r′{}+ r'=7{}= 7<13{}< 13 なので、2 円はたしかに互いに外部にあります。補助の円の半径は rr−r′{}- r'=5‾{}= \underline{5}。長方形なので SS′SS'=HO′{}= HO' で、直角三角形 OHO′OHO' より

SS′\displaystyle SS'=HO′\displaystyle {}= HO'=OO′2−OH2\displaystyle {}= \sqrt{OO'^2 - OH^2}=169−25\displaystyle {}= \sqrt{169 - 25}=12‾\displaystyle {}= \underline{12}

第5章 公式6 の d2−(r−r′)2\sqrt{d^2 - (r - r')^2} と一致します。共通内接線は、補助の円の半径を rr+r′{}+ r' にし、S′S' を OSOS と逆の向きにとれば同じように作図できます。

自己採点:
記録を読み込み中…

問18 ★★★

1 辺の長さ 11 の正五角形 ABCDEABCDE で、対角線 ACAC と BEBE の交点を FF とし、対角線の長さを dd とします。

(1) △ABF∽△CEF\triangle ABF \backsim \triangle CEF と CFCF=CB{}= CB を用いて、dd を求めなさい。

(2) 長さ 11 の線分 ABAB が与えられたとき、正五角形 ABCDEABCDE を作図する手順を示しなさい。

つまずいたときは:
答えを見る
答え

(1) dd=1+52{}= \dfrac{1 + \sqrt{5}}{2} (2) 長さ dd を作図し、AA,BB を中心とする半径 dd と 11 の円の交点から CC,DD,EE を決める

解説

(1) 正五角形の 1 つの内角は 108∘108^\circ。△ABC\triangle ABC,△BAE\triangle BAE は頂角 108∘108^\circ の二等辺三角形なので、底角は 36∘36^\circ で

∠BAC\displaystyle \angle BAC=∠ABE\displaystyle {}= \angle ABE=36∘,\displaystyle {}= 36^\circ,∠CBF\displaystyle \angle CBF=108∘−36∘\displaystyle {}= 108^\circ - 36^\circ=72∘\displaystyle {}= 72^\circ

△BCF\triangle BCF で ∠BCF\angle BCF=∠BCA{}= \angle BCA=36∘{}= 36^\circ なので ∠BFC\angle BFC=180∘−36∘−72∘{}= 180^\circ - 36^\circ - 72^\circ=72∘{}= 72^\circ。よって ∠CBF\angle CBF=∠CFB{}= \angle CFB で、CFCF=CB{}= CB=1{}= 1 です。

ABAB∥EC{}\parallel EC(正五角形の辺と、それに向かい合う対角線は平行)なので、△ABF∽△CEF\triangle ABF \backsim \triangle CEF で、相似比は AB:CEAB : CE=1:d{}= 1 : d。AFAF=AC{}= AC−CF{}- CF=d{}= d−1{}- 1,CFCF=1{}= 1 より

AF:CF\displaystyle AF : CF=1:d\displaystyle {}= 1 : d⟹(d−1):1\displaystyle {}\Longrightarrow\quad (d - 1) : 1=1:d\displaystyle {}= 1 : d⟹d2\displaystyle {}\Longrightarrow\quad d^2−d\displaystyle {}- d−1\displaystyle {}- 1=0\displaystyle {}= 0

dd>0{}> 0 より dd=1+52‾{}= \underline{\dfrac{1 + \sqrt{5}}{2}}。

(2) 手順

  1. 長さ 11 から、例題4 (2) の方法で 5\sqrt{5} を作図し、それに 11 を継ぎ足して 11+5{}+ \sqrt{5}、その垂直二等分線で半分にして長さ dd の線分を作る。
  2. BB を中心に半径 dd、AA を中心に半径 11 の円をかき、交点の 1 つを EE とする。
  3. AA を中心に半径 dd、BB を中心に半径 11 の円をかき、交点のうち直線 ABAB について EE と同じ側のものを CC とする。
  4. CC,EE を中心に半径 11 の円をかき、交点のうち直線 ABAB から遠いほうを DD とする。

正五角形 ABCDEABCDE はたしかに AEAE=BC{}= BC=CD{}= CD=DE{}= DE=1{}= 1、BEBE=AC{}= AC=d{}= d を満たします。3 辺が決まった三角形は合同なので、この条件で頂点の位置はただ 1 通りに決まり、作図した五角形は正五角形です。平方根を 1 回使うだけで、正五角形がかけました。

自己採点:
記録を読み込み中…

問19 ★★★

ABAB>AC{}> AC の △ABC\triangle ABC で、∠A\angle A の二等分線と辺 BCBC の交点を DD、∠A\angle A の外角の二等分線と直線 BCBC の交点を EE とします。

(1) DEDE を直径とする円が AA を通ることを示しなさい。

(2) ABAB=6{}= 6,ACAC=4{}= 4,BCBC=5{}= 5 のとき、BDBD,BEBE の長さと、(1) の円の半径を求めなさい。

つまずいたときは:
答えを見る
答え

(1) ∠DAE\angle DAE=90∘{}= 90^\circ と直径に対する円周角の逆 (2) BDBD=3{}= 3,BEBE=15{}= 15,半径 66

解説

(1) ∠BAC\angle BAC の大きさを 2θ2\theta とすると、外角は 180∘−2θ180^\circ - 2\theta です。ADAD,AEAE はそれぞれの二等分線なので

∠DAE\displaystyle \angle DAE=θ\displaystyle {}= \theta+180∘−2θ2\displaystyle {}+ \frac{180^\circ - 2\theta}{2}=90∘\displaystyle {}= 90^\circ

(第1章 公式4 の「内角と外角の二等分線は直交する」)。第4章 公式2 の逆より、AA は DEDE を直径とする円の上にあります。(証明終)

(2) 第1章 公式3・公式4 より、DD は BCBC を AB:ACAB : AC=3:2{}= 3 : 2 に内分し、EE は 3:23 : 2 に外分します。

BD\displaystyle BD=35×5\displaystyle {}= \frac{3}{5} \times 5=3‾\displaystyle {}= \underline{3}

ABAB>AC{}> AC なので EE は CC の外側にあり、BE:ECBE : EC=3:2{}= 3 : 2。BEBE=3k{}= 3k,ECEC=2k{}= 2k とおくと差が全体で kk=5{}= 5、BEBE=15‾{}= \underline{15}。

DEDE=BE{}= BE−BD{}- BD=15{}= 15−3{}- 3=12{}= 12 なので、半径は 6‾\underline{6}。

この円は、PB:PCPB : PC=3:2{}= 3 : 2 となる点 PP 全体(アポロニウスの円)でもあります。AA はたしかに AB:ACAB : AC=6:4{}= 6 : 4=3:2{}= 3 : 2 を満たし、その円の上にあります。第3章 例題4 で見た DD,EE の配置を作図で確かめると、AA を通る円が 1 つかけるわけです。

自己採点:
記録を読み込み中…

問20 ★★★

直線 ℓ\ell と、ℓ\ell について同じ側にある 2 点 AA,BB が与えられ、直線 ABAB は ℓ\ell と点 OO で交わっています(OO,AA,BB の順)。AA,BB を通り ℓ\ell に接する円を作図します。

(1) 接点を TT とするとき、OTOT の長さを OAOA,OBOB で表し、円を作図する手順を示しなさい。

(2) OAOA=2{}= 2,OBOB=8{}= 8 で、ABAB⊥ℓ{}\perp \ell のとき、OTOT と円の半径を求めなさい。また、条件を満たす円はいくつあるかを求めなさい。

つまずいたときは:
答えを見る
答え

(1) OTOT=OA⋅OB{}= \sqrt{OA \cdot OB}。OA⋅OB\sqrt{OA \cdot OB} を公式4 で作図し、ℓ\ell 上に OTOT をとって、TT を通る ℓ\ell の垂線と ABAB の垂直二等分線の交点を中心とする (2) OTOT=4{}= 4,半径 55,円は 22 つ

解説

(1) 解析 OO は直線 ABAB 上で線分 ABAB の外部にあり、ℓ\ell は OO から円に引いた接線です。方べきの定理(第5章 公式4 (iii))より

OT2\displaystyle OT^2=OA⋅OB\displaystyle {}= OA \cdot OB⟹OT\displaystyle {}\Longrightarrow\quad OT=OA⋅OB\displaystyle {}= \sqrt{OA \cdot OB}

手順

  1. 公式4 で ACAC=OA{}= OA,CBCB=OB{}= OB として、長さ OA⋅OB\sqrt{OA \cdot OB} の線分を作図する。
  2. ℓ\ell 上に、OO からその長さの点 TT をとる。
  3. TT を通り ℓ\ell に垂直な直線と、ABAB の垂直二等分線の交点を KK とし、KK を中心に半径 KTKT の円をかく。

証明 KK は ABAB の垂直二等分線上にあるので KAKA=KB{}= KB。AA,BB,TT を通る円を考えると、OT2OT^2=OA⋅OB{}= OA \cdot OB なので、第5章 公式5 (2)(方べきの定理の逆)より直線 OTOT,つまり ℓ\ell はこの円に TT で接します。接線は接点を通る半径に垂直なので、この円の中心は TT を通る ℓ\ell の垂線上にあり、弦 ABAB の垂直二等分線上にもあるので KK に一致します。よって KK を中心に半径 KTKT の円は AA,BB を通り、ℓ\ell に TT で接します。(証明終)

(2) OTOT=2×8{}= \sqrt{2 \times 8}=4‾{}= \underline{4}。

ABAB⊥ℓ{}\perp \ell なので、OO を原点、ℓ\ell を横軸、直線 ABAB を縦軸にとると A(0,2)A(0, 2),B(0,8)B(0, 8),T(±4,0)T(\pm 4, 0)。中心 KK は xx=±4{}= \pm 4 と yy=2+82{}= \dfrac{2 + 8}{2}=5{}= 5 の交点 (±4,5)(\pm 4, 5) なので、半径は KTKT=5‾{}= \underline{5}。

確かめ:KA2KA^2=42{}= 4^2+(5−2)2{}+ (5 - 2)^2=25{}= 25。

TT は ℓ\ell 上で OO の両側にとれるので、条件を満たす円は 2‾\underline{2} つです(ABAB⊥ℓ{}\perp \ell のときは、直線 ABAB について対称な 2 つの円)。第5章 例題4 の「棒がいちばん大きく見える位置」は、このうちの 1 つを、作図の立場から求めたものです。

自己採点:
記録を読み込み中…

数学小話コーナー

定規はいらない?——コンパスだけの作図

この章では定規とコンパスの 2 つを使いました。では、定規を取り上げられたら、どこまでかけるでしょうか。コンパスだけでは直線が引けないので、ほとんど何もできない気がします。

ところが 1797 年、イタリアの数学者ロレンツォ・マスケローニは『コンパスの幾何学』という本で、驚くべき主張をしました。定規とコンパスで作図できる点は、すべてコンパスだけで作図できるというのです。直線そのものは引けなくても、直線は「2 点で決まるもの」として扱えばよく、必要なのは直線と円の交点や、2 直線の交点です。マスケローニは、それらの交点をすべて円と円の交点だけで求める方法を示しました。

この結果は、のちに「マスケローニ・モールの定理」と呼ばれるようになります。1928 年、デンマークの数学者が古本屋で、1672 年にゲオルク・モールという人物が出版した『デンマークのユークリッド』を見つけ、同じ結果が 125 年も前に証明されていたことが分かったのです(※発見の経緯には諸説あります)。

マスケローニはこの本をナポレオンに献じました。ナポレオン自身も幾何学を好み、フランスの数学者たちに「コンパスだけで、与えられた円の中心を求めよ」という問題を出したと伝えられます。今も「ナポレオンの問題」と呼ばれています(※本当にナポレオンが出題したかは確かではありません)。この章の j06 では定規も使って中心を求めましたが、コンパスだけでもできるのです。第2章の小話で紹介した「ナポレオンの定理」と合わせて、幾何学好きの皇帝の話が 2 つそろいました。

豆知識

逆に「コンパスを取り上げて、定規だけ」にするとどうなるでしょう。定規だけでは長さを写せないので、平方根は作図できません。ところが、紙の上に円が 1 つと、その中心がかかれていれば、あとは定規だけで、定規とコンパスでできる作図がすべてできます。フランスのポンスレが 1822 年ごろに予想し、スイスのシュタイナーが 1833 年に証明したとされます(※年には諸説あります)。コンパスは、最初に 1 回だけ使えば十分というわけです。

折り紙なら角を 3 等分できる

三角比と三角関数の分野(第10章の厳密定義ページ)で、「定規とコンパスでは、角を 3 等分する作図はできない」ことに触れました。古代ギリシャ以来の難問が、19 世紀に「できない」と決着したのです。

ところが、道具を折り紙に変えると話が変わります。紙を折る操作には、「点 PP を直線 ℓ\ell に、同時に点 QQ を直線 mm に重ねるように折る」というものがあります。この折り方は、実は 3 次方程式を解くのと同じ力をもっていて、定規とコンパス(2 次方程式まで)より強いのです。

日本の阿部恒は、1980 年ごろ、正方形の紙を数回折るだけでどんな鋭角も 3 等分できる方法を発表しました(※発表の時期や媒体には諸説あります)。紙の下辺と、3 等分したい角の辺を用意し、平行な折り目を 2 本つけてから、「2 つの点を 2 本の線に同時に合わせる」折りを 1 回行うと、3 等分の線が現れます。立方体の体積を 2 倍にする辺の長さ 23\sqrt[3]{2} も、1986 年に折り紙で作れることが示されました(※ペーター・メッセールによるとされます)。

定規とコンパスでは届かない長さに、紙 1 枚で届く。「何ができるか」は、使ってよい道具の約束で決まる——作図の問題は、いつもこの約束の上に立っています。

豆知識

折り紙を使った数学の遊びに「芳賀の定理」があります。正方形の紙の右下の角を、上の辺の中点に重なるように折ると、折り返された下の辺が、左の辺を上から 2:12 : 1 に分ける点を通ります。定規なしで、1 回折るだけで 13\dfrac{1}{3} の点が見つかるのです。生物学者の芳賀和夫が 1970 年代の終わりごろに見つけたとされ、「折り紙数学」の入門として親しまれています(※発見の年には諸説あります)。

閉じてしまうコンパスと、錆びたコンパス

この章では、コンパスで「長さを写しとって、別の場所に同じ長さをとる」ことを当たり前に使いました。ところが、ユークリッドの『原論』は、この操作を当たり前とはしていません。

『原論』第1巻の最初の作図は、命題1「線分を 1 辺とする正三角形をかく」です。その次の命題2 が、「与えられた点に、与えられた線分と等しい長さの線分を置く」。わざわざ正三角形を使って長さを移す手順が書いてあります。このことから、ユークリッドのコンパスは紙から持ち上げると脚が閉じてしまう「閉じるコンパス」で、開いたまま運ぶことは許されていなかった、と解釈されています(※ユークリッド自身がそう意図したかは分かりません)。命題2 のおかげで、「閉じるコンパス」でも長さは運べることになり、現代のコンパスと同じ力をもつと分かります。この証明は厳密定義ページで紹介します。

反対に、開き具合が変えられない「錆びたコンパス」の作図を考えた人もいます。10 世紀ペルシアの学者アブル・ワファーは、決まった開きのコンパスと定規だけで、さまざまな作図を工夫したと伝えられます(※どこまで体系的だったかには諸説あります)。現代では、錆びたコンパスと定規でも、2 点が与えられれば、ふつうの定規とコンパスでできる作図がすべてできることが分かっています。

道具を不自由にしても、工夫しだいで同じところまで届く。第1の小話のコンパスだけの作図と同じく、作図の世界では「何を使わずに済むか」も立派な研究テーマなのです。

豆知識

日本の大工さんが使う L 字形の物差し「差し金(さしがね)」には、表の目盛り(表目)のほかに、裏に 2\sqrt{2} 倍の間隔の目盛り(裏目)が刻まれているものがあります。丸太の直径を裏目で測ると、読んだ数値が、その丸太から切り出せるいちばん大きな正方形の角材の 1 辺になります。直径が正方形の対角線にあたり、対角線は 1 辺の 2\sqrt{2} 倍だからです。例題4 で三平方を使って 5\sqrt{5} をかいたのと同じ考え方が、道具の目盛りに刻み込まれています。

厳密定義(発展)

※ここは発展ページです。高校の範囲では「公式1〜6 の手順を書け、その根拠を説明できること」で十分ですが、「作図とは正確には何をしてよいのか」「コンパスで長さを運ぶのは本当に許されるのか」「基本作図の円は必ず交わるのか」「作図できる長さはなぜ四則と平方根で書けるものに限られるのか」が気になる人のために、この章の土台を組み立て直します。第1章の平行線と線分の比、第2章の垂直二等分線、第5章の 2 円の位置関係(厳密定義 定理7)を使います。

定義1:作図の約束(作図の公法)

平面上に、はじめにいくつかの点が与えられているとする。次の操作で得られるものを、作図できる直線・円・点という。

  1. 作図できる 2 点を通る直線を引く。
  2. 作図できる点 OO を中心とし、作図できる点 AA を通る円をかく。
  3. 作図できる直線・円のうち 2 つの交点を、新しい作図できる点とする。

これらの操作を有限回くり返して得られる点だけが作図できる点であり、長さ rr が作図できるとは、距離が rr の作図できる 2 点があることをいう。

定義1 の 2. では、円の半径を「中心から、作図できる点 AA までの距離」としか指定できません。離れた線分 BCBC の長さをコンパスで運んで、OO を中心に半径 BCBC の円をかく操作は、定義にはふくまれていないのです。これが、小話3 の「閉じるコンパス」です。次の定理1 は、その操作が定義1 の中でも実行できることを示します。

定理1:閉じるコンパスでも長さは運べる(原論 第1巻 命題2)

作図できる点 OO と、作図できる 2 点 BB,CC が与えられたとき、OO を中心とする半径 BCBC の円は、定義1 の操作だけで作図できる。

証明 OO=B{}= B ならば、中心 BB で CC を通る円をかけばよい。OO≠B{}\ne B とする。

OO を中心に BB を通る円と、BB を中心に OO を通る円をかき、交点の 1 つを DD とする。DODO=OB{}= OB,DBDB=BO{}= BO なので △DOB\triangle DOB は正三角形である(2 円が交わることは定理2 で示す)。

BB を中心に CC を通る円をかき、直線 DBDB との交点のうち、DD から見て BB の先にあるものを GG とする。BGBG=BC{}= BC である。

DD を中心に GG を通る円をかき、直線 DODO との交点のうち、DD から見て OO の先にあるものを LL とする。DLDL=DG{}= DG である。

このとき

OL\displaystyle OL=DL\displaystyle {}= DL−DO\displaystyle {}- DO=DG\displaystyle {}= DG−DB\displaystyle {}- DB=BG\displaystyle {}= BG=BC\displaystyle {}= BC

(DODO=DB{}= DB を使った)。よって OO を中心に LL を通る円が、半径 BCBC の円である。(証明終)

DLDL=DG{}= DG>DB{}> DB=DO{}= DO なので、LL はたしかに DD から見て OO の先にあります。定理1 のおかげで、以後は「コンパスで長さを写す」操作を自由に使ってかまいません。

定理2:基本作図が必ず実行できること

(1) 異なる 2 点 AA,BB を中心とする半径 rr の 2 円は、rr>12AB{}> \frac{1}{2}AB のとき、直線 ABAB について反対側にある 2 点で交わる。

(2) 公式1 (2) の作図で、PP,QQ を中心とする円の半径を 12PQ\frac{1}{2}PQ より大きくとれば交点がある。∠XOY\angle XOY<180∘{}< 180^\circ のとき、その交点のうち OO から遠いほうを RR とすると、RR は ∠XOY\angle XOY の内部にあり、OROR は ∠XOY\angle XOY を 2 等分する。

証明 (1) 2 円の半径は等しく rr=r′{}= r' で、中心間の距離 dd=AB{}= AB は 00=r{}= r−r′{}- r'<d{}< d<2r{}< 2r=r{}= r+r′{}+ r' を満たす。第5章の厳密定義 定理7 (1) より、2 円はちょうど 2 点で交わり、その 2 点は直線 ABAB について対称(反対側)にある。

(2) (1) より、PP,QQ を中心とする 2 円は、直線 PQPQ について反対側の 2 点 RR,R′R' で交わる。RR,R′R' は PRPR=QR{}= QR などより、線分 PQPQ の垂直二等分線 mm の上にある。OPOP=OQ{}= OQ なので OO も mm の上にあり、mm は △OPQ\triangle OPQ の頂角 OO の二等分線である(二等辺三角形の頂角の二等分線は底辺の垂直二等分線)。

mm 上の点のうち、直線 PQPQ について OO と反対側にあるものは、線分 PQPQ の中点 NN の先、すなわち半直線 ONON 上にあり、∠XOY\angle XOY の内部にある。RR,R′R' の一方はその側にあり、それが OO から遠いほうである。この点を RR とすれば、△OPR\triangle OPR≡△OQR{}\equiv \triangle OQR(3 辺相等)より ∠POR\angle POR=∠QOR{}= \angle QOR。(証明終)

(2) で「OO から遠いほう」を選ぶのは、もう一方の交点 R′R' が OO と同じ側にあり、半径の大きさによっては OO の後ろ側(角の外)に出てしまうからです。実践問題 j01 で「∠XOY\angle XOY の内部にあるもの」と指定したのはこのためです。

定理3:作図できる長さは四則と平方根で閉じている

長さ 11 の線分が与えられているとする。aa,bb が作図できる長さならば、次の長さも作図できる。

a\displaystyle a+b,\displaystyle {}+ b,∣a−b∣ (a≠b),\displaystyle |a - b| \ (a \ne b),ab,\displaystyle ab,ab,\displaystyle \frac{a}{b},a\displaystyle \sqrt{a}

証明 和と差は、直線上にコンパスで長さを並べて(定理1)得られる。

積:点 OO から異なる 2 本の半直線を引き(1 本は 11 の線分を延ばしたもの、もう 1 本は OO で立てた垂線を使えばよい)、公式3 (2) の作図を行う。平行線は公式1 (4) で引ける。EBEB∥AC{}\parallel AC より、平行線と線分の比(第1章 公式1)から OE:OAOE : OA=OB:OC{}= OB : OC、すなわち OCOC=ab{}= ab。

商:公式3 (3) の作図で、同様に OB:OAOB : OA=OE:OC{}= OE : OC より OCOC=ab{}= \dfrac{a}{b}。

平方根:公式4 で ACAC=a{}= a,CBCB=1{}= 1 とする。ABAB を直径とする円と、CC における垂線は、CC が円の内部にあるので 2 点で交わる(第5章 定理1、中心から垂線までの距離 OCOC は半径より小さい)。その 1 つを DD とすると、本文の相似の議論から CD2CD^2=a⋅1{}= a \cdot 1 で、CDCD=a{}= \sqrt{a}。(証明終)

長さ 11 から出発して定理3 を何回も使えば、2+3\sqrt{2 + \sqrt{3}} や 1+52\dfrac{1 + \sqrt{5}}{2} のように、整数から四則と平方根を有限回使って書ける正の数は、すべて作図できる長さです。

では逆に、作図できる長さはこの形のものだけでしょうか。座標を入れると、答えが見えてきます。

定理4:作図で新しく現れる数は、2 次方程式までで求まる

座標平面に、はじめに (0,0)(0, 0) と (1,0)(1, 0) が与えられているとする。ある段階までに作図できた点の座標全体を使って、四則演算で表せる数の集まりを KK とする。次の段階で新しく作図できる点の座標は、KK の数を係数とする 1 次方程式または 2 次方程式の解である。

証明 KK の数を座標にもつ 2 点を通る直線の方程式は、

px\displaystyle px+qy\displaystyle {}+ qy+s\displaystyle {}+ s=0\displaystyle {}= 0(p,q,s∈K)\displaystyle (p, q, s \in K)

の形になる。KK の数を座標にもつ点を中心とし、同じく KK の数を座標にもつ点を通る円の方程式は、

x2\displaystyle x^2+y2\displaystyle {}+ y^2+lx\displaystyle {}+ lx+my\displaystyle {}+ my+n\displaystyle {}+ n=0\displaystyle {}= 0(l,m,n∈K)\displaystyle (l, m, n \in K)

の形になる(半径の 2 乗が KK の数どうしの差の 2 乗の和なので)。

直線と直線:連立 1 次方程式なので、解は係数の四則で表され、KK に属する。

直線と円:直線の式を xx か yy について解いて円の式に代入すると、係数が KK に属する 2 次方程式になる。解は uu+vw{}+ v\sqrt{w}(uu,vv,ww∈K{}\in K)の形である。

円と円:2 つの円の式を引き算すると x2x^2+y2{}+ y^2 が消え、1 次式(2 円の共通弦を含む直線、第5章 小話3 の根軸)が得られる。したがって「直線と円」の場合に帰着する。

いずれの場合も、新しい点の座標は KK の数から四則と平方根 1 回で得られる。(証明終)

定理4 を段階ごとにくり返すと、作図できる点の座標は、整数から四則と平方根を有限回使って書ける数に限られることが分かります。2 点の距離も (x1−x2)2+(y1−y2)2\sqrt{(x_1 - x_2)^2 + (y_1 - y_2)^2} なので、同じ形です。定理3 と合わせて、公式6 の「作図できる長さ = 四則と平方根で書ける長さ」が確かめられました。

この事実から、「作図できない」ことを示す道が開けます。たとえば 23\sqrt[3]{2} は x3x^3=2{}= 2 の解ですが、「四則と平方根を有限回」の形では書けないことが、代数学(体の拡大次数の理論)で証明できます。平方根を 1 回使うたびに「次数」は 11 倍か 22 倍にしかならず、全体でも 22 の累乗にしかならないのに対し、23\sqrt[3]{2} の次数は 33 だからです。立方体の体積を 2 倍にする作図(23\sqrt[3]{2})も、三角比と三角関数の分野 第10章で触れた角の 3 等分も、この理由で定規とコンパスでは不可能です(1837 年、ヴァンツェル)。一方、小話2 の折り紙が 3 等分に届くのは、折り紙の操作が 3 次方程式を解く力をもつからでした。

定理5:作図題の吟味——条件を満たす点の個数

中心 MM、半径 mm の円と、MM からの距離が hh の直線 ℓ\ell の共有点の個数は、hh<m{}< m のとき 22、hh=m{}= m のとき 11、hh>m{}> m のとき 00 である。したがって、「円の上」と「直線の上」の 2 条件で決まる作図題の答えの個数は、この大小だけで決まる。

証明 第5章の厳密定義 定理1 (1) そのものである(dd=h{}= h,rr=m{}= m)。(証明終)

実践問題 j14 の (3)、例題6 の (2) の吟味は、定理5 を当てはめたものです。例題6 では「円」のかわりに「円の弧(直線 BCBC の片側の部分)」を使うので、直線 ℓ\ell と弧の共有点の個数は、弧の最も高い点の高さと hh を比べて数えました。作図題の吟味は、結局「2 本の線の交わり方」を、これまでの章で学んだ位置関係の定理で数える作業なのです。

この章の学習が終わったら

学習完了テストを受ける