数学 › 高校数学：図形と幾何 › 反転
Steiner の円鎖
が の内部にある（）とする。 の相異なる 個の円 で、 と が外接し（）、 と も外接するもの（Steiner の円鎖）が 1 つ存在するならば、 の任意の円 を出発点にして、同じ長さ の円鎖 が存在する。すなわち、円鎖が閉じるかどうかは、最初の円の選び方によらない。
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 7 件、定義なども含めて 10 件）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義（直接 8 件）
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
円を同心円に移す反転✓補題 4.3・反転
- 有向円定義 4.1・反転
有向円の反転✓補題 4.2・反転
- 反転で円・直線は円・直線に移る✓定理 2.3・反転
- 反転で円・直線は円・直線に移る✓定理 2.3・反転
- 接線定義 4.2・円の幾何
直線と円の位置関係✓補題 4.1・円の幾何
- 1 次独立と成分表示の一意性✓命題 3.1・平面ベクトルと座標
中間値の定理✓定理 5.7・極限と連続性
- 実数の連続性公理（上限性質）公理 5.1・数とは何か
これを使っている定理
証明で明示的に参照している定理は、まだありません。