Тождественные преобразования алгебраических выражений
Определение. Алгебраическим выражением называется выражение, получаемое из постоянных и переменных при помощи операций сложения, вычитания, умножения, деления, возведения в целую степень и извлечения корня.
Примеры алгебраических выражений:
Определение. Областью допустимых значений (сокращенно ОДЗ) алгебраического выражения E(x1, x2, ..., xn) (D(E)) называется множество всех наборов (x1, x2, ..., xn), для которых выражение E(x1, x2, ..., xn) имеет смысл.
Например, ОДЗ выражения является D(E) = {(x,y) | x R, y R, xy ≠ 0}, ОДЗ выражения является множество {(x,y,z) | x, y, z R, xy ≥ 0}.
Определение. Алгебраические выражения E1 и E2 называются тождественно равными на множестве M D(E1)D(E2), если при любых значениях переменных из M соответствующие числовые значения этих выражений равны.
Например, на множестве [0;+), на множестве (-;0], на множестве R\{-1}, (x + y)2 = x2 + 2xy + y2 на множестве {(x,y) | x R, y R}.
Определение. Тождественным преобразованием алгебраического выражения на множестве M D(E) называется замена этого выражения на тождественно равное ему на множестве M
Замечание. Отметим, что иногда опускают множество, на котором алгебраические выражения тождественно равны, имея при этом ввиду их тождественное равенство на пересечении областей допустимых значений.
Например,
При выполнении тождественных преобразований оказываются полезными следующие формулы.
I. Формулы сокращенного умножения
(a ± b)2 = a2 ± 2ab + b2,
(a ± b)3 = a3 ± 3a2b + 3ab2 ± b3,
a2 - b2 = (a - b)(a + b),
a3 ± b3 = (a ± b)(a2 ab + b2).
Эти формулы получаются как следствия из более общих формул:
an - bn = (a - b)(an-1 + an-2b + ... + abn-2 + bn-1) (n N),
a2n+1 + b2n+1 = (a + b)(a2n - a2n-1b + ... - ab2n-1 + b2n) (n N),
(бином Ньютона)
где n N, n! = 1·2·3·...·n, 0! = 1.
II. Свойства степеней
Следующие свойства справедливы для любых положительных чисел a и b и любых действительных чисел и .
a0 = 1;
a + = a · a;
(a) = a;
(ab) = a · b;
Замечание 1. Отметим, что отрицательные числа также можно возводить в некоторые степени (целые и, более общо, рациональные вида где m - целое, n - натуральное).