АКСИОМА НЕПРЕРЫВНОСТИ (ПРИНЦИП ДЕДЕКИНДА)
Пусть AA, BB -- непустые подмножества RR такие, что
∀a∈A,b∈B → a≤b.∀a∈A,b∈B → a≤b.
Тогда существует c∈Rc∈R такое, что
∀a∈A,b∈B → a≤c≤b.
НЕКОТОРЫЕ СЛЕДСТВИЯ ИЗ АКСИОМ МНОЖЕСТВА ДЕЙСТВИТЕЛЬНЫХ ЧИСЕЛ
Число 0 единственно.
Для любого aa число (−a)(−a), противоположное к aa единственно.
Для любых a,b∈Ra,b∈R существует единственное xx такое, что a+x=ba+x=b (при этом x=b+(−a)x=b+(−a); это число называется разностью между bb и aa и обозначается b−ab−a).
Число 1 единственно.
ясно, что 1+sinx≥0 ; 1-sinx ≥0 ; 1+cosx ≥0.
следовательно √(1+sinx) - √(1-sinx) ≥0.⇔√(1+sinx) ≥ √(1-sinx) ⇔sinx ≥0.
---
(√(1+sinx) - √(1-sinx))² = (1+cosx)² ;
(1+sinx) - 2√(1+sinx)(1-sinx) + (1-sinx) = 1+2cosx+ cos²x ;
2 - 2|cosx| = 1+2cosx+ cos²x ⇔ cos²x +2cosx +2|cosx| -1 =0 .
Если:
а) cosx< 0⇒cos²x +2cosx -2cosx -1 =0 ⇔cos²x =1 ⇒ cosx = -1⇒
x = π+2πn , n∈Z .
б) cosx≥ 0⇒cos²x +4cosx -1 =0 ⇔
[cosx = -2-√5 < -1 (не имеет решения) ; cosx = -2+√5 =0.
x = arccos(√5-2) + 2πn , n∈Z (должна быть sinx ≥0 ) .
ответ : π+2πn ; arccos(√5-2) + 2πn , n∈Z.
* * * * * * *
1+sinx =sin²x/2 +2sinx/2*cosx/2 +cos²x/2 =(sinx/2 +cosx/2)² ;
1-sinx =sin²x/2 -2sinx/2*cosx/2 +cos²x/2 =(sinx/2 -cosx/2)² ;
1+cosx =2cos²x/2 .
√(1+sinx) - √(1-sinx) =1+cosx ⇔|sinx/2 +cosx/2| +|sinx/2 -cosx/2| =2cos²x/2 и
т.д.