三平方の定理の証明④（方べきの定理の利用１）

　三平方の定理は、何百もの証明方法があるといわれています。
　この記事では、方べきの定理を利用した最も簡単な証明方法を解説します。

Ⅰ　方べきの定理と『原論』

　方べきの定理は数学Aで学ぶ、円と２本の直線に関する性質で、３パターン存在します。
　今回の三平方の定理の証明では、その中でも最も基本的な、円の内部で２直線が交わるパターンを利用します。

方べきの定理１

　円の内部の点$~P~$を通る2本の弦$~AB~$と弦$~CD~$に関して、次の等式が成り立つ。

PA \cdot PB= PC \cdot PD

　証明は$~\triangle APC$∽$\triangle DPC~$を使います。

　方べきの定理は紀元前から存在していました。
　ユークリッドの『原論』の第３巻の命題35には、以下のように述べられています。

　『原論』から2000年以上経った1927年、三平方の定理の証明を371個集めた『ピタゴラスの命題』が出版されました。

　その中に、方べきの定理を利用した証明方法が載っていたものの、定理を適用してあげるだけの方法なので、もっと昔から存在していた証明方法であると推察されます。

Ⅱ　方べきの定理を利用した証明

　では、三平方の定理の証明に入りましょう。

証明

　半径$~c~$の円$~O~$で、直径を$~AB~$とする。
　$~AB~$上で中心から$~a~$離れている点を$~P~$とし、$~P~$を通り$~AB~$と垂直な弦$~CD~$を作り、$~CP~$の長さを$~c~$とする。

　$~PC=PD~$より、$~PD=b~$。
　$~OB~$は半径なので、$~PB=c-a~$とわかる。

　ここで、「方べきの定理１」を使うと、

\begin{align*}
PA \cdot PB&= PC \cdot PD \\
(c+a)\cdot (c-a)&=b \cdot b \\
c^2-a^2&=b^2 \\
c^2&=a^2+b^2 ~~~~\cdots ①
\end{align*}

が求まる。

　$~c~$は半径だったので、$~OC=c~$。

　直角三角形$~OPC~$に注目すれば、$①$より三平方の定理が証明されたことが言える。■

　円の中の等しい辺の長さをうまく利用しながら、方べきの定理を用いた証明でした。

あわせて読みたい

三平方の定理の証明⑤（方べきの定理の利用２） 三平方の定理には数百もの証明方法があります。接線型の方べきの定理を利用した証明を本記事では紹介します。 Ⅰ　三平方の定理とは Ⅱ　方べきの定理２を利用した証明 Ⅲ…

もしかしたらユークリッドが思いついた証明方法だったかもしれないね。

　確かに。
　ユークリッドは「花嫁の椅子」を使って、三平方の定理を証明しているから、思いついていたとしてもわざわざ載せたりしなさそう・・・。