Квадратичная формула

Из Википедии, бесплатной энциклопедии
График функции в форме параболы, пересекающей ось x в точках x = 1 и x = 5.
Корни квадратичной функции y = 1/2 2х 2 − 3 х + 5/2 5 это места пересечения графика с осью x , значения x = 1 и x = . Их можно найти по квадратичной формуле.

В элементарной алгебре квадратичная формула — это выражение в замкнутой форме, описывающее решения квадратного уравнения . Другие способы решения квадратных уравнений, например, заполнение квадрата , дают те же решения.

Учитывая общее квадратное уравнение вида , с представляющие неизвестное, и коэффициенты , , и представление известных действительных или комплексных чисел с помощью , значения удовлетворяющие уравнению, называемые корнями или нулями , можно найти с помощью квадратичной формулы,

где знак плюс-минус " " указывает на то, что уравнение имеет два корня. [1] Написанные отдельно, это:

Количество называется дискриминантом квадратного уравнения. [2] Если коэффициенты , , и действительные числа, тогда, когда , уравнение имеет два различных действительных корня; когда , уравнение имеет один повторяющийся вещественный корень; и когда , уравнение не имеет действительных корней, но имеет два различных комплексных корня, которые являются комплексно сопряженными друг другу.

Геометрически корни представляют собой значения, при которых график квадратичной функции , парабола , пересекает -ось: график -перехватывает. [3] параболы Квадратную формулу также можно использовать для определения оси симметрии . [4]

Вывод путем завершения квадрата [ править ]

Чтобы завершить квадрат, сформируйте квадратный бином в левой части квадратного уравнения, из которого решение можно найти, извлекая квадратный корень из обеих частей.

Стандартный способ вывода квадратной формулы — применить метод дополнения квадрата к общему квадратному уравнению. . [5] [6] [7] [8] Идея состоит в том, чтобы преобразовать уравнение в вид для некоторых выражений и записано через коэффициенты; извлеките квадратный корень из обеих частей; а затем изолировать .

Начнем с деления уравнения на квадратичный коэффициент , что разрешено, поскольку не равно нулю. После этого вычитаем постоянный член чтобы изолировать его с правой стороны:

Левая часть теперь имеет вид , и мы можем «дополнить квадрат», добавив константу чтобы получить квадрат бинома . В этом примере мы добавляем в обе стороны, так что левую часть можно разложить на факторы:

Поскольку левая часть теперь представляет собой идеальный квадрат, мы можем легко извлечь квадратный корень из обеих частей:

Наконец, вычитая с обеих сторон изолировать выводит квадратичную формулу:

Эквивалентные составы

Квадратную формулу можно эквивалентно записать с использованием различных альтернативных выражений, например

которое можно получить, разделив квадратное уравнение на , в результате чего , затем подставляя новые коэффициенты в стандартную квадратичную формулу. Потому что этот вариант позволяет повторно использовать промежуточно рассчитанную величину , это может немного уменьшить используемую арифметику.

Квадратный корень в знаменателе [ править ]

Менее известная квадратичная формула, впервые упомянутая Джулио Фаньяно : [9] описывает те же корни через уравнение с квадратным корнем в знаменателе (при условии, что ):

Здесь знак минус–плюс » " указывает на то, что два корня квадратного уравнения в том же порядке, что и стандартная квадратная формула, равны

Этот вариант в шутку назвали формулой «цитардаук» («квадратичная», написанная наоборот). [10]

Когда имеет противоположный знак как или , вычитание может привести к катастрофической отмене , что приведет к низкой точности численных расчетов; выбор между вариантом квадратной формулы с квадратным корнем в числителе или знаменателе в зависимости от знака можно избежать этой проблемы. См. § Численный расчет ниже.

Этот вариант квадратичной формулы используется в методе Мюллера для нахождения корней общих функций. Его можно получить по стандартной формуле из тождества , одна из формул Виеты . Альтернативно его можно получить путем деления исходного уравнения , к получить , применяя стандартную формулу для нахождения двух корней , а затем, взяв обратное значение, найти корни исходного уравнения.

Другие производные [ править ]

Любой общий метод или алгоритм решения квадратных уравнений можно применить к уравнению с символьными коэффициентами и использовать для вывода некоторого выражения в замкнутой форме, эквивалентного квадратной формуле. Альтернативные методы иногда проще, чем заполнение квадрата, и могут предложить интересное понимание других областей математики.

Завершение квадрата по методу Шридхары [ править ]

Вместо деления на изолировать , может быть немного проще умножить на вместо этого производить , что позволяет нам заполнить квадрат без необходимости использования дробей. Тогда этапы вывода таковы: [11]

  1. Умножьте каждую сторону на .
  2. Добавлять в обе стороны, чтобы завершить квадрат.
  3. Возьмите квадратный корень из обеих частей.
  4. Изолировать .

Применение этого метода к общему квадратному уравнению с символьными коэффициентами дает квадратную формулу:

Этот метод завершения квадрата является древним и был известен индийскому математику VIII–IX веков Шридхаре . [12] По сравнению с современным стандартным методом заполнения квадрата, этот альтернативный метод позволяет избежать дробей до последнего шага и, следовательно, не требует перестановки после шага 3 для получения общего знаменателя в правой части. [11]

Путем замены [ править ]

Другой вывод использует замену переменных, чтобы исключить линейный член. Тогда уравнение примет вид с точки зрения новой переменной и некоторое постоянное выражение , корни которого тогда .

Подставив в , расширяя продукты и объединяя подобные члены, а затем решая , у нас есть:

Наконец, после извлечения квадратного корня из обеих частей и подстановки полученного выражения на Вернуться в выходит знакомая квадратичная формула:

Используя алгебраические тождества [ править ]

Следующий метод использовался многими историческими математиками: [13]

Пусть корни квадратного уравнения быть и . Вывод начинается с тождества квадрата разности (действительного для любых двух комплексных чисел), из которого мы можем извлечь квадратный корень с обеих сторон:

Поскольку коэффициент , мы можем разделить квадратное уравнение на чтобы получить сводный многочлен с теми же корнями. А именно,

Это означает, что сумма и продукт . Таким образом, тождество можно переписать:

Поэтому,

Две возможности для каждого из и — это одни и те же два корня в противоположном порядке, поэтому мы можем объединить их в стандартное квадратное уравнение:

По резольвентам Лагранжа [ править ]

Альтернативный способ вывода квадратичной формулы — метод резольвент Лагранжа . [14] это ранняя часть теории Галуа . [15] Этот метод можно обобщить, чтобы получить корни кубических многочленов и многочленов четвертой степени , и приводит к теории Галуа, которая позволяет понимать решение алгебраических уравнений любой степени с точки зрения группы симметрии их корней, группы Галуа .

Этот подход фокусируется на самих корнях, а не на алгебраической перестановке исходного уравнения. Учитывая монический квадратичный полином Предположим, что и это два корня. Таким образом, полиномиальные факторы как

что подразумевает и .

Поскольку умножение и сложение коммутативны , то замена корней и не изменит коэффициенты и : можно так сказать и являются симметричными полиномами от и . В частности, это элементарные симметричные многочлены – любой симметричный многочлен в и может быть выражено через и вместо.

Подход теории Галуа к анализу и решению многочленов состоит в том, чтобы задаться вопросом, можно ли с учетом коэффициентов многочлена, каждый из которых является симметричной функцией в корнях, «нарушить» симметрию и тем самым восстановить корни. Используя этот подход, решаем полином степени связано со способами перестановки (« перестановки ») терминах, называемых симметрической группой на буквы и обозначаются . Для квадратичного многочлена единственный способ переставить два корня — это либо оставить их в покое, либо переставить их , поэтому решение квадратичного многочлена просто.

Чтобы найти корни и , рассмотрим их сумму и разность:

Они называются резольвентами Лагранжа многочлена, из которых корни можно восстановить как

Потому что является симметричной функцией относительно и , это можно выразить через и конкретно как описано выше. Однако, не симметричен, так как поменяв местами и дает аддитивную обратную . Так не может быть выражено через симметричные многочлены. Однако его площадь симметричен по корням, выражается через и . Конкретно , что подразумевает . Взятие положительного корня «нарушает» симметрию, в результате чего

откуда корни и восстанавливаются как

что является квадратичной формулой для монического многочлена.

Замена , дает обычное выражение для произвольного квадратичного многочлена. Резольвентами можно назвать

соответственно вершина и дискриминант монического многочлена.

Похожий, но более сложный метод работает для кубических уравнений , которые имеют три резольвенты и квадратное уравнение («разрешающий полином»), связывающее и , которое можно решить с помощью квадратного уравнения, и аналогично для уравнения четвертой степени ( степень 4), разрешающий полином которого является кубикой, которая, в свою очередь, может быть решена. [14] Тот же метод для уравнения пятой степени дает полином 24-й степени, что не упрощает задачу, и фактически решения уравнений пятой степени вообще не могут быть выражены с использованием только корней.

Численный расчет [ править ]

Квадратная формула абсолютно правильна, когда она выполняется с использованием идеализированной арифметики действительных чисел , но когда вместо нее используется приблизительная арифметика, например арифметика с ручкой и бумагой, выполняемая с фиксированным количеством десятичных знаков, или двоичная арифметика с плавающей запятой, доступная на компьютерах, ограничения представления чисел могут привести к существенно неточным результатам, если при реализации не будет уделено должного внимания. К особым трудностям относится катастрофическое сокращение при вычислении суммы если ; катастрофический расчет при вычислении дискриминанта себя в тех случаях, когда ; вырождение формулы, когда , , или , представляется как ноль или бесконечность; и возможное переполнение или опустошение при умножении или делении очень больших или малых чисел, даже в тех случаях, когда корни могут быть точно представлены. [16] [17]

Катастрофическое сокращение происходит, когда вычитаются два числа, которые примерно равны. Хотя каждое из чисел может быть независимо представлено определенным количеством цифр точности, идентичные ведущие цифры каждого числа сокращаются, что приводит к разнице более низкой относительной точности. Когда , оценка вызывает катастрофическую отмену, как и оценка когда . При использовании стандартной квадратичной формулы вычисление одного из двух корней всегда включает сложение, что сохраняет рабочую точность промежуточных вычислений, тогда как вычисление другого корня включает вычитание, что компрометирует его. Таким образом, наивное следование стандартной квадратичной формуле часто дает один результат с меньшей относительной точностью, чем ожидалось. К сожалению, вводные учебники по алгебре обычно не решают эту проблему, хотя из-за этого учащиеся получают неточные результаты по другим школьным предметам, таким как вводная химия. [18]

Например, если попытаться решить уравнение с помощью карманного калькулятора результат квадратной формулы может быть приблизительно рассчитана как: [19]

Несмотря на то, что калькулятор использовал десять десятичных цифр точности для каждого шага, вычисление разницы между двумя примерно равными числами дало результат всего четыре правильных цифры.

Одним из способов получения точного результата является использование идентификатора . В этом примере можно рассчитать как , что соответствует полным десяти цифрам. Другой более или менее эквивалентный подход — использовать версию квадратной формулы с квадратным корнем в знаменателе для вычисления одного из корней (см. § Квадратный корень в знаменателе выше).

Практические компьютерные реализации решения квадратных уравнений обычно выбирают, какую формулу использовать для каждого корня, в зависимости от знака уравнения. . [20]

Эти методы не предотвращают возможное переполнение или опустошение экспоненты с плавающей запятой при вычислении. или , что может привести к неточному вычислению численно представимых корней. Более надежная, но затратная в вычислительном отношении стратегия — начать с замены , превращая квадратное уравнение в

где это знаковая функция . Сдача в аренду , это уравнение имеет вид , для которого одним решением является и другое решение . Тогда корни исходного уравнения будут и . [21] [22]

При дополнительном усложнении можно избежать затрат и дополнительного округления квадратных корней, аппроксимируя их степенями двойки, избегая при этом переполнения экспоненты для представимых корней.

Историческое развитие [ править ]

Самые ранние методы решения квадратных уравнений были геометрическими. Вавилонские клинописные таблички содержат задачи, сводимые к решению квадратных уравнений. [23] Египетский Берлинский папирус , относящийся к Среднему царству (2050–1650 гг. до н. э.), содержит решение двухчленного квадратного уравнения. [24]

Греческий математик Евклид (около 300 г. до н.э.) использовал геометрические методы для решения квадратных уравнений во второй книге своих «Начал» , влиятельного математического трактата. [25] Правила для квадратных уравнений появляются в китайской книге «Девять глав математического искусства» около 200 г. до н.э. [26] [27] В своей работе «Арифметика» греческий математик Диофант (около 250 г. н. э.) решал квадратные уравнения методом, более узнаваемым алгебраическим, чем геометрическая алгебра Евклида. [25] Его решение дает только один корень, даже если оба корня положительны. [28]

Индийский математик Брахмагупта включил общий метод поиска одного корня квадратного уравнения в свой трактат «Брахмаспхутасиддханта» (около 628 г. н. э.), написанный словами в стиле того времени, но более или менее эквивалентный современной символической формуле. [29] [30] Его решение квадратного уравнения был следующим: «К абсолютному числу, умноженному на четырехкратный [коэффициент] квадрата, прибавьте квадрат [коэффициента] среднего члена; квадратный корень из того же числа за вычетом [коэффициента] среднего члена» , разделенный на двойной [коэффициент] квадрата, и есть значение». [31] В современных обозначениях это можно записать . Индийский математик Шридхара (8–9 века) придумал аналогичный алгоритм решения квадратных уравнений в ныне утерянной работе по алгебре, цитируемой Бхаскарой II . [32] Современную квадратичную формулу иногда называют формулой Шридхарачарьи . в Индии [ нужна цитата ]

Персидский математик 9-го века Мухаммад ибн Муса аль-Хорезми решал квадратные уравнения алгебраическим способом. [33] Квадратичная формула, охватывающая все случаи, была впервые получена Саймоном Стевином в 1594 году. [34] В 1637 году Рене Декарт опубликовал «Геометрию» , содержащую частные случаи квадратной формулы в той форме, которую мы знаем сегодня. [35]

Геометрическое значение [ править ]

С точки зрения координатной геометрии парабола, ориентированная по оси, представляет собой кривую, у которой -координаты представляют собой график полинома второй степени вида , где , , и являются действительными постоянными коэффициентами с .

Геометрически квадратичная формула определяет точки на графике, где парабола пересекает -ось. Кроме того, его можно разделить на два термина:

Первый член описывает ось симметрии , линию . Второй срок, , дает расстояние, на котором корни находятся от оси симметрии.

Если вершина параболы лежит на -ось, то соответствующее уравнение имеет единственный повторяющийся корень на линии симметрии, и этот член расстояния равен нулю; алгебраически дискриминант .

Если дискриминант положителен, то вершина не принадлежит -ось, но парабола открывается в направлении -ось, пересекая ее дважды, поэтому соответствующее уравнение имеет два действительных корня. Если дискриминант отрицательный, то парабола открывается в противоположном направлении, никогда не пересекая -ось, и уравнение не имеет действительных корней; в этом случае два комплекснозначных корня будут комплексно-сопряженными , действительная часть которых равна значение оси симметрии.

Размерный анализ [ править ]

Если константы , и/или не безразмерны , то величины и должны иметь одинаковые единицы измерения, поскольку условия и согласовать их единицы измерения. По той же логике коэффициент должны иметь те же единицы измерения, что и , независимо от единиц измерения . Это может быть мощным инструментом для проверки квадратичного выражения физических величин правильности настройки .

См. также [ править ]

Примечания [ править ]

  1. ^ Стерлинг, Мэри Джейн (2010), Алгебра I для чайников , Wiley Publishing, стр. 219, ISBN  978-0-470-55964-2
  2. ^ «Дискриминантный обзор» , Академия Хана , получено 10 ноября 2019 г.
  3. ^ «Понимание квадратичной формулы» , Академия Хана , получено 10 ноября 2019 г.
  4. ^ «Ось симметрии параболы. Как найти ось из уравнения или графика. Чтобы найти ось симметрии ...» , www.mathwarehouse.com , получено 10 ноября 2019 г.
  5. ^ Рич, Барнетт; Шмидт, Филип (2004), Очерк теории и проблем элементарной алгебры Шаума , Компании McGraw – Hill, глава 13, §4.4, стр. 291 , ISBN  0-07-141083-Х
  6. ^ Ли, Сюйхуэй. Исследование математических знаний учителей алгебры средней школы для обучения решению алгебраических уравнений , с. 56 (ProQuest, 2007): «Квадратная формула является наиболее общим методом решения квадратных уравнений и является производной от другого общего метода: завершения квадрата».
  7. ^ Роксуолд, Гэри. Колледж алгебры, тригонометрии и предварительного исчисления , с. 178 (Аддисон Уэсли, 2002).
  8. ^ Бекенбах, Эдвин и др. Современная студенческая алгебра и тригонометрия , с. 81 (Wadsworth Pub. Co., 1986).
  9. ^ В частности, Фаньяно начал с уравнения и нашел решения, которые будут
    (В 18 веке площадь традиционно записывалось как .)

    Фаньяно, Джулио Карло (1750), Применение нового алгоритма к аналитическому разрешению уравнений второй, третьей и четвертой степени» « четвертой степени], Математические произведения графа Джулио Карло ди Фаньяно, маркиза де Тоски и ДиСанта. ' Ононио (на итальянском языке), т. 1, Пезаро: Гавеллиана, Второе приложение, экв. 6, с. 467, номер домена : 10.3931/e-rara-8663

  10. ^ Гофф, Джеральд К. (1976), «Формула Ситардака», Учитель математики , 69 (7): 550–551, JSTOR   27960584
  11. ^ Перейти обратно: а б Хен, Ларри (1975), «Более элегантный метод вывода квадратичной формулы», Учитель математики , 68 (5): 442–443, doi : 10.5951/MT.68.5.0442 , JSTOR   27960212
  12. ^ Исходя из квадратного уравнения вида , метод Шридхары, как цитирует Бхаскара II (ок. 1150 г.): «Умножьте обе части уравнения на число, равное четырехкратному [коэффициенту] квадрата, и прибавьте к ним число, равное квадрату исходного [коэффициент] неизвестной величины. [Затем извлеките корень.]".
    Смит 1923 , с. 446
  13. ^ Дебнат, Локенат (2009), «Наследие Леонарда Эйлера - дань трехсотлетию», Международный журнал математического образования в науке и технологиях , 40 (3): 353–388, doi : 10.1080/00207390802642237 , S2CID   123048345
  14. ^ Перейти обратно: а б Кларк, А. (1984). Элементы абстрактной алгебры . Курьерская корпорация. п. 146.
  15. ^ Прасолов Виктор; Соловьев, Юрий (1997), Эллиптические функции и эллиптические интегралы , Книжный магазин AMS, с. 134, ISBN  978-0-8218-0587-9
  16. ^ Форсайт, Джордж Э. (1969), «Решение квадратного уравнения на компьютере» , «Математические науки: сборник эссе» , MIT Press, стр. 138–152, ISBN  0-262-03026-8
  17. ^ Гуалар, Фредерик (2023), Все тонкости решения квадратных уравнений с помощью арифметики с плавающей запятой (технический отчет), Нантский университет, HAL   hal-04116310
  18. ^ Томпсон, Х. Брэдфорд (1987), «Хорошая численная техника в химии: квадратное уравнение», Journal of Chemical Education , 64 (12): 1009, doi : 10.1021/ed064p1009
  19. ^ Этот пример взят из:
    Хенричи, Питер (1982), Основы численного анализа с демонстрацией карманного калькулятора , Нью-Йорк: Wiley, стр. 13
  20. ^ Форсайт, Джордж Э. (1966), Как решить квадратное уравнение (PDF) (технический отчет), Стэнфордский университет, STAN-CS-66-40 (AD639052)
  21. ^ Бейкер, Генри Г. (1998), «Вы можете многому научиться из квадратичного числа: перегрузка считается вредной», Уведомления SIGPLAN , 33 (1): 30–38, doi : 10.1145/609742.609746
  22. ^ Мастронарди, Никола; Ван Доорен, Пол (2015), «Возврат к стабильности вычисления корней квадратичного многочлена» , Electronic Transactions on Numerical Analysis , 44 : 73–83
  23. ^ Ирвинг 2013 , с. 34.
  24. ^ Кембриджская древняя история, часть 2. Ранняя история Ближнего Востока , издательство Кембриджского университета, 1971, с. 530, ISBN  978-0-521-07791-0
  25. ^ Перейти обратно: а б Ирвинг 2013 , с. 39.
  26. ^ Эйткен, Уэйн, «Китайская классика: девять глав» (PDF) , математический факультет Калифорнийского государственного университета , получено 28 апреля 2013 г.
  27. ^ Смит 1923 , с. 380 .
  28. ^ Смит 1923 , с. 134 .
  29. ^ Брэдли, Майкл. Рождение математики: от древности до 1300 г. , с. 86 (Издательство Информационная база, 2006).
  30. ^ Маккензи, Дана. Вселенная в нулевых словах: история математики, рассказанная посредством уравнений , с. 61 (Издательство Принстонского университета, 2012).
  31. ^ Стиллвелл, Джон (2004), Математика и ее история (2-е изд.), Springer, стр. 87, ISBN  0-387-95336-1
  32. ^ О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. (2000), «Шридхара» , Архив истории математики MacTutor , Университет Сент-Эндрюс
  33. ^ Ирвинг 2013 , с. 42.
  34. ^ Стройк, диджей; Стевин, Саймон (1958), Основные работы Саймона Стевина, Математика (PDF) , том. II–B, CV Swets & Zeitlinger, с. 470
  35. ^ Рене Декарт, Геометрия

Ссылки [ править ]