Дано квадратное уравнение ax^2 + bx + c = 0 с параметрами a, b, c ∈ R; предложите разные стратегии исследования числа и вида корней в зависимости от соотношений между a, b и c, и обоснуйте выбор каждой стратегии
1) Классический дискриминант (общая стратегия) - Вычислить Δ=b2−4ac \Delta = b^2 - 4ac Δ=b2−4ac. - Если Δ>0 \Delta>0Δ>0 — два различных вещественных корня: x=−b±Δ2a x = \dfrac{-b \pm \sqrt{\Delta}}{2a} x=2a−b±Δ. - Если Δ=0 \Delta=0Δ=0 — один (двойной) вещественный корень: x=−b2a x = -\dfrac{b}{2a} x=−2ab. - Если Δ<0 \Delta<0Δ<0 — два комплексно-сопряжённых корня. Обоснование: квадратное уравнение решается формулой квадратного корня, знак Δ\DeltaΔ напрямую определяет наличие действительного корня под корнем. 2) Случай a=0a=0a=0 (вырожденный случай) - Если a=0a=0a=0 и b≠0b\neq0b=0 — линейное уравнение bx+c=0bx+c=0bx+c=0, корень x=−cbx=-\dfrac{c}{b}x=−bc. - Если a=b=0a=b=0a=b=0 и c≠0c\neq0c=0 — решений нет; если a=b=c=0a=b=c=0a=b=c=0 — бесконечно много решений. Обоснование: при a=0a=0a=0 степень уравнения падает до 1, применяем простую линейную теорию. 3) Vieta и знак корней (быстрая информация о знаках) - Из Вьета: x1+x2=−bax_1+x_2 = -\dfrac{b}{a}x1+x2=−ab, x1x2=cax_1 x_2 = \dfrac{c}{a}x1x2=ac. - Если c/a<0c/a<0c/a<0 (т.е. ac<0ac<0ac<0) — корни действительные и разного знака (так как произведение отрицательно ⇒ оба не нулевые и противоположные по знаку); значит Δ>0\Delta>0Δ>0. - Если c=0c=0c=0 — корни 000 и −ba-\dfrac{b}{a}−ab. Обоснование: суммы и произведения корней дают мгновенную информацию о знаках и нулевом корне без вычисления Δ\DeltaΔ. 4) Завершающий сдвиг / приведение к каноническому виду (удобно при аналитике положения вершины) - Подставить x=y−b2a x = y - \dfrac{b}{2a}x=y−2ab, тогда уравнение превращается в a(y)2=Δ4a a\left(y\right)^2 = \dfrac{\Delta}{4a}a(y)2=4aΔ или эквивалентно a(x+b2a)2=Δ4a a\left(x+\dfrac{b}{2a}\right)^2 = \dfrac{\Delta}{4a}a(x+2ab)2=4aΔ. - По знаку правой части видно число корней: Δ>0\Delta>0Δ>0 — два симметричных относительно вершины, Δ=0\Delta=0Δ=0 — касание, Δ<0\Delta<0Δ<0 — нет вещественных. Обоснование: удобно визуализировать как параболу, её вершину и пересечения с осью абсцисс. 5) Частные отношения между a,b,ca,b,ca,b,c дающие простые выводы - b2=4acb^2=4acb2=4ac ⇒ двойной корень x=−b2ax=-\dfrac{b}{2a}x=−2ab. - b=0b=0b=0 ⇒ ax2+c=0ax^2+c=0ax2+c=0 → x2=−cax^2 = -\dfrac{c}{a}x2=−ac: вещественные корни если и только если −ca≥0-\dfrac{c}{a}\ge0−ac≥0 (т.е. ac≤0ac\le0ac≤0). - Все коэффициенты одного знака (a,b,c>0a,b,c>0a,b,c>0 или a,b,c<0a,b,c<0a,b,c<0) ⇒ нет положительных корней (по правилу знаков Декарта) и часто нет вещественных, проверяется по Δ\DeltaΔ. Обоснование: симметрия и нули в коэффициентах дают упрощённые формулы или логические выводы без дискриминанта. 6) Численная устойчивость (практическое вычисление корней) - При вычислении корней по формуле избегать потери точности при вычитании: положим q=−12(b+sgn(b)Δ) q = -\dfrac{1}{2}\bigl(b + \operatorname{sgn}(b)\sqrt{\Delta}\bigr)q=−21(b+sgn(b)Δ), тогда x1=qa x_1 = \dfrac{q}{a}x1=aq, x2=cq x_2 = \dfrac{c}{q}x2=qc. Обоснование: уменьшает числовую ошибку при больших различиях по модулю между bbb и Δ\sqrt{\Delta}Δ. Краткая инструкция выбора стратегии: - Общий случай — дискриминант. - Если a=0a=0a=0 — переход к линейному. - Если нужны лишь знаки/наличие нуля — Вьет и проверка acacac. - Для геометрического понимания положения корней — сдвиг и вершина. - Для вычислений в плавающей точке — стабильная формула через qqq.
- Вычислить Δ=b2−4ac \Delta = b^2 - 4ac Δ=b2−4ac.
- Если Δ>0 \Delta>0Δ>0 — два различных вещественных корня: x=−b±Δ2a x = \dfrac{-b \pm \sqrt{\Delta}}{2a} x=2a−b±Δ .
- Если Δ=0 \Delta=0Δ=0 — один (двойной) вещественный корень: x=−b2a x = -\dfrac{b}{2a} x=−2ab .
- Если Δ<0 \Delta<0Δ<0 — два комплексно-сопряжённых корня.
Обоснование: квадратное уравнение решается формулой квадратного корня, знак Δ\DeltaΔ напрямую определяет наличие действительного корня под корнем.
2) Случай a=0a=0a=0 (вырожденный случай)
- Если a=0a=0a=0 и b≠0b\neq0b=0 — линейное уравнение bx+c=0bx+c=0bx+c=0, корень x=−cbx=-\dfrac{c}{b}x=−bc .
- Если a=b=0a=b=0a=b=0 и c≠0c\neq0c=0 — решений нет; если a=b=c=0a=b=c=0a=b=c=0 — бесконечно много решений.
Обоснование: при a=0a=0a=0 степень уравнения падает до 1, применяем простую линейную теорию.
3) Vieta и знак корней (быстрая информация о знаках)
- Из Вьета: x1+x2=−bax_1+x_2 = -\dfrac{b}{a}x1 +x2 =−ab , x1x2=cax_1 x_2 = \dfrac{c}{a}x1 x2 =ac .
- Если c/a<0c/a<0c/a<0 (т.е. ac<0ac<0ac<0) — корни действительные и разного знака (так как произведение отрицательно ⇒ оба не нулевые и противоположные по знаку); значит Δ>0\Delta>0Δ>0.
- Если c=0c=0c=0 — корни 000 и −ba-\dfrac{b}{a}−ab .
Обоснование: суммы и произведения корней дают мгновенную информацию о знаках и нулевом корне без вычисления Δ\DeltaΔ.
4) Завершающий сдвиг / приведение к каноническому виду (удобно при аналитике положения вершины)
- Подставить x=y−b2a x = y - \dfrac{b}{2a}x=y−2ab , тогда уравнение превращается в a(y)2=Δ4a a\left(y\right)^2 = \dfrac{\Delta}{4a}a(y)2=4aΔ или эквивалентно a(x+b2a)2=Δ4a a\left(x+\dfrac{b}{2a}\right)^2 = \dfrac{\Delta}{4a}a(x+2ab )2=4aΔ .
- По знаку правой части видно число корней: Δ>0\Delta>0Δ>0 — два симметричных относительно вершины, Δ=0\Delta=0Δ=0 — касание, Δ<0\Delta<0Δ<0 — нет вещественных.
Обоснование: удобно визуализировать как параболу, её вершину и пересечения с осью абсцисс.
5) Частные отношения между a,b,ca,b,ca,b,c дающие простые выводы
- b2=4acb^2=4acb2=4ac ⇒ двойной корень x=−b2ax=-\dfrac{b}{2a}x=−2ab .
- b=0b=0b=0 ⇒ ax2+c=0ax^2+c=0ax2+c=0 → x2=−cax^2 = -\dfrac{c}{a}x2=−ac : вещественные корни если и только если −ca≥0-\dfrac{c}{a}\ge0−ac ≥0 (т.е. ac≤0ac\le0ac≤0).
- Все коэффициенты одного знака (a,b,c>0a,b,c>0a,b,c>0 или a,b,c<0a,b,c<0a,b,c<0) ⇒ нет положительных корней (по правилу знаков Декарта) и часто нет вещественных, проверяется по Δ\DeltaΔ.
Обоснование: симметрия и нули в коэффициентах дают упрощённые формулы или логические выводы без дискриминанта.
6) Численная устойчивость (практическое вычисление корней)
- При вычислении корней по формуле избегать потери точности при вычитании: положим q=−12(b+sgn(b)Δ) q = -\dfrac{1}{2}\bigl(b + \operatorname{sgn}(b)\sqrt{\Delta}\bigr)q=−21 (b+sgn(b)Δ ), тогда x1=qa x_1 = \dfrac{q}{a}x1 =aq , x2=cq x_2 = \dfrac{c}{q}x2 =qc .
Обоснование: уменьшает числовую ошибку при больших различиях по модулю между bbb и Δ\sqrt{\Delta}Δ .
Краткая инструкция выбора стратегии:
- Общий случай — дискриминант.
- Если a=0a=0a=0 — переход к линейному.
- Если нужны лишь знаки/наличие нуля — Вьет и проверка acacac.
- Для геометрического понимания положения корней — сдвиг и вершина.
- Для вычислений в плавающей точке — стабильная формула через qqq.