白川の定理

△ABCに正方形ABB′A″, BCC′B″, CAA′C″が外接しているとき、

• △ABCの内角で ∠BAC = α

• △AA′A″の内角で ∠A′AA″ = α′

• △ABC = S, AC = AA′ = b, AB = AA″ = c

とする。

${\displaystyle \bigtriangleup ABC=S={\frac {1}{2}}AC\cdot AB\sin \alpha }$

なので、

${\displaystyle \sin \alpha ={\frac {2S}{bc}}}$　(1)

と表せる。

仮定より、

∠A′AC + α + ∠A″AB + α′ = 360°

が成り立つ。正方形なので

90° + α + 90° + α′ = 360°,

α + α′ = 180°,

α′ = 180° − α,

sin α′ = sin(180° − α),

sin α′ = sin α.　 (2)

(1), (2)より、△AA′A″の面積は、

${\displaystyle {\begin{aligned}\bigtriangleup AA'A''&={\frac {1}{2}}AA'\cdot AA''\sin \alpha '\\&={\frac {1}{2}}bc\cdot {\frac {2S}{bc}}=S.\end{aligned}}}$

同様に

△BB′B″=S,

△CC′C″=S.

依って、

△ABC=△AA′A″=△BB′B″=△CC′C″

は示された。

• 高田の定理 - 白川の定理と同じ「取れたての定理です」第1巻に掲載された定理

出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。 記事の信頼性向上にご協力をお願いいたします。（2018年8月）

• とれたて通信 1999年9月6日 - 発見の経緯と直角三角形の時の証明
• 「取れたての定理です」第１巻
• 白川の定理 - 一般化された結論