220
ПОНЯТИЯ МНОЖЕСТВЛ, ГРУППЫ, КОЛЬЦЛ И поля
1 (знак получим лишь при п 1) и Применим
теорему о промежуточном значении функции хп на отрезке [0, с].
Так как то существует число Ь отрезка [О, с], для
которого Очевидно, Ь>О. Если также b' и
b' 7!: Ь, то при b'b будет 10,
теорема 4), т. е. ь'п 4: а, чем доказана единственность положительного
значения ј/а. При чётном п также
ьу — b)21 (8) а,
—b есть другое значение корня. Если Ь'<О и b' 4: —b, то
при будет: b'2> откуда
Ь (b2)T
Аналогично при будет: Этим доказана един-
ственность отрицательного значения
Если п нечётно, то/а отрицательных значений не имеет, ибо
из следует:
Других значений 6/0 не имеет, ибо
Если а то —
из следует так как поле не имеет делителей нуля.
Если и п нечётно, то по доказанному выше существует
олно и только одно число Ь и притом положительное, для которого
Тогда
Если b' то, как и выше, убедимся, что 11' п 4:
Итак, имеет единственное значение
Наконец, если а и п чётно, то а не имеет значений в
поле де\ђствительных чисел. В самом деле, так как поле действи-
тельных чисел является расположенным полем (S 10, определение 1),
то для любого числа Ь должно быть b2>O (S 10, теорема 7).
Поэтому т. е. # а.
Остановимся на разыскании угла по значению его синуса.
Теорема 5. Для любого числа а отрезка [О, 1] существует
одно и только одно число Ь отрезка О,
такое, что sin Ь.
До к аз а т ел ь с т в о. Функция f(x) х задана и непрерывна
на множестве всех действительных чисел, а следовательно, на от-
резке 0,
Так как sin О 4 а < sin
то по теореме о проме-
2'
жуточном значении существует число Ь отрезка 0, 2 ,
для кото-