книги из ГПНТБ / Сахарников Н.А. Высшая математика учебник
.pdfД о к а з а т е л ь с т в о . Пусть х0 = а |
іЪ — корень ве |
||
щественного многочлена (18). Тогда по следствию 2 |
теоремы 1 |
||
число х0 = а — іЪ будет корнем этого |
многочлена. |
Покажем, |
|
что произведение (х — хй) (х — ж0) есть |
вещественный многочлен |
||
вида (19). Действительно, |
|
|
|
(х — х0) (X— хй) = (х — а — ib) (х — а -j- іЪ) = (х — а)2 + b2
= X2Д- рх -J- q,
где р = —2а, q = а2+ b2, причем q — ^ = Ь2 > 0 .
Поэтому разложение вещественного многочлена (18) будет содержать только вещественные множители. Его можно получить путем объединения в (17) сомножителей, соответствующих со пряженным корням, и результат записать в виде
f ( x ) = a 0 (x — x j ) b . . . ( x — x ^ l (z2 + p1x + |
g1)s‘ . . . (ж2 + p rx - f qr) \ |
||
|
|
|
(20) |
Например, |
x1 + 2x5 + x3 = |
xs (x2 + |
l) 2. |
57. Дробные |
рациональные |
функции. |
Дробной рациональной |
функцией называется отношение двух целых рациональных функ ций: g (z) степени т и / (z) степени п. Если степень числителя т меньше га, то эта функция называется правильной рациональной
дробью, если |
же т |
га, |
то имеем |
неправильную рациональную |
|
дробь. |
|
|
Простейшими или |
простыми дробями |
|
О п р е д е л е н и е . |
|||||
называются |
дробные |
рациональные |
функции |
вида |
|
|
|
|
А |
|
(21) |
|
|
|
Сz— k)k |
’ |
|
|
|
|
|
||
где к — натуральное число.
Теорема 1. Всякую неправильную дробную рациональную функ цию можно представитъ в виде суммы целой рациональной функции и правильной рациональной дроби.
Действительно, в результате деления многочлена g (z) степени т на многочлен / (z) степени га при т ^ га. (по правилу деления многочленов) получится частное р (z) — многочлен степени т — га
и остаток |
ф (z) — многочлен |
степени, меньшей |
га. |
||
Имеем |
тождество g (z) — f |
(z) p |
(z) + |
ф (z), |
разделив которое |
на f (z), получим |
|
|
|
|
|
|
g(z) |
|
<P(z) |
|
|
и теорема |
/ (z) = P(?) + |
/(z) |
’ |
|
|
доказана. |
|
|
|
|
|
Пусть многочлен / (z) имеет корень а кратности к; тогда этот |
|||||
многочлен |
можно представить в виде произведения |
||||
/ (z) = (z — a f f y(z), причем /х (a) =h 0.
Лемма. Всякую несократимую дробную рациональную функцию можно представитъ в виде суммы
g (z) = |
A |
gi (г) |
(22) |
|
/ ( z) |
(г — а)* ' |
(z — а)*-1/і |
(г) |
|
где Л — некоторая постоянная. |
|
|
А |
|
Для доказательства |
составим |
тождество |
относительно z и |
|
g (Z) |
Л |
g (Z) Л /і (Z) |
|
|
/ (2) |
(z — a)k |
(z — a)*/1 (z) |
|
|
Выберем Л при условии g (a) — Л/Да) — 0. Здесь g (a) =f=0, |
||||
так как исходная дробь несократимая, /Да) =/=0, так как число |
а |
|||
является корнем кратности к (и не выше) многочлена / (z). По этому числц Л единственно и Л / 0.
При таком выборе Л |
в силу следствия из теоремы 2 и. 56, |
числитель правой части |
(23) можно представить в виде g (z)— |
— Л/Дг) — (z — a) g 4(z). |
После сокращения правой части (23) |
на z — а получим равенство, из которого непосредственно следует тождество (22).
Таким образом, доказано, что из всякой несократимой дробной рациональной функции можно выделить в качестве слагаемого простейшую дробь.
С л е д с т в и е . Если к О 1, то, применяя лемму ко второму слагаемому правой части равенства (22) (предварительно сокра
тив его в случае |
надобности), получим равенство |
||
g (2) |
Ak |
|
g2 (z) |
/ (z) |
(z — a)k |
(z — a)*-1 |
(z — a)k~2f i( z ) ’ |
где A k — Л. Продолжая этот процесс выделения простейших дробей (если к Д>2), придем к равенству
g (z) |
_ |
Ak___ I |
Ak- 1 , |
I AI___ - |
gfe (z) |
|
/9/Л |
/ (z) |
~ |
(z — a)k ' |
( z - a ) * - 1 |
2 — « ' |
/ i ( z) |
' |
^ ' |
Формула (24) показывает, что каждому к-кратному корню знаменателя / (z) дробной рациональной функции соответст вует в правой части равенства (24) сумма к простых дробей.
Процесс выделения простых дробей может быть продолжен с помо-
щью леммы применительно к дроби у |
| . Таким образом, |
при |
||
ходим |
к следующему утверждению. |
|
где |
|
Теорема |
2. Пустъ / (z) = aQ(z — a)fe(z — b)°. . . (z — с)?, |
|||
a, h, |
. . ., |
c — различные корни f (z) |
соответственно кратности |
|
к, p, |
. . ., |
q. Всякую правильную дробную рациональную функцию |
||
можно представитъ, и притом единственным образом, в виде суммы простых дробей следующего вида.-
k |
As |
p |
B s |
q |
cs |
|
|
ф(г) _ V |
у |
у |
(25) |
||||
f (z) |
(z — a)s |
b £ |
(z — b)s "T ' • 1 ' |
£ |
(z — c)s |
||
|
s = i |
s - i |
s=»i |
Приведение правильной дробной рациональной функции к виду суммы (25) называется разложением этой функции на простейшие.
Частным случаем теоремы является следующее утверждение. Если все корни f (z) простые, то разложение / (z) на линейные множители имеет вид (14) с различными множителями в правой части, а формула * разложения соответствующей правильной ра
циональной |
дроби |
на простейшие |
имеет вид |
|
|||
|
Ф |
(z) |
|
А* |
|
Ап |
(26) |
|
/ |
( z ) |
Z — Z i ' |
Z — Z2 |
' |
Z ~ Z n ' |
|
|
|
||||||
Дробная |
рациональная |
функция |
называется вещественной, |
||||
если она представляет отношение двух вещественных целых рациональных функций.
Вещественными простейшими или простыми дробями назы
ваются |
вещественные дроби |
вида |
|
|
|
|
|
А |
и |
+ рх -j- q)I |
, |
|
(27) |
|
( ж — а ) А |
(ж2 |
|
|
|
|
где к и |
I — целые положительные числа и |
q |
Т |
> ° - |
||
|
|
|
|
|
||
Вопрос о разложении правильной вещественной рациональной дроби на вещественные простейшие рассмотрен в теореме 3, кото рую мы примем без доказательства.
Теорема 3. Всякую правильную вещественную дробную рацио
нальную функцию ф(ж) |
можно представитъ в виде конечной суммы |
/ И |
|
вещественных простейших дробей. При этом, если / (х) разло житъ на вещественные множители вида (х — a)h и (х 2 -f- рх q)1 при условии 4q — р 2 Д>0, то в указанной сумме каждому множи телю знаменателя вида
|
|
|
|
|
h |
|
|
1) (х — а)к соответствует сумма к слагаемых вида |
А, |
||||||
(ж—ау ’ |
|||||||
|
|
|
|
|
|||
2) (х2 -f |
рх + qy соответствует |
сумма |
|
s=l |
вида |
||
I слагаемых |
|||||||
|
I |
Bsx + Cs |
|
|
|
|
|
|
s2= i |
|
|
|
(28) |
||
|
{xt + px+qY |
’ |
|
|
|||
|
|
|
|
||||
где A s, B s |
и Cs — вещественные числа. |
|
хп многочлена |
/ (х) |
|||
В частном случае, когда все корни х х, . . ., |
|||||||
вещественные и простые, формула разложения правильной рацио нальной вещественной дроби имеет вид
|
Ф(Д)_ |
|
А]_ |
|
А2 |
|
Ап |
|
(29) |
|
f (х) |
X — хг |
' |
X — х2 ' |
’ ’ ’ ' ж—хп |
|
|||
|
|
|
|||||||
П р и м е р . |
Если |
/ (х) = |
(х — 1) (х + |
I)3 (ж2 -f- 2х ■+ 3), то |
формула |
||||
разложения правильной рациональной дроби на простейшие такова: |
|
||||||||
Ф (х) |
А |
I |
Ві |
! |
В2 |
I |
Ва____ I |
Сх-\- D |
• (30) |
/ (X) |
X 1 |
"I- |
ж +1 |
|
(æ +l)2 |
' |
(ж-f-1)3 |
ж2-|-2ж+ 3 |
|
* В общем случае формулой называется всякая символическая запись (алгебраическое выражение, а также равенство), содержащая какое-либо утверждение (предложение, суждение).
Сформулируем правило разложения правильной вещественной дробной рациональной функции на вещественные простейшие. Для этого надо
1)разложить знаменатель / (ж) на вещественные множители,
2)составить согласно теореме 3 формулу разложения дроби
на простейшие с неопределенными коэффициентами A s, B s, Cs,
3)привести обе части формулы разложения к общему знаме нателю и приравнять числители,
4)в полученном тождестве приравнять коэффициенты при одинаковых степенях х; получим систему уравнений относительно
A R |
C |
* 1 s 5 |
s ’ S ’ |
5)решить эту систему (система имеет единственное решение)
иподставить найденные коэффициенты в формулу разложения.
П р и м е р . Разложить на вещественные простейшие дроби функцию ж2 —1
Ж3-)-Ж
Следуя правилу, разложим знаменатель данной дроби на вещественные
простейшие множители ж3 -f- х = х (х2 |
+ 1). Формула разложения данной |
||
дроби на вещественные простейшие имеет , вид |
|
||
ж2—1 |
_ А |
В х + С |
|
X 3 - ) - X |
X |
' X 3 - ) - 1 |
|
Отсюда следует тождество ж2 — 1 = А |
(ж2 + 1) + (Вх + С) х. Путем |
срав |
|
нения коэффициентов при одинаковых степенях х получим систему А + |
В = |
||
= 1, С = О, А = —1, имеющую решение А — —1, В = 2, С = 0. Поэтому
имеем окончательно |
£2 |
I |
\ |
|
2х |
|
— |
--------1— _ |
, . . |
||
|
хЗ-f-x |
X |
ж2 |
+ 1 |
|
§9. СОЕДИНЕНИЯ. ОПРЕДЕЛИТЕЛИ
58.Элементы теории соединений. Пусть имеем п нумерован ных элементов
ßtj» **•> &П‘ (^) Из элементов множества (1) будем составлять различные подмно жества, содержащие каждое к элементов, где 1 к sg п. Эти подмножества называются соединениями; они бывают трех видов: сочетания, перестановки и размещения.
Сочетаниями из п элементов по к называются соединения, кото рые отличаются одно от другого по крайней мере одним элементом и содержат каждое к элементов из данных п элементов (1). Порядок
расположения |
элементов в сочетании во внимание не принимает |
|||||
ся. Например, |
из трех |
элементов |
аи а 2, |
а3 можно |
составить |
|
только такие |
сочетания |
по два элемента: а {а2, а.2а3, |
a ta3. |
|
||
Число различных сочетаний из п элементов по к обозначается |
||||||
символом Сп. Например, С\ — 3. |
|
|
|
|
||
Выведем формулу |
|
|
|
|
|
|
|
СЪ= |
” (” —1) • • • |
((га —ft+1) |
|
/2\ |
|
Если к = 1, то по определению имеем сочетания at, а2, |
■■-, |
|||||
ап, число которых равно п, поэтому С\ = |
п. Сочетания из п |
эле |
||||
ментов по 2 можно образовать так: возьмем любое сочетание из п
по 1: аъ а2, . . ., или ап и объединим выбранное сочетание с каждым из остальных элементов множества (1). Например, объединение а і с остальными элементами дает такие сочетания по два элемента:
ащ 2, |
« і«3, |
• • -, Яіап. Объединение |
а2 с остальными элементами |
дает |
а2а и |
а2аг, . . ., а2ап. Всего |
получится п (п — 1) таких |
объединений. Но этот результат |
надо разделить на два, так как |
|
каждое сочетание встречается два раза. Поэтому |
||
п— І |
~~ |
п(п —1) . |
ьп ^ ьп ш 2 |
2 |
|
Сочетания из п элементов по 3 образуем так: к каждому соче танию из п элементов по 2 присоединим третий элемент из тех п элементов множества (1), которые не входят в рассматриваемое сочетание по 2. Получим, таким образом, С%(п — 2) таких подмно жеств; но среди них каждое сочетание встретится три раза. Поэтому
г * _ р?, |
п ~ 2 |
п (п — 1) (п —2) |
|
|
Ln |
з — |
31 |
|
|
Можно доказать, что |
|
^---- . Отсюда |
следует сог |
|
ласно методу математической индукции формула (2). |
., ak назы |
|||
Перестановками из данных к элементов а 1, а2, |
. • |
|||
ваются соединения, каждое из которых содержит все к элементов
и которые |
отличаются |
лишь порядком элементов. |
Например, |
из трех элементов а, Ь, |
с можно составить только такие переста |
||
новки: abc, |
acb, bac, bca, cab, cba. |
|
|
Число различных перестановок из к элементов обозначается |
|||
символом Р |
(к). Например, Р (3) = 6. |
|
|
Выведем формулу |
Р (к)= кІ |
(3) |
|
|
|
||
Если к = 2, то имеется всего две перестановки: а {а2 и а2а t. Поэтому Р (2) = 2!. Все перестановки из трех элементов а и а2, а3 можно получить из перестановок двух элементов а ха2, а2а1 путем присоединения к ним элемента а3. Это присоединение можно осуществить трояко: поместив а3 до первого элемента, после второго элемента или между первым и вторым элементами. По этому Р (3) = Р(2)-3. Аналогично получим
P (т + 1) = Р (т) (т -|- 1), |
(4) |
потому что в перестановке из т элементов имеется т — 1 проме жутков между элементами, куда можно поместить элемент ат +і. Но его можно поместить еще до или после всей перестановки из т элементов. Из (4) следует согласно методу математической индук ции формула (3), потому что P (1) = 1.
Размещениями из п элементов по к называются такие соедине ния (содержащие каждое к элементов из данных п элементов), которые отличаются либо самими элементами, либо порядком элементов.
Из каждого сочетания из п элементов по к путем перемещения элементов, входящих в это сочетание, можно получить Р (к)
различных перестановок. Всего имеется Ск различных сочетаний из п элементов по к. Поэтому общее число различных размещений из п элементов по к равно произведению Ск на Р (к):
Ак— СкР (к) = п(п — 1) . . . (п —к + 1). |
(5) |
II р и м е р 1. Имеется 10 кандидатов на 3 о д и н а к о в ы х |
вакантных |
места. Найти число вариантов замещения трех одинаковых вакантных мест выборкой из десяти кандидатов.
Р е ш е н и е . Каждая выборка является сочетанием из 10 элементов по 3. В ней места одинаковы и поэтому порядок расположения кандидатов в выборке не имеет значения. По формуле (2) получаем
,я |
10-9-8 |
120. |
10 ~ |
1-2-3 — |
П р и м е р 2. Найти число вариантов замещения трех р а з л и ч н ы х вакантных мест выборкой из десяти кандидатов. В этом примере вакантные места различны, поэтому каждая выборка есть размещение из 10 кандидатов
по три и |
= 10-9-8 = 720. |
|
|
При вычислении числа сочетаний полезна формула |
|
||
|
s^k _ ^ |
___ |
(6) |
|
п ~ |
к\ (п— к) ! |
|
Выведем формулу (6). Путем умножения числителя и знамена теля формулы (2) на (п —к)\ получим формулу (6). Действительно,
çk |
п (п —1)-• -(я — fc + 1) |
(я —к)' • -2-1 |
_ |
п ! |
Ь п ~ |
1-2---А |
' (га — /с)! |
|
Аг ! (ге —А) ! " |
Из (6) непосредственно следует |
с помощью |
(2), что |
||
|
СТк = Ск. |
|
(7) |
|
59. Элементы теории определителей.
О п р е д е л е н и е 1. Матрицей называется совокупность чисел, расположенных в виде прямоугольной таблицы. Числа этой совокупности называются элементами матрицы.
/1 2 4 3\
Например, матрица I Q g ^ 1 / имеетДвестРокиичетыРестолбца.
Если число строк матрицы равно числу ее столбцов, то матрица называется квадратной. Рассмотрим квадратную матрицу второго порядка
ni M2
А2 =
а ' (8)
Щ“22
Оп р е д е л е н и е 2. Определителем второго порядка, со ответствующим матрице А 2, называется число, определяемое равенством
D (A Z): |
a 12 |
= |
а11й22 а 12а 21- |
(9) |
|
H l й22 |
|||||
|
|
|
|
||
|
м атри ц у |
тр етьего п о р яд к а |
|
||
|
а11 |
а12 |
яіз \ |
|
|
|
а21 |
Я22 |
й23 1• |
(10) |
|
|
а3і |
а 32 |
й33' |
|
|
В обозначении ее элемента ау, |
первый индекс і показывает номер |
|||||||||
строки, |
а |
второй |
к — номер |
столбца матрицы, на пересечении |
||||||
которых |
стоит |
элемент |
aik. |
|
|
|
|
|||
О п р е д е л е н и е |
3. Определителем третьего порядка, со |
|||||||||
ответствующим матрице |
А 3 называется число определяемое ра |
|||||||||
венством |
|
|
ап |
а12 |
|
|
|
|
|
|
|
|
|
|
« 1 3 |
|
|
|
|||
|
|
(Л) = |
« 2 1 |
« 2 2 |
« 2 3 |
— « 1 1 « 2 2 « 3 3 |
! |
|
||
|
|
|
|
« 3 1 |
« 3 2 |
« 3 3 |
|
|
|
|
|
|
|
« 1 3 « 2 1 « 3 2 — « 1 3 « 2 2 « 3 1 |
« 1 1 « 2 3 « 3 2 |
Ч 2 и '2 1 и '3 3 - |
( И ) |
||||
|
|
1 |
2 |
- 1 |
|
|
|
|
|
|
Например, |
2 |
0 |
3 |
= 18 - 8 |
—12 --- —2. |
|
|
|||
|
|
3 |
4 |
0 |
|
|
|
|
|
|
О с н о в н ы е |
с в о й с т в а |
о п р е д е л и т е л е й . Здесь |
||||||||
сформулированы свойства определителей п-то порядка, |
где п = 2 |
|||||||||
или п — 3; |
одни из этих свойств доказаны, |
а другие |
иллюстри |
|||||||
рованы примерами. Строгое доказательство всех свойств читатель найдет в главе XV.
1°. Величина определителя не меняется при замене его строк соответствующими столбцами.* Это так называемое свойство равноправности строк и столбцов определителя. Доказательство
(при п — 2): |
а |
Ъ |
|
а |
с |
|
|
|
|
|
|
||||
|
|
с |
d —ad — be = b |
d |
|
||
2°. |
При перестановке двух строк (столбцов) определителя |
||||||
между |
собой определитель |
меняет |
лишь |
знак. |
Доказательство |
||
(при п — 2) |
b |
|
|
|
с |
d |
|
|
a |
|
|
|
|||
|
с |
d |
ad — be — —(be — ad) = — а |
b ' |
|||
3°. |
Определитель с двумя одинаковыми строками (столбцами) |
||||||
равен |
нулю. Действительно, |
a b |
— ab — ab — 0. |
||||
a b |
|||||||
4°. |
Если все элементы какой-либо строки (столбца) определи |
||||||
теля содержат общий множитель, то его можно вынести за знак определителя:
а КЪ |
a |
b |
Xd |
■aXd — Xbc — X (ad — be) — X c |
d |
4a. Если все элементы некоторой строки (столбца) определи теля равны нулю, то определитель равен нулю. Для доказательства достаточно в предыдущей формуле положить X — 0.
5°. Если элементы некоторой строки (столбца) определителя суть суммы двух слагаемых, то определитель равен сумме двух
* См. примечание на стр. 447.
определителей, в которых элементы упомянутой строки (столбца) заменены отдельными слагаемыми. Например,
а-Ра |
b I |
а |
Ъ |
а Ь |
|
с + ß- d 1 |
с |
d + |
ß d |
||
Формула проверяется |
прямым вычислением. |
||||
О п р е д е л е н и е |
4. |
Минором определителя п-го порядка, |
|||
соответствующим элементу aik, называется определитель п — 1-го порядка, получающийся из основного определителя путем вы черкивания і-й строки и к-то столбца. Он обозначается символом
Аik-
О п р е д е л е н и е 5. Алгебраическим дополнением элемента aik определителя называется минор Д£*, взятый со знаком ( — l)t+k; он обозначается символом A ik:
AlkM ~ l) i+feArt. |
|
(12) |
|
2 |
3 4 |
П р и м е р . Элементам первой строки определителя А = |
6 |
1 2 |
|
- 1 0 5 |
|
соответствуют миноры |
|
|
|
|
|
|
|
|
|
Ац = 1 |
2 = 5, |
Ді2 = |
6 |
2 |
= 32, |
Дхз = |
6 |
1 |
= 1 |
О |
5 |
|
-1 |
5 |
|
|
-1 |
О |
|
и алгебраические |
дополнения |
|
|
|
|
|
|
|
|
А п = ( - 1)2-5 = 5, |
^4іа = ( —!)» -'32 = |
—32, |
Л1з = |
( - 1 ) 4 - 1= 1. |
|||||
Составим сумму парных произведений элементов первой строки на соответ ствующие алгебраические дополнения:
аііА ц -р ацА і2 -р візАіз — 2 • 5 -р 3 • ( — 32) —р4-1 — —82.
Вычислим данный определитель по формуле (11), получим Д = —82. Это сов падение результатов а ц А ц -р я12.412 + aiaA 13 — Д не случайно. Имеет место свойство 6.
6°. Сумма произведений элементов любой строки (столбца) определителя на соответствующие элементам этой строки (столб ца) алгебраические дополнения равна величине определителя. На пример, в случае определителя третьего порядка имеют место формулы
А = ап Ап + ап А1%-р а13А13,
А --= «21^21 + «22^22 + Ö23^231 |
(13) |
/А = аъ1Аіг -f а32А32 -р a3ZAzz.
Формулы (13) представляют р а з л о ж е н и я определителя по элементам первой, второй и третьей строк определителя соот ветственно.
Разложение определителя D (Л3) по элементам к-го столбца имеет вид
А = alkAlk + a2k^2k + a3kA3k (к = 1, 2, 3). |
(14) |
7°. Сумма произведений элементов любого ряда определителя на алгебраические дополнения, соответствующие элементам па раллельного ряда, равна нулю. При п — 3 имеем
аі\Ад + аі2А/г + aiaAj3 = 0 при іф ] .
a\k-A\l Т~ a2k-^2l 4“ a3k-Â-3l — 0 при к ф I.
8°. Величина определителя не изменится, если к элементам любого его ряда прибавить элементы параллельного ряда, умножен ные на один и тот же множитель. Например,
а |
b |
a-pXb |
b |
с |
d |
сфХй |
d |
П о н я т и е о п р е д е л и т е л я л ю б о г о п о р я д к а (в простейшем изложении). Свойство определителя третьего по рядка, выраженное формулой (13), допускает обобщение, которое может быть принято за определение определителя любого порядка. Так, если дана квадратная матрица 4-го порядка, то соответству
ющий ей |
определитель |
определяется |
равенством |
||
|
« и |
а 12 |
а 13 |
« ы |
|
D (A,) = |
« 2 1 |
« 2 2 |
« 2 3 |
« 2 4 |
*12^12 ’ «із^із Нац А и , |
« з і |
« 3 2 |
а зз |
« 4 1 |
а.12 |
а із |
«3 4
«4 4
где A ik — алгебраическое дополнение элемента aik.
Таким образом, определитель 4-го порядка выражен через определители 3-го порядка.
В общем случае определителем п-го порядка можно назвать сумму парных произведений элементов первой строки на соответ
ствующие им алгебраические дополнения: |
|
D (И„) = ап Аи + «12^12 + . • -Ф^щАхіг- |
(15) |
Заметим, что определители любого порядка п обладают всеми сформулированными выше свойствами 1°—8°.
П р и м е р . |
|
По формуле (15) при п — 5, а затем п = 4 последовательно |
|||||||||
получаем |
|
|
|
|
|
|
|
|
|
|
|
2 |
0 |
0 |
0 |
2 |
4 |
0 0 |
0 |
3 1 |
0 |
||
1 |
4 |
0 |
0 |
0 |
|||||||
= 2 0 3 |
|
|
|||||||||
0 |
0 |
3 |
1 |
0 |
1 0 = 2 -4 0 1 |
1 =2 • 4 • 3 = 24. |
|||||
0 |
0 |
0 |
1 |
1 |
0 0 |
1 1 |
0 0 1 |
||||
0 0 |
0 |
1 |
|||||||||
0 |
0 |
0 |
0 |
1 |
|
|
|||||
|
|
|
|
|
|
||||||
Рассмотрим систему двух уравнений с двумя неизвестными:
А±х ~hВ гу -f- С1— 0, |
А2х -f- В 2У"г С2— 0. |
(16) |
||||||
Составим три |
определителя: |
|
|
|
||||
А — |
А В г |
|
А |
в , А |
СХАХ |
(17) |
||
АгВ % |
в гс 2 |
с 2а 2 |
||||||
|
|
|
|
|||||
первый из них А называется определителем системы (16). |
|
|||||||
Докажем, |
что из |
системы |
(16) следует |
система |
|
|||
|
|
|
|
A-Æ^ A J , Л • г/ = Ач. |
|
(18) |
||
Для доказательства умножим первое из уравнений системы (16) на В 2, второе на — B t и сложим результаты; затем умножим первое из уравнений (16) на —А 2, второе — на А 1 и сложим эти результаты. Получим систему (18).
При условии А Ф 0 из системы (18) следует система (16). Дей ствительно, если умножить первое из уравнений (18) на А 1, а вто рое на В і и сложить полученные результаты, то получим равенство А(А рх -f В іу) = —АС1; из которого следует первое из уравнений (16). Аналогично выводится второе из уравнений (16).
При условии А =h 0 системы (16) и (18) эквивалентны и имеют
единственное решение, которое выражается формулами |
|
||
X = |
Д |
* |
(19) |
|
|
||
Этот результат можно сформулировать в виде следующей теоремы" Теорема Крамера *. Если определитель системы двух линейных уравнений с двумя неизвестными не равен нулю, то система имеет единственное решение-, причем каждая из неизвестных величин может бытъ представлена в виде дроби, у которой в знаменателе стоит определитель системы, а в числителе — определитель, получающийся из определителя системы путем замены коэффи циентов при определяемом неизвестном свободными членами систе
мы. |
і. |
Если система (16) однородна |
(т. е. Сt = |
С л е д с т в и е |
|||
= С2 = 0), то А 1= |
Д2 = 0, и поэтому в случае А =А 0 однород |
||
ная система имеет только нулевое решение. |
и имеет ре |
||
С л е д с т в и е |
2. |
Если система (16) однородна |
|
шение, отличное от нулевого, то ее определитель равен нулю. Действительно, если бы А =Е 0, то система имела бы только нуле вое решение, а по условию она имеет еще и ненулевое решение; поэтому А = 0.
Как сама теорема Крамера, так и оба ее следствия справед ливы и для системы п линейных уравнений с п неизвестными (см. гл. XV).
* Габриель Крамер (1704—1752) — швейцарский математик.
