zLoyyyy | ||||||||
Мой вопрос: Дана последовательность а[1]=1, а[n+1]=sin(a[n]) К чему она сходится? Доказать. |
||||||||
Devourer | ||||||||
К нулю. Если х принадлежит (0;1,5), то 0<sin(x)<x Получается, что все точки сдвигаются к нулю. Писал наскоро, поэтому выглядит док-во не совсем строгим. |
||||||||
zLoyyyy | ||||||||
Всё, нашёл. нужно сравнить последовательность a[n] c последовательностью b[n]=a[n+1], который сходятся к одному пределу. Это сообщение отредактировал zLoyyyy - 26-07-2007 - 13:23 |
||||||||
Devourer | ||||||||
И придёшь к исходной задаче. Предел то неизвестен. Да и сходимость не доказана. |
||||||||
Devourer | ||||||||
Дополню себя. Необх. и достаточным условием сходимости ряда а(i) будет стремление разности а(i+1)-a(i) к нулю, т.е. sin(x)-x должен стремиться к нулю. Так как функция sin(x)-x непрерывна, то её предел совпадает с её значением, т.е. пределом a(i) будет точка удовлетворяющая sin(x)-x=0. Это точка 0. |
||||||||
zLoyyyy | ||||||||
Ну почему? Если предел a[n]=L, то предел b[n]=sin (L) Из чего следует что L=sin(L) . Единственное возможное решение : L=0.
да, это верно. Но я не пойму как осуществляется переход от функции к последовательности ? Его ещё нужно обосновать... или нет ? ![]()
Это же очевидно: монотонно убывающая функция, ограниченная снизу любым отрицательным числом. Это сообщение отредактировал zLoyyyy - 27-07-2007 - 00:15 |
||||||||
Devourer | ||||||||
Видимо мы оба правы. А переход осуществить легко: просто выбрать последовательность значений функции из её "непрерывного" интервала значений. Тут вообще кто-нибудь ещё есть? Может нас прокомментируют? |
||||||||
zLoyyyy | ||||||||
Я знаю что есть такой метод, основанный на определении предела по Гейне, только вот пример строгого обоснования мне не попадался. Самому думать лень, кто бы показал... |
||||||||
Devourer | ||||||||
Хотел привести пример по вашему способу решения: Пусть a(i+1)=a(i)^2. Тогда x=x^2, x1=0, x2=1. Вроде бы 2 предела. Но если а(0)=2, то ни к одному не стремится. |
||||||||
zLoyyyy | ||||||||
Мой способ предполагает предварительное доказательство сходимости в этом его недостаток(или достоинство) |
||||||||
Devourer | ||||||||
Вот ещё задачка: Известно что x+f(x)=f(f(x)) (равно в смысле тождественно равно). Решить f(f(x))=0. |
||||||||
zLoyyyy | ||||||||
f(f(x))=0 => x+f(x)=0 => f(x) = -x Подставляем в тождество: x + (-x) = -(-x) => x=0 |
||||||||
Devourer | ||||||||
Секундочку. Подробнее: Подставляем в тождество: x+(-x)=f(-x) f(-x)=0 А дальше? |
||||||||
zLoyyyy | ||||||||
f(y) = -y, следовательно f(-x) = -(-x)=x. f(x) - функция вычисления противоположного числа. Это сообщение отредактировал zLoyyyy - 05-08-2007 - 10:33 |
||||||||
Devourer | ||||||||
А вот и нет. Вы путаете равенство тождественное и обычное. f(x)=-x выполняется не во всех точках, а только в точках удовлетворяющих f(f(x))=0, следуя вашим рассуждениям. Поэтому нельзя делать вывод что f(-x)=x. Докажите нечётность функции f(x). А ответ, кстати, правильный. |
||||||||
zLoyyyy | ||||||||
Согласен. Я перемудрил. Однако, если требуется найти только значение х . То можно рассматривать два равенства, как условие, которому может отвечать только х=0. Совместное решение двух уравнений приводит к такому результату. |
||||||||
Devourer | ||||||||
Хорошо. Ещё одну задачку, если Вам не надоело.) Тело Фn:{x,y,z| 3|x|^n+|8y|^n+|z|^n<1}. Тело Ф=объединение всех Фi, i от 1 до бесконечности. Найти объём Ф. |
||||||||
Ted_dy | ||||||||
Из условия следует, что если точка лежит в Ф_n то все ее координаты по модулю меньше единицы. Следовательно, из того, что точка принадлежит Ф_n следует что она принадлежит Ф_{n+1}. Значит объединение совпадает с Ф_1. Тело же Ф_1 представляет собой аффинный образ октаэдра и объем его следовательно равен 8/6*1/3*1/8=1/18. Последний шаг можно сделать иначе, заметив, что указанное тело состоит из трех прямоугольных тетраэдров. Ф. |
||||||||
Devourer | ||||||||
Неа! ![]() |
||||||||
Ted_dy | ||||||||
Тьфу! Наоборот с Ф_бесконечность. То есть с множеством max{x,8y,z}<1. Это параллелепипед, объём которого равен 1. Ф. |
||||||||
Devourer | ||||||||
Совершенно верно. Это параллелепипед 2 на 2 на 1/4. Итого объём=1. Если кому интересны более подробные рассуждения, то вот на примере х: Для любой точки -1<x<1 найдётся n такое что 3|x|^n+|8y|^n+|z|^n<1 для любых -1/8<y<1/8, -1<z<1. Для остальных же это не так. Аналогично доказывается, что y и z лежат в соответствующих интервалах. |
||||||||
Devourer | ||||||||
Если не надоел я вам со своей ерундой, то позвольте предложить ещё одну задачку с весьма на мой взгляд красивым решением: Найти х, при которых функция f(x), удовлетворяющая при всех x не равном 0 и 1: f(x)+f(1/(1-x))=x имеет экстремумы. |
||||||||
Ted_dy | ||||||||
Не знаю при чем тут экстремумы. Эту функцию можно просто найти. f(x)+f(1/(1-x))=x подставим 1/(1-x) вместо x, получим f(1/(1-x))+f((x-1)/x)=1/(1-x) полставим (x-1)/x вместо x, получим f((x-1)/x)+f(x)=(x-1)/x Сложим первое равенство с последним и вычтем второе, получим 2f(x)=x+(x-1)/x-1/(1-x) Выяснять, есть ли у этой функции экстремумы мне честно говоря лень... Ну наверное есть. Ф. |
||||||||
Devourer | ||||||||
![]() А экстремумы - чтобы с толку сбить. |
||||||||
Devourer | ||||||||
Тогда ещё вот: Установить взаимно-однозначное отображение (биекцию) отрезка [-1;+1] на интервал (-1;+1). То есть указать правило по которому каждому элементу первого множества будет соответствовать единственный элемент другого множества, и наоборот. |
||||||||
ole256 | ||||||||
Предположу. Для каждого числа x из [-1 ; +1] если x=(+-)1/m^n, то f(x) = (+-)1/m^(n+1), В противном случае f(x) = x. m - любое натуральное, кроме 1 (например, 2), n - натуральное или 0. | ||||||||
Devourer | ||||||||
Совершенно верно. Можно немного попроще: Для каждого числа x из [-1 ; +1] если x=(+-)1/n, то f(x) = (+-)1/(n+1), В противном случае f(x) = x. n - натуральное. |
||||||||
ole256 | ||||||||
Загадаю простую задачу из математики: для каких невырожденных прямоугольных треугольников со сторонами a, b и c (a и b - катеты) выполняется равенство: a^2007 + b^2007 = c^2007 ? |
||||||||
Devourer | ||||||||
Полагаю что ни для каких. У нас есть система: 1)a^2007+b^2007=c^2007; 2)a^2+b^2=c^2 Кроме того, a>0, b>0. (a^2007+b^2007)^2=(a^2+b^2)^2007 a^4014+2(ab)^2007+b^4014=a^4014+2007*a^4012*b^2+...+C*a^2008*b^2006+C*a^2008*b^2006+...+2007*a^2*b^4012+b^4014 где С - число сочетаний либо 4014 по 2006, либо 4014 по 2008 (они равны). Cократим что можно. Все члены правой части больше нуля. Я обозначу их всех кроме средних как S.: 2(ab)^2007=S+2C(ab)^2006*(a^2+b^2) S+(2C(ab)^2006*(a^2+b^2)-2(ab)^2007)=0 Докажем что скобка больше нуля. 2C(ab)^2006*(a^2+b^2)-2(ab)^2007=2(ab)^2006*(C*a^2-ab+C*b^2)>0 т.к. С>1. А так как S также строго больше нуля, то наше уравнение решений не имеет. |
||||||||
ole256 | ||||||||
Devourer, ответ правильный! Решение, насколько я могу судить, тоже. Но можно решить гораздо проще, буквально в две строчки. Штука в том, чтобы исходное равенство разделить на некую величину... Это сообщение отредактировал ole256 - 14-08-2007 - 13:34 |
||||||||
Ted_dy | ||||||||
Ну, конечно, это эквивалентно тому, что (sin alpha)^(2007/2)+(cos alpha)^(2007/2)=1. Это возможно только если либо синус либо косинус равен 1. Ф. |
||||||||
ole256 | ||||||||
Ted_dy, а почему степень на 2 делится? | ||||||||
Ted_dy | ||||||||
Ну потому что там опечатка и внутри стоит квадраты синуса и косинуса, сумма которых 1. (sin^2 alpha)^(2007/2)+(cos^2 alpha)^(2007/2)<=sin^2 alpha+cos^2 alpha=1. |
||||||||
ole256 | ||||||||
Теперь понятно. Абсолютно правильно! | ||||||||
Devourer | ||||||||
Найти все рациональные положительные, не равные между собой числа, удовлетворяющие уравнению: x^y=y^x (Указать формулу, дающую все решения) |