数学 › 高校数学:図形と幾何 › 合同と相似
平行
2 直線 、()が平行であるとは、 が 1 次従属()であることをいい、 と書く。2 直線が一致する場合も含める。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。
数学 › 高校数学:図形と幾何 › 合同と相似
2 直線 、()が平行であるとは、 が 1 次従属()であることをいい、 と書く。2 直線が一致する場合も含める。
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
証明で明示的に参照している定理は、まだありません。