(本日の)Gemini先生へ
直角三角形の合同条件を英語で何と呼びますか。
(回答抜粋)
「直角三角形の合同条件」は英語で Right Triangle Congruence Theorems や Right Triangle Congruence Criteria と呼ばれます。
全体の総称（直角三角形の合同条件）
Right Triangle Congruence Theorems
○表現のバリエーション: 教科書や文脈によって Right Triangle Congruence Criteria や Congruence Theorems for Right Triangles とも呼ばれます。
...
条件1：斜辺と他の1辺がそれぞれ等しい
Hypotenuse-Leg (HL) Theorem
○略称: 北米を中心とする数学教育では略して HL Theorem（HL合同定理） と呼ばれます。
...
条件2：斜辺と1つの鋭角がそれぞれ等しい
Hypotenuse-Angle (HA) Theorem ...
○略称: 略して HA Theorem（HA合同定理） と呼ばれます。
...
HLをsympyのソースコードで教えて下さい。結果も出力して下さい。
# SymPyを用いて直角三角形のHL合同条件（斜辺と他の一辺がそれぞれ等しい）を証明・検証するコード
from sympy import Symbol, sqrt, simplify
from sympy.geometry import Point, Triangle
# 1. 正の定数として斜辺 c と直角を挟む一辺 b を定義
b = Symbol('b', positive=True)
c = Symbol('c', positive=True)
# 2. 三平方の定理より、残りの一辺 a の長さを計算
a = sqrt(c**2 - b**2)
# 3. 座標平面上に2つの直角三角形を作成
# 三角形1: 原点を直角とする直角三角形
t1 = Triangle(Point(0, 0), Point(0, b), Point(a, 0))
# 三角形2: 別の座標 (2, 3) に配置した直角三角形
t2 = Triangle(Point(2, 3), Point(2, 3 + b), Point(2 + a, 3))
# 4. 各辺の長さを単純化して取得
sides_t1 = [simplify(s.length) for s in t1.sides]
sides_t2 = [simplify(s.length) for s in t2.sides]
# 5. SymPyの合同判定関数を実行
is_congruent = t1.is_congruent(t2)
# 6. 実行結果を表示
print("--- 直角三角形のHL条件の検証結果 ---")
print(f"三角形1の3辺の長さ : {sides_t1}")
print(f"三角形2の3辺の長さ : {sides_t2}")
print(f"合同判定 (is_congruent) : {is_congruent}")
実行結果
--- 直角三角形のHL条件の検証結果 ---
三角形1の3辺の長さ : [b, c, sqrt(-b**2 + c**2)]
三角形2の3辺の長さ : [b, c, sqrt(-b**2 + c**2)]
合同判定 (is_congruent) : True
いつもと違うおすすめです。
wikipedia
・合同条件