Разберите ошибочное решение: "Доказано, что для всех x в R выполняется sin^2 x + cos^2 x = 1, значит функции sin x и cos x не имеют разрывов, следовательно любая их комбинация непрерывна" — укажите логическую недочётность и уточните условия
Логическая недочёт: из тождества sin2x+cos2x=1 \sin^2 x+\cos^2 x=1sin2x+cos2x=1 (равенство значений в каждой точке) никак не следует непрерывность функций sinx\sin xsinx и cosx\cos xcosx. Тождество даёт только алгебраическую связь между значениями функций в каждой точке, но не даёт информации о их поведении при приближении аргумента. Контрпример (простое опровержение): положим f(x)={1,x∈Q,−1,x∉Q,g(x)≡0.
f(x)=\begin{cases}1,&x\in\mathbb Q,\\-1,&x\notin\mathbb Q,\end{cases} \qquad g(x)\equiv0. f(x)={1,−1,x∈Q,x∈/Q,g(x)≡0.
Тогда f2(x)+g2(x)≡1f^2(x)+g^2(x)\equiv1f2(x)+g2(x)≡1 для всех xxx, но fff сильно разрывна. Значит из равенства f2+g2≡1f^2+g^2\equiv1f2+g2≡1 нельзя вывести непрерывность компонентов. Уточнение: чтобы сделать вывод о непрерывности, нужны дополнительные условия. Примеры достаточных условий для sin\sinsin и cos\coscos: - sin\sinsin и cos\coscos определены через степенные ряды sinx=∑k=0∞(−1)kx2k+1(2k+1)!,cosx=∑k=0∞(−1)kx2k(2k)!,
\sin x=\sum_{k=0}^\infty(-1)^k\frac{x^{2k+1}}{(2k+1)!},\qquad \cos x=\sum_{k=0}^\infty(-1)^k\frac{x^{2k}}{(2k)!}, sinx=k=0∑∞(−1)k(2k+1)!x2k+1,cosx=k=0∑∞(−1)k(2k)!x2k,
и ряды эти равномерно сходятся на компактах, следовательно функции непрерывны (даже аналитичны). - или через экспоненту: eix=cosx+isinxe^{ix}=\cos x+i\sin xeix=cosx+isinx и непрерывность eixe^{ix}eix (как композиции непрерывных eze^zez и ixixix) даёт непрерывность вещественной и мнимой частей. - или если известно, что fff и ggg — непрерывные (или аналитические, или решения ОДУ с заданными начальными условиями) и удовлетворяют f2+g2≡1f^2+g^2\equiv1f2+g2≡1, то это совместимо с непрерывностью; но само тождество не гарантирует её. Краткий вывод: нужно отличать точечные алгебраические тождества от свойств вида «непрерывность»; чтобы утверждать непрерывность, требуется дополнительная информация о том, как функции заданы или какие регулярности им предъявлены.
Контрпример (простое опровержение): положим
f(x)={1,x∈Q,−1,x∉Q,g(x)≡0. f(x)=\begin{cases}1,&x\in\mathbb Q,\\-1,&x\notin\mathbb Q,\end{cases}
\qquad g(x)\equiv0.
f(x)={1,−1, x∈Q,x∈/Q, g(x)≡0. Тогда f2(x)+g2(x)≡1f^2(x)+g^2(x)\equiv1f2(x)+g2(x)≡1 для всех xxx, но fff сильно разрывна. Значит из равенства f2+g2≡1f^2+g^2\equiv1f2+g2≡1 нельзя вывести непрерывность компонентов.
Уточнение: чтобы сделать вывод о непрерывности, нужны дополнительные условия. Примеры достаточных условий для sin\sinsin и cos\coscos:
- sin\sinsin и cos\coscos определены через степенные ряды
sinx=∑k=0∞(−1)kx2k+1(2k+1)!,cosx=∑k=0∞(−1)kx2k(2k)!, \sin x=\sum_{k=0}^\infty(-1)^k\frac{x^{2k+1}}{(2k+1)!},\qquad
\cos x=\sum_{k=0}^\infty(-1)^k\frac{x^{2k}}{(2k)!},
sinx=k=0∑∞ (−1)k(2k+1)!x2k+1 ,cosx=k=0∑∞ (−1)k(2k)!x2k , и ряды эти равномерно сходятся на компактах, следовательно функции непрерывны (даже аналитичны).
- или через экспоненту: eix=cosx+isinxe^{ix}=\cos x+i\sin xeix=cosx+isinx и непрерывность eixe^{ix}eix (как композиции непрерывных eze^zez и ixixix) даёт непрерывность вещественной и мнимой частей.
- или если известно, что fff и ggg — непрерывные (или аналитические, или решения ОДУ с заданными начальными условиями) и удовлетворяют f2+g2≡1f^2+g^2\equiv1f2+g2≡1, то это совместимо с непрерывностью; но само тождество не гарантирует её.
Краткий вывод: нужно отличать точечные алгебраические тождества от свойств вида «непрерывность»; чтобы утверждать непрерывность, требуется дополнительная информация о том, как функции заданы или какие регулярности им предъявлены.