>>651-661
気になって調べてみた。

ユークリッド原論自身は、三角形の相似の定義を
三辺比相等かつ三角相等としており、
二角相等⇒三辺比相等 も、三辺比相等⇒三角相等 も
証明していないらしい。あきれた話だが、
ユークリッドが比の扱いに弱かったことは、
原論第６章「相似」に先立つ第５章「比」の
迂遠ぶりを見れば判る。

とはいえ、ユークリッド幾何学の範囲で
二角相等⇒三辺比相等 を示すことはできる。
やってみよう。