数学 › 高校数学：図形と幾何 › 図形と方程式

円の接線

命題 3.3（「図形と方程式」§3）・ ✓公理まで証明済み

円 $\Gamma:(x-p)^2+(y-q)^2=r^2$ 上の点 $T=(x_0,y_0)$ における接線（ $T$ を通り $\Gamma$ とちょうど 1 点 $T$ で交わる直線）はただ 1 つで、

(x_0-p)(x-p)+(y_0-q)(y-q)=r^2

である。これは $T$ を通り $CT$ （ $C=(p,q)$ ）に垂直な直線である。

本文で読む（証明と前後の説明）→

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 4 件、定義なども含めて 4 件）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

前提をたどる証明が使う定理・定義（直接 1 件）

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

円と直線の位置関係✓定理 3.2・図形と方程式
- 点と直線の距離✓定理 2.2・図形と方程式
  - 内積の性質✓定理 4.1・平面ベクトルと座標
    1 次独立と成分表示の一意性✓命題 3.1・平面ベクトルと座標

これを使っている定理証明で参照している 1 件

極と極線✓定理 4.1・図形と方程式

関連するノック 1 問

高校数学（図形）第 64 問