Файл: Канин, Е. С. Тождественные преобразования учеб. пособие.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 01.11.2024
Просмотров: 95
Скачиваний: 0
- 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с) |
|