2 つの 2 次方程式の共通解

命題 7.1（「2 次関数」§7）・ ✓公理まで証明済み

$p\ne p'$ とし、 $x^2+px+q=0$ と $x^2+p'x+q'=0$ を考える。両方を満たす実数 $x$ は存在すれば $x_0=-\dfrac{q'-q}{p'-p}$ ただ 1 つで、存在するための必要十分条件は

(q'-q)^2=(p'-p)(pq'-p'q)

である。

閉包の状態

✓ 公理まで証明済み

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

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

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。

証明で明示的に参照している定理は、まだありません。