幾何学の論理構造を明快に整理するため、一般の三角形、二等辺三角形、直角三角形における定義・性質・合同条件の相違点を構造化しました。証明の記述で迷った際は、このマトリクスに立ち返ることで誤用を防げます。
表から分かる通り、二等辺三角形の定義と性質は豊富に存在するものの、合同判定においてはあくまで基本の3条件に従属します。また、「2つの角が等しい三角形は二等辺三角形である」という命題は二等辺三角形になるための条件(判定条件)であり、これも合同条件とは明確に区別して運用しなければなりません。
幾何学の論理構造を明快に整理するため、一般の三角形、二等辺三角形、直角三角形における定義・性質・合同条件の相違点を構造化しました。証明の記述で迷った際は、このマトリクスに立ち返ることで誤用を防げます。
表から分かる通り、二等辺三角形の定義と性質は豊富に存在するものの、合同判定においてはあくまで基本の3条件に従属します。また、「2つの角が等しい三角形は二等辺三角形である」という命題は二等辺三角形になるための条件(判定条件)であり、これも合同条件とは明確に区別して運用しなければなりません。