
книги из ГПНТБ / Канин, Е. С. Тождественные преобразования учеб. пособие
.pdfпо определению
умножения одно членов
Таким образом, множество всех одночленов есть полугруппа во умножению.,
4. Кольцо многочленов (над полем действительных чисел).
||Многочленом называется сумма одночленов.
Многочлен |
одного |
переменного имеет вид |
^(х)-Сіст^Л-* |
|||||
+Wt+..+bfl.x'l= |
Z й-х x |
* |
, |
где ClK ( ic-О/, |
&,гъ) |
_ |
||
действительные |
числа. |
|
|
|
|
|
|
|
Два многочлена |
называются |
равными, если равны их коэффици |
||||||
енты при одинаковых |
степенях переменной. |
|
|
|
||||
Во множестве многочленов можно задать две алгебраические |
||||||||
операци': сложение |
и умножение. Для сложения |
выполняется |
обрат |
|||||
ная операция. Обратная |
же умножению |
операция |
не 'определена, т . к . |
|||||
частное от деления |
двух многочленов |
(при делителе, |
отличном от |
|||||
нуля), вообще говоря, есть рациональная дробь. |
|
|
||||||
Пусть даны два многочлена |
р(х-) = Л-,+ Й . ѵ Я Г Л / І |
*-...'ЛЛ |
- 2_а< |
Суммой их при |
/г^/тг-^ |
называется |
многочлен |
f(<b)tÇ}(x)* |
|
- c . ^ , a - ^ * V . . * Ç , x * s |
Z |
Л с * * где |
СК-ал'К |
|
|
|
• |
/С *0 |
|
|
|
(при К?т . Ьк = О |
)_ |
|
|
|
|
Произведением |
многочленов / А У и |
называется мно- |
|||
гочлен IM-aWd.^** |
|
|
• • • + < г , п ^ ' П \ а , 1 |
Г , , У ' П * 1 а г |
|
где &к\2-аР&с |
|
|
|
|
"° |
prg-K |
|
|
|
|
|
|
- 9 - |
|
|
Очевидно, wo |
{M+$(x)*2fxhf{*J |
ЧЛІ |
CK*dSèK' |
~êra?CK. Операция |
сложения коммутативна. |
|
|
Пусть дан еще многочлен *f(x)- Се |
+ С,хт%х\../cdx |
^ і&лгьп. . |
|
Тогда |
$(Ф$Щ^Ф]*[{Ъ+і)+[я^і.)хт/ъ'№'+...+ |
+ fa* k + |
V . , т(а*. ^ 4 rbjx**-... |
|
+(си++ |
|
|
||||||
|
|
|
|
|
|
|
сложение ассоциативно. |
||||
Роль |
элемента |
t- |
при сложении |
играет |
многочгзн, все. коэф |
||||||
фициенты которого нули, т . е . 0: |
|
|
|
|
|
|
|||||
Противоположный |
(обратным по сложению) |
многочлену |
|
||||||||
|
|
Л; |
|
|
|
|
|
|
л- |
х |
|
^ ( % ) ' / . ^ ^ " можно назвать многочлен - •f(x) - |
(-&к% J |
||||||||||
и тогда |
ï[x)r[-Hx)]'-0, |
-f(x)tfM*0. |
|
|
7° |
|
|||||
Действительно. |
|
f{x)r[-fi*)] |
L |
*<х |
L |
|
~- |
||||
Итак, |
множество |
многочленов |
над полем |
R. |
есть |
абелева |
|||||
группа |
по сложению. |
|
|
|
|
|
|
|
|
|
|
Аналогично можно проверить коммутативность и ассоциатив - |
|||||||||||
ность |
умножения и убедиться, что по умножению множество много |
||||||||||
членов |
есть коммутативная полугруппа. |
|
|
|
|
|
|||||
Можно убедиться |
в выполнении |
законов дистрибутивности умно |
|||||||||
жения |
относительно |
сложения. Для этого |
достаточно |
рассмотреть |
|||||||
коэффициенты при одинаковых степенях |
X |
в выражениях |
f(^,'[f''-x-^^^'J |
. |
По определению |
суммы и проиэведешія |
|||||
многочленов коэффициент при ХЛ |
, |
где |
Л- = О, 4, 2>, |
Л Ж |
^ |
||
в первой выражении должен иметь вид |
|
|
|
|
|
||
У ^ / 4 1 с * ) * Z . a t & r |
2^а*ь. |
|
|
|
|
||
Последняя же сумма есть коэффициент при |
ОС (к-О^Л) |
|
•••)л*^) |
||||
во втором выражении. |
|
|
|
|
|
|
|
Итак, множество многочленов от одного переменного с дейст |
|||||||
вительными коэффициентами |
(над полем |
R- |
) является |
коммутатив |
|||
ным кольцом. |
|
|
|
|
|
|
|
Аналогично устанавливается, |
что |
множество многочленов |
от |
||||
нескольких переменных над |
произвольным полем ( т . е . |
с |
коэффициен |
тами, являющимися элементами произвольного поля) образуют кольцо
(см. Курош, Высшая |
алгебра, М-62). |
|
|
|
§ |
2. Основные |
положения |
|
|
I . |
Сущѳотвуют две точки зрения на |
тождественные |
преобразо |
|
вания. Это точка зрения алгебраическая, |
рассмотренная |
выше, и |
||
точка зрения теоретико-функциональная, |
рассматривающая многочлен |
|||
как целую рациональную функцию (одного |
или нескольких |
переменных). |
В школе не представляется возможным придерживаться только алгеб раической точки зрения, она едва ли доступна для уч*ни*Ьв, изу чающих начальную алгебру. Однако и игнорировать^* Йолноотыз
нельзя. Полезно объединение этих двух позиций: I ) |
рассматривать |
|
на множестве одночленов лишь одну операцию - умножение, |
назвав |
|
ее. приведением одночлена к каноническому виду;*) |
2) не |
рао- |
См. определение в 5 4 этой главы.
- I I -
сматривать специально деление многочлѳноь, отнеся его в раздел "рациональные дроби" (туда же отнести преобразования о дробями, числители и знаментали которых есть одночлены); 3) считать тож дественно равными два целых рациональных выражения, значения кото рых совпадают при одинаковых значениях входящих в них переменных; чО тождественные преобразования строить на основе законов ариф метических действий (аксиом полугруппы и кольца).
Сразу надо оговориться, что действия над алгебраическими выражениями в том смысле, который принят в арифметике, выполнить нельзя. Действия можно лишь обозначить. Выполнять обозначенные действия возможно только при каждой конкретном наборе числовых значений, входящих в эти выражения букв. Это будет основная дого воренность о тождественных преобразованиях: действия над алгеб раическими выражениями только обозначаются. Для обозначения при
меняются |
следующие знаки: |
сложение |
обозначается знаком +, |
вычи |
|||
тание |
знаком - , |
умножение |
знаком |
который |
часто опускае-ся, де |
||
ление |
- |
чертой |
дроби. |
|
|
|
|
|
Стоит пояснить, почему для обозначения |
деления выбрана |
дроб |
ная черта, а не двоеточие. Принятое в шкояе обозначение деления двоеточием часто приводит к неприятностям. Действительно, в вы ражении 4л1е3 •' 7&е2С н е ясно, каков порядок действий. По су ществовавшему в арифметике соглашению действия одной ступени (в данном случае, второй) должны выполняться по порядку, т . е . деле ние должно бы производиться (после подстановки числовых значений букв) на 7. Во всех же школьных учебниках и задачниках считается, что в рассматриваемом выражении обозначено деление на одночлен ^•С^ЬгС . Это противоречит высказанному выше предложению, принято му в арифметике. Чтобы избежать такого противоречия,нужно либо
- 12 -
употреблять скобки для обозначения порядка обозначенных умножений t/u* І*
и делений, либо записывать деление дробью |
"^З^р^Г |
• В ъчаЬ |
|
книге, как и в большинстве математических |
книг, |
принято |
последнее. |
2. К определению алгебраических выражений |
следует |
подходить |
|
с позиции математического анализа, считая |
многочлен целой, а ал- |
гебраичеокую дробь - дробно-рациональной функцией. Это значит, что алгебраические выражения определяются в зависимости от операций,
обозначенных над переменными и постоянными. |
|
|
|
|
|
||||||
Определение |
I . |
Рациональным |
называется |
такое алгебраическое |
|||||||
выражение,, которое |
составлено |
из |
постоянных, |
переменных, |
знаков |
||||||
арифметических действий |
и скобок. |
|
|
|
|
|
|
||||
Определение |
2. |
Рациональное |
алгебраическое |
выражение |
назы |
||||||
вается целым, если в нем не обозначено деление на переменное. |
|||||||||||
Оігеделение |
3. |
Рациональное |
алгебраическое |
выражение |
назы |
||||||
вается дробным, если в нем обозначено деление |
на |
выражение, |
содер |
||||||||
жащее |
переменное. |
|
|
|
|
|
|
|
|
|
|
Определения одночлена и многочлена были сформулированы выаѳ. |
|||||||||||
Понятие алгебраической дроби будет определено |
в |
главе |
П. |
|
|
||||||
3. |
Изучение |
тождест .енных |
преобразований |
требует |
хорошего |
||||||
владения понятием равенства. Равенством называется два |
вирам н и , |
||||||||||
соединенных знаком ( » ) : |
Д - |
- |
равенство. Дальнейший |
интерес |
для изучения тождественных преобразований представляет верные ра
венства, |
обладающие |
следующими |
свойствами |
(ажсиоиамі |
равеяст»): |
|||
Û |
А = А |
|
(аксиома |
рефлексивности равенств). |
' «# |
|||
2) |
Если |
А~ h |
. то |
Ь = |
А |
(аксиома симметричности ра |
||
венств). |
|
|
|
|
|
|
|
|
3) |
Еслн |
A-fe |
и |
5*С |
|
, , о |
А = С |
|
(аксиома тріяея-
тивности).
- 13 -
Последнее свойство имеет существенное значение в тождествен ных преобразованиях.
Тождество - частный случай хирного равенства, и поэтому об ладает всеми перечисленными свойствами равенства.
Ч. Законы арифметических действий следует считать акоиомайи тождественных преобразований. Доказательств, приведенные в пре дыдущем параграфе, в школе мокчо предлагать только в старших клас сах (возможно даже лишь на факультативных занятиях).
Законы арифметических действий - основные предложения о тож дественных прѳобраэованитс и потому заслуживают тщательного изу чения. В теоретической арифметике доказывается выполнимость ком мутативности и ассоциативности сложения и умножения, а также дис трибутивности умножения относительно сложения во множестве нату ральных чисел. Несложно доказать выполнимость эт их законов во множествах целых и рациональных чисел, опираясь на их выполни мость во множестве положительных целых чисел и положительных д і э - бѳй. Коммутативность умножения рациональных чисел можно доказать,
например, |
так: |
|
|
|
|
|
|
I ) |
Числа Сс ж è |
имеют |
противоположные |
знаки. |
|||
|
|
|
по определению |
умножения |
|
||
|
|
|
коммутативность |
умножения |
положительных |
||
- |
êa |
чисел |
* ' |
|
|
|
|
по определению |
умножения. |
|
|||||
|
|
|
|
||||
и) |
|
обоснования |
будут |
записываться справа, |
для краткости |
||
Далее |
|||||||
не будут |
употребляться |
слова |
"на основании", |
"вследствие" и т . д . , |
|||
а будет писаться только само основание. Например, вместо "по |
|||||||
свойству коммутативности умножения" будет записываться "коммута |
|||||||
тивность |
умножения". |
|
|
|
|
|
|
|
|
|
|
- |
в |
- |
|
|
|
|
|
|
2) |
Числа |
Cl и |
і> |
имеют |
одинаковые |
знаки |
|
|
|
||||
СіЬ - /#•/' |
|
(по определению |
умножения |
|
|
||||||||
|
|
|
|
|
по |
коммутативности умножения |
положительных |
||||||
- |
êfr. |
|
|
чисел |
|
|
|
|
|
|
|
||
|
|
по |
определении |
умножения. |
|
|
|||||||
3) |
Один из множителей |
ость нуль. |
|
|
|
|
|
||||||
Ci, • 0 - 0 • а - О |
по аксиоме. |
|
|
|
|
|
|||||||
Читатель |
сможет |
CBJÂ доказать |
выполнимом •. других |
законов |
|||||||||
действий |
в |
поле рациональных |
или кольце |
^елых |
чисел. |
|
|
||||||
Следует заметить, что коммутативность умножения (сложения) |
|||||||||||||
таким образом доказывается для двух множителей (двух |
слагаемых). |
||||||||||||
Поэтому применять коммутативность к произведению большего чиола |
|||||||||||||
множи елей (слагаемых) без дополнительных рассуждений |
нельзя. |
||||||||||||
Прежде |
надо оговориться, |
что умножение (сложение) |
нескольких |
||||||||||
множителей (слагаемых) выполняется по порядку, т . е . |
|
|
|||||||||||
aêcd --luèjcci =fia è) с] du |
c4-ê>rctd=(a*èjt-e*d^fjû.i-è)tc]>-d. |
||||||||||||
Это |
фактически |
определения умножения более двух множителей |
|||||||||||
и сложения |
более двух |
слагаемых. |
|
|
|
|
|
|
|||||
При |
обозначении |
нескольких дейотвий их порядок, |
как и в |
||||||||||
арифметике, |
зависит |
от ступени действия и расставляемых |
скобок. |
||||||||||
Вот как можно доказать коммутативность при умножении трех • |
|||||||||||||
множителей, |
исходя из коммутативности |
для двух |
множителей и а с |
||||||||||
социативности умножения. Возможны б вариантов расположения трех |
|||||||||||||
множителей в |
произведении. Пусть требуется доказать, |
что с-і&іцЛ^І |
|||||||||||
|
|
|
|
ассоциативность |
умножения |
|
|
|
|||||
= acß. |
|
|
|
коммутативность |
умножения |
двух множителей |
|||||||
|
|
|
ассоциативность |
умножения. |
|
|
|
Аналогично рассматриваются еще 4 равенства {aêt« tue j ç<.lt'i£*a,
- 15 -
аве = cêa*', ciSe - еле ) , По транзитивности равенств умножение • трех множителей коммутативно. Таким же образом можно доказать коммутативность умножения большего чиола множителей, но это по требовало бы длительных рассуждений» Поэтому ^.алее без доказа тельства принимаются следующие предложения:
1) Операция умножения (сложения) в произведении (сумме) лю бого числа множителей (слагаемідх) обладает свойством ^оммутатив-
нооти.
2)Умножение и сложение (любого чиола элементов) ассоциа
тивны.
3)Свойство диотрибутиві-ооти умножения по отношению к сло жению справедливо для любого числа слагаемых.
Надо оговориться, что под суммой подразумеваетоя алгебраи ческая сумма, а высказанные предложения справедливы во множест
вах |
JY |
, |
2 |
• |
Q * |
ß |
и |
С F а |
также |
в кольце |
многочленов |
|
(над произвольным полем). В полугруппе одночленов выполняются |
||||||||||||
свойства |
коммутативности |
и ассоциативности |
|
умножения лобогэ чис |
||||||||
ла |
множителей. |
|
|
|
|
|
|
|
|
|
||
|
Итак, ооновные предложения (акоиомы), на которых отроятся |
|||||||||||
тождественные |
преобразования: |
|
|
|
|
|
||||||
I . |
Соглашение: Действия |
над алгебраическими |
выражениями только |
|||||||||
обозначаются, |
|
|
|
|
|
|
|
|
|
|||
П. |
I ) |
Сложение |
целых |
рациональных выражений |
коммутативно, т . е . |
|||||||
|
2) |
Сложение |
ассоциативно, т . е . (at $}+с |
|
= &*• ( |
ère). |
||||||
|
3) |
Умножение |
коммутативно: |
|
aê^êa.. |
|
|
|
||||
|
4) |
Умножение |
ассоциативно: |
(aêjc |
' л |
(4с) |
|
-16 -
5)Умножение дистрибутивно относительно сложения:
|
ft/^ej»o«tM |
; |
(è*cja |
- |
êa |
иг |
|
|
|
||
Здеоь |
буквы |
сс) ê, ô обозначают |
любой одночлен |
или многочлен |
|||||||
(далее - любое рациональное алгебраическое |
выражение). |
|
|||||||||
Кроме этих аксиом |
выполняются |
аксиомы |
о действиях |
с нулем |
|||||||
и единицей и аксиомы равенств: |
|
|
|
|
|
|
|
||||
Ш. 6) |
л + |
Огсь - а,; |
дг. |
9) |
а |
' Си |
|
|
|
|
|
7) |
а,-0~ |
0 ci - О- |
|
Ю) Еоли |
» |
J |
, M ^ « f t . |
||||
ѳ ) |
У • а |
- а> • |
|
и ) |
Если |
а-- |
& |
и |
è>* е |
,чо а°-е |
|
Вое остальные преобразования должны быть обоснованы осылкой |
|||||||||||
на эти аксиомы, введенные определения |
или доказанные уже предло |
||||||||||
жения |
|
|
|
|
|
|
|
|
|
|
|
Пример. |
Доказать |
справедливость |
равенства |
|
а - ê - Cl г (- &) • |
||||||
|
|
свойство уменьшаемого |
(выражено |
через |
разность |
||||||
|
|
и вычитаемое) |
|
|
|
|
|
|
|
||
|
|
ассоциативность |
сложения |
(аксиома 2) |
|
||||||
|
|
определение суммы противоположных чисел (выра |
|||||||||
|
|
жений) |
|
|
|
|
|
|
|
|
|
= ci • |
' |
аксиома |
|
|
|
|
|
|
|
|
|
§ 3. Степени с натуральными показателями и их преобразования |
|||||||||||
Аналогично тому, как сумма нескольких одинаковых слагаемых |
|||||||||||
заменяется произгчдекием ( 3+3+3+4 = 3»4 - |
12 ) |
к |
записывается |
короче, произведение нескольких одинаковых множителей тоже можно
записать |
короче: |
|
|
|
3 ' 3 ' 3 ' Э |
= 34 = 81, |
4-t-4 = 43 = 64, |
2-2-2-2-2-2 |
-2-2 - 2 е » 256 |
Такая сокращенная |
запись произведения |
нескольких |
множителей |
|
|
|
|
|
|
|
|
- |
17 |
- |
|
|
|
|
|
|
|
|
|
|
|
|
|
часто |
употребляется и называется степень». |
|
|
|
|
|
|
|
|||||||||||||||
|
Определение. |
Произведение |
нескольких равных |
множителей |
на |
||||||||||||||||||
зывается степенью. При этом каждыГ из разных множителей называ |
|||||||||||||||||||||||
ется основанием степени, а число разных множителей в произведе |
|||||||||||||||||||||||
нии - |
показателем |
степени. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
В степени |
З^ |
основанием |
является |
число 3 (равными мкожите- |
||||||||||||||||||
Л.ІНИ являются |
тройки), |
а |
показателем |
- |
число 4 (число множителей- |
||||||||||||||||||
троек равно четырем). Осноинио степени |
пишется в отроке, а пока |
||||||||||||||||||||||
затель |
степени пишется |
справа |
вверху |
от |
|
основания. |
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
к |
|
|
|
|
|
|
|
|
Неправильно |
будет |
говорить, |
будто |
3 |
означает, |
что "3 умно |
||||||||||||||||
жается |
само |
на |
себя |
4 раза" . |
Если выполнять |
умяоиение, |
то |
тольтсо |
|||||||||||||||
З ' З |
есть умноЕвниѳ числа 3 на себя самого. Уиѳ |
3-"»3 |
= |
9*3, |
|
||||||||||||||||||
т . е . |
далее |
на |
3 |
умножается |
уже |
число |
9, |
а не 3. Кроме того в сте - |
|||||||||||||||
пени |
3 = 3-3«3»3 |
|
обозначено |
не |
4, |
а 3 |
действия |
умножения (это |
|||||||||||||||
множителей |
4) . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
Символически |
степень |
записывается |
в |
виде |
д л |
, |
где |
а. |
- |
|||||||||||||
основание, |
ft |
- |
натуральный |
показатель |
|
степени. |
|
|
|
|
|
||||||||||||
|
Для степеней с натуральными показателями справедливы сле |
||||||||||||||||||||||
дующие |
теоремы: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Il |
Теорема |
I . |
а |
• |
ft |
= |
ft |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
Доказательство. |
3 |
произведении |
& |
-a |
|
U |
берется мно |
|||||||||||||||
жителем |
tu- |
раз |
в |
а |
14 |
и еще |
П |
раз |
в |
а* . |
Таким |
обра |
|||||||||||
зом, |
в |
заданное |
произведение |
Ci |
входит |
в |
качестве |
множителя |
|||||||||||||||
mt |
п |
р а з , |
что |
по определению |
|
степени |
записывается |
Û. |
|
|
|||||||||||||
|
Замечание: |
|
удобно |
считать |
|
^исло множителей |
в |
произведении |
|||||||||||||||
5 |
4 |
|
|
|
|
|
|
|
|
|
|
|
Гос. публичная |
|
{ |
|
|
|
|||||
.?. -2 |
|
содержится |
5 |
|
|
|
|
|
|
|
|
Поэтому |
|||||||||||
|
и ^ множителей 2, |
т . е . 9 множителей 2. |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
каучно - |
тс.лч,-, . |
'-ГГ.» |
; |
|
|
|
|||||
2 5 - 2 |
Ч = |
г 9 . |
|
|
|
|
|
|
|
|
|
|
библиотека |
С ••...• |
ѵ |
> |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
Э К З Е М П Л Я Р |
|
' |
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
ЧИТАЛЬНОГО |
3'К'Г |
|
|
|
|