高校数学で2次方程式の「根の公式」が「解の公式」に変わったのはいつ頃ですか?