数学 › 高校数学：図形と幾何 › 円の名定理
Brahmagupta の定理
円に内接する凸四角形 の対角線 と が垂直に交わるとき、その交点 を通り辺 に垂直な直線は、対辺 の中点を通る。
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 93 件、定義なども含めて 112 件）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義（直接 2 件）
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
円に内接する四角形の条件✓定理 3.5・円の幾何
円周角の定理の逆（4 点が同一円周上にある条件）✓定理 3.4・円の幾何
見込む角と円の内外✓補題 3.3・円の幾何
- 符号付き面積の性質と三角形の面積✓命題 6.2・平面ベクトルと座標 この先をたどる →
- 内積・行列式と角✓命題 4.5・平面ベクトルと座標 この先をたどる →
- 外接円の存在・一意性と半径の公式✓補題 4.1・三角比と三角形の計量 この先をたどる →
- 方べきの定理とその逆✓定理 5.2・円の幾何
これを使っている定理
証明で明示的に参照している定理は、まだありません。