Step by step ... Informazioni sulle gare, come allenarsi, chi corrompere.
Докажите, что `x^4 - x^2 - 3x + 4 > 0` выполняется для всех действительных `x.` |  |
воскресенье, 03 июня 2018
пятница, 01 июня 2018
Помогите решить задачу элементарными геометрическими методами (без аналитической геометрии, без тригонометрии).
Условие задачи:
В четырехугольник ABCD вписана окружность. Хорда KN этой окружности лежит на диагонали BD четырехугольника.
Точка M - середина хорды KN. Из этой точки M к вершине A и к вершине C четырехугольника проведены отрезки MA и MC соответственно.
Доказать, что угол CMB равен углу AMB.
Что было сделано (конспективно):
Рассмотрены свойства описанного четырехугольника, вписанных углов,
а также теоремы, связанные с описанными четырехугольниками и вписанными окружностями:
1) Свойства окружности девяти точек (окружность Эйлера); прямая Эйлера.
2) Лемма о трезубце (теорема о трилистнике).
3) Теорема о бабочке.
4) Теорема Ньютона (о прямой, соединяющей середины диагоналей описанного четырехугольника)
и теорема Гаусса (о трех отрезках в произвольном четырехугольнике).
Удалось доказать следующее:
Пусть в рассмотренном выше описанном четырехугольнике сторона BC касается вписанной окружности в точке F, а сторона BA в точке P.
Пусть центр вписанной окружности точка O. Тогда нетрудно показать, что точки O, M, F, B, P лежат на одной окружности с диаметром OB.
Отсюда следует (это тоже несложно показать), что угол FMB равен углу PMB.
Дальше продвинуться не удалось...
Условие задачи:
В четырехугольник ABCD вписана окружность. Хорда KN этой окружности лежит на диагонали BD четырехугольника.
Точка M - середина хорды KN. Из этой точки M к вершине A и к вершине C четырехугольника проведены отрезки MA и MC соответственно.
Доказать, что угол CMB равен углу AMB.
Что было сделано (конспективно):
Рассмотрены свойства описанного четырехугольника, вписанных углов,
а также теоремы, связанные с описанными четырехугольниками и вписанными окружностями:
1) Свойства окружности девяти точек (окружность Эйлера); прямая Эйлера.
2) Лемма о трезубце (теорема о трилистнике).
3) Теорема о бабочке.
4) Теорема Ньютона (о прямой, соединяющей середины диагоналей описанного четырехугольника)
и теорема Гаусса (о трех отрезках в произвольном четырехугольнике).
Удалось доказать следующее:
Пусть в рассмотренном выше описанном четырехугольнике сторона BC касается вписанной окружности в точке F, а сторона BA в точке P.
Пусть центр вписанной окружности точка O. Тогда нетрудно показать, что точки O, M, F, B, P лежат на одной окружности с диаметром OB.
Отсюда следует (это тоже несложно показать), что угол FMB равен углу PMB.
Дальше продвинуться не удалось...
Step by step ... Informazioni sulle gare, come allenarsi, chi corrompere.
Задачи, впечатления ...
Глава Рособрнадзора предложил ввести "месяц тишины" на период сдачи ЕГЭ
Подробнее на ТАСС: tass.ru/obschestvo/5241560
ЕГЭ по математике профильного уровня прошел в штатном режиме
obrnadzor.gov.ru/ru/press_center/news/index.php...
ПОМОЖЕМ РОСОБРНАДЗОРУ?
vk.com/boxdd?w=wall36288_11366
Пятый канал попросил прокомментировать эту утечку директора президентского физико-математического лицея № 239 Максима Пратусевича, который является членом экспертной комиссии ЕГЭ. Педагог назвал задания «неподлинными», отметив, что исходные материалы экзамена выглядят по-другому:
— То, что опубликовано у него (Дмитрия Гущина) на страничке, мало напоминает материалы ЕГЭ. Там оформление не такое. Исходное сырье выглядит не так. Задачи по формулировке тоже не такие, какие должны быть на экзамене. Я думаю, что это неподлинный вариант. Ему, значит, что-то пришло под видом вариантов ЕГЭ. Еще раз говорю, по виду не похожи.
Судя по всему, опубликованные в сети задания оказались фейком.
m.5-tv.ru/news/205678/
Глава Рособрнадзора предложил ввести "месяц тишины" на период сдачи ЕГЭ
Подробнее на ТАСС: tass.ru/obschestvo/5241560
ЕГЭ по математике профильного уровня прошел в штатном режиме
obrnadzor.gov.ru/ru/press_center/news/index.php...
ПОМОЖЕМ РОСОБРНАДЗОРУ?
vk.com/boxdd?w=wall36288_11366
Пятый канал попросил прокомментировать эту утечку директора президентского физико-математического лицея № 239 Максима Пратусевича, который является членом экспертной комиссии ЕГЭ. Педагог назвал задания «неподлинными», отметив, что исходные материалы экзамена выглядят по-другому:
— То, что опубликовано у него (Дмитрия Гущина) на страничке, мало напоминает материалы ЕГЭ. Там оформление не такое. Исходное сырье выглядит не так. Задачи по формулировке тоже не такие, какие должны быть на экзамене. Я думаю, что это неподлинный вариант. Ему, значит, что-то пришло под видом вариантов ЕГЭ. Еще раз говорю, по виду не похожи.
Судя по всему, опубликованные в сети задания оказались фейком.
m.5-tv.ru/news/205678/
Навеяно ночной задачкой:
найти предел последовательности средних арифметических и средних геометрических:
1) a, b, (a+b)/2, 1/2(b+(a+b)/2), ...
2) a, b, ab^(1/2), (b * ab^(1/2))^(0.5), ...
(решение одинаково, получается красивая простая формула)
3) найти предел последовательности смешанного среднеарифметических и геометрических.
a , b
(a+b)/2, (ab)^(1/2)
1/2 ((ab)^(1/2)+(a+b)/2), (1/2 (a+b)(ab)^(1/2))^(1/2)
...
эту я не решил пока.
найти предел последовательности средних арифметических и средних геометрических:
1) a, b, (a+b)/2, 1/2(b+(a+b)/2), ...
2) a, b, ab^(1/2), (b * ab^(1/2))^(0.5), ...
(решение одинаково, получается красивая простая формула)
3) найти предел последовательности смешанного среднеарифметических и геометрических.
a , b
(a+b)/2, (ab)^(1/2)
1/2 ((ab)^(1/2)+(a+b)/2), (1/2 (a+b)(ab)^(1/2))^(1/2)
...
эту я не решил пока.
Step by step ... Informazioni sulle gare, come allenarsi, chi corrompere.
Балаян Э.Н. 700 лучших олимпиадных и занимательных задач по математике / Э.Н. Балаян. — Изд. 4-е, испр. — Ростов н/Д: Феникс, 2015. — 217 с. : ил. — (Большая перемена)
В предлагаемом пособии рассмотрены различные методы и приемы решения олимпиадных задач разного уровня трудности для учащихся 5-6 классов.
Задачи, представленные в книге, посвящены таким, уже ставшим классическими, темам, как делимость и остатки, признаки делимости, инварианты, решение уравнений в целых числах, принцип Дирихле, задачи на проценты, числовые ребусы и т. п.
Ко всем задачам даны ответы и указания, а к наиболее трудным — решения. Большинство задач авторские, отмечены значком (А).
В заключительной части книги приводятся занимательные задачи творческого характера, вызывающие повышенный интерес не только у школьников, но и у взрослых читателей.
Ищем на gen.lib.rus.ec
Иванов С.В. (сост.) Математический кружок. Задачник первого-второго года обучения — СПб.: Санкт-Петербургский городской дворец творчества юных, 1993, 68 стр.
Предлагаемая брошюра продолжает серию учебно-методических изданий Аничкова лицея. Она содержит около 700 задач по всем основным разделам «олимпиадной» математики и предназначена для руководителей кружков, преподавателей, учащихся и всех любителей математической литературы. Уровень сложности задач примерно соответствует кружкам математики 6—9 классов, но многие из них будут интересны и старшеклассникам.
Практически каждый преподаватель кружка математики сталкивался с тем, что задачи, необходимые для занятий, разбросаны по многочисленным сборникам. С другой стороны, математические кружки в нашем городе существуют уже длительное время (с 1930-х годов), и с тех пор сложились определенные традиции преподавания и оригинальный математический фольклор, недостаточно отраженный в литературе. В своей работе жюри ленинградских олимпиад по математике также использовало, как правило, только новые, специально придуманные для олимпиады задачи. Поэтому книга, содержащая «историю кружка в задачах», представляется весьма полезной.
Предлагаемый сборник составлен по материалам кружка, занимавшегося в Ленинградском дворце пионеров в 1989—90 годах под руководством С. В. Иванова и С. К. Смирнова, которые, в свою очередь, опирались на своих предшественников и учителей.
Ищем на facebook.com
В предлагаемом пособии рассмотрены различные методы и приемы решения олимпиадных задач разного уровня трудности для учащихся 5-6 классов.
Задачи, представленные в книге, посвящены таким, уже ставшим классическими, темам, как делимость и остатки, признаки делимости, инварианты, решение уравнений в целых числах, принцип Дирихле, задачи на проценты, числовые ребусы и т. п.
Ко всем задачам даны ответы и указания, а к наиболее трудным — решения. Большинство задач авторские, отмечены значком (А).
В заключительной части книги приводятся занимательные задачи творческого характера, вызывающие повышенный интерес не только у школьников, но и у взрослых читателей.
Ищем на gen.lib.rus.ec
Иванов С.В. (сост.) Математический кружок. Задачник первого-второго года обучения — СПб.: Санкт-Петербургский городской дворец творчества юных, 1993, 68 стр.
Предлагаемая брошюра продолжает серию учебно-методических изданий Аничкова лицея. Она содержит около 700 задач по всем основным разделам «олимпиадной» математики и предназначена для руководителей кружков, преподавателей, учащихся и всех любителей математической литературы. Уровень сложности задач примерно соответствует кружкам математики 6—9 классов, но многие из них будут интересны и старшеклассникам.
Практически каждый преподаватель кружка математики сталкивался с тем, что задачи, необходимые для занятий, разбросаны по многочисленным сборникам. С другой стороны, математические кружки в нашем городе существуют уже длительное время (с 1930-х годов), и с тех пор сложились определенные традиции преподавания и оригинальный математический фольклор, недостаточно отраженный в литературе. В своей работе жюри ленинградских олимпиад по математике также использовало, как правило, только новые, специально придуманные для олимпиады задачи. Поэтому книга, содержащая «историю кружка в задачах», представляется весьма полезной.
Предлагаемый сборник составлен по материалам кружка, занимавшегося в Ленинградском дворце пионеров в 1989—90 годах под руководством С. В. Иванова и С. К. Смирнова, которые, в свою очередь, опирались на своих предшественников и учителей.
Ищем на facebook.com
Могли бы проверить моё решение. Решение пункта 1 мне кажется довольно громоздким
Последовательность `a_n` такова: что
1) все `a_n in (0;1)`
2) `a_{n+1} < (a_n+a_{n-1})/2`
Вопрос:
1) Сходится ли `a_n`?
2) Найти множество возможных пределов `a_n`
Моё решение:
1) От противного. Во-первых сразу отметим, что `a_n` не может расходиться к бесконечности, так как она ограничена. Тогда нам нужно только доказать то, что последовательность имеет один предел (то есть нельзя выделить подпоследовательность, которая бы сходилась к другому пределу). Предположим, можно выделить две подпоследовательности, сходящиеся к `a` и `b`. Не теряя общности `a<b`.
Тогда рассмотрим такие соседние члены `a_k` и `a_{k+1}`, что `a_k` лежит в бесконечно малой окрестности `b`, а `a_{k+1}` в бесконечно малой окрестности `a`. Тогда `a_{k+2} < (a+b+2 epsilon) / 2 = (a+b)/2 + epsilon`. Поскольку мы можем устремить `epsilon to 0`, то можно сделать вывод, что `a_{k+2}` лежит вне окрестности точки `b`. Тогда получили, что одновременно `a_{k+1}` и `a_{k+2}` лежат вне окрестности точки `b`. Последующие члены последовательности будут обязательно меньше, чем `max(a_{k+2}, a_{k+1})`, а значит никак не смогу попасть в окрестность `b`, значит в её окретсности не может лежать бесконечно много точек, а значит `a_n` не может иметь двух пределов.
2) Множество `(0;1)`. Построим последователньность, которая сходится к фиксированному числу `a`: `a_0 = a, a_1 = a+epsilon_1, a_2 = (a_0 + a_1)/2-epsilon_2 , a_3 = a, a_4 = (a_2 + a_3)/2-epsilon_3, a_5 = a,.`
Здесь все эпсилоны символизируют бесконечно малые величины
Последовательность `a_n` такова: что
1) все `a_n in (0;1)`
2) `a_{n+1} < (a_n+a_{n-1})/2`
Вопрос:
1) Сходится ли `a_n`?
2) Найти множество возможных пределов `a_n`
Моё решение:
1) От противного. Во-первых сразу отметим, что `a_n` не может расходиться к бесконечности, так как она ограничена. Тогда нам нужно только доказать то, что последовательность имеет один предел (то есть нельзя выделить подпоследовательность, которая бы сходилась к другому пределу). Предположим, можно выделить две подпоследовательности, сходящиеся к `a` и `b`. Не теряя общности `a<b`.
Тогда рассмотрим такие соседние члены `a_k` и `a_{k+1}`, что `a_k` лежит в бесконечно малой окрестности `b`, а `a_{k+1}` в бесконечно малой окрестности `a`. Тогда `a_{k+2} < (a+b+2 epsilon) / 2 = (a+b)/2 + epsilon`. Поскольку мы можем устремить `epsilon to 0`, то можно сделать вывод, что `a_{k+2}` лежит вне окрестности точки `b`. Тогда получили, что одновременно `a_{k+1}` и `a_{k+2}` лежат вне окрестности точки `b`. Последующие члены последовательности будут обязательно меньше, чем `max(a_{k+2}, a_{k+1})`, а значит никак не смогу попасть в окрестность `b`, значит в её окретсности не может лежать бесконечно много точек, а значит `a_n` не может иметь двух пределов.
2) Множество `(0;1)`. Построим последователньность, которая сходится к фиксированному числу `a`: `a_0 = a, a_1 = a+epsilon_1, a_2 = (a_0 + a_1)/2-epsilon_2 , a_3 = a, a_4 = (a_2 + a_3)/2-epsilon_3, a_5 = a,.`
Здесь все эпсилоны символизируют бесконечно малые величины
четверг, 31 мая 2018
Добрый день! У меня есть задача, могли бы проверить моё решение.
Задача:
На отрезке `[0;1]` в точках `x,y` независимо выбранных из равномерного распределения, находятся два детектора элементарных частиц. Детектор засекает частицу, если она пролетает на расстоянии не более `1/3` от него. Известно, что поля восприятия покрывают весь отрезок. С какой вероятностью `y >= 5/6` ?
Моё решение:
1) Я нарисовал в квадрате 1х1 множество точек, которые удовлетворяют условию "детекторы покрывают весь отрезок"
2) Далее надо найти условную вероятность: Р(y > 5/6 | покрыт весь отрезок). Я буду искать эту вероятность как отношение благоприятных исходов ко всевозможным. Я полагаю, что априори мы попали в закрашенную область, значит в знаменателе стоит площадь двух закрашенных треугольников: `S = 2 * 1/3 * 1/3 * 1/2`. Теперь числитель. Я взял пересечение y >= 5/6 и двух закрашенных треугольников, получается один треугольник, площадь которого равна `1/6*1/6*1/2`
3) Нахожу их отношение, получаю `0.125`
Задача:
На отрезке `[0;1]` в точках `x,y` независимо выбранных из равномерного распределения, находятся два детектора элементарных частиц. Детектор засекает частицу, если она пролетает на расстоянии не более `1/3` от него. Известно, что поля восприятия покрывают весь отрезок. С какой вероятностью `y >= 5/6` ?
Моё решение:
1) Я нарисовал в квадрате 1х1 множество точек, которые удовлетворяют условию "детекторы покрывают весь отрезок"
2) Далее надо найти условную вероятность: Р(y > 5/6 | покрыт весь отрезок). Я буду искать эту вероятность как отношение благоприятных исходов ко всевозможным. Я полагаю, что априори мы попали в закрашенную область, значит в знаменателе стоит площадь двух закрашенных треугольников: `S = 2 * 1/3 * 1/3 * 1/2`. Теперь числитель. Я взял пересечение y >= 5/6 и двух закрашенных треугольников, получается один треугольник, площадь которого равна `1/6*1/6*1/2`
3) Нахожу их отношение, получаю `0.125`
среда, 30 мая 2018
Step by step ... Informazioni sulle gare, come allenarsi, chi corrompere.
Все цифры в десятичной записи натурального числа заменили на буквы, одинаковые цифры заменили одинаковыми буквами, разные --- разными и получили `GANGA.` Известно, что при делении `GANGA` на 7 в остатке получается `A,` при делении `GANGA` на 11 в остатке получается `N,` при делении `GANGA` на 13 в остатке получается `G,` кроме того, `G > A > N.` Каким может быть оригинальное число? | |
вторник, 29 мая 2018
Найдите все значения a, при которых уравнение имеет единственное решение:
sqrt(x^4+(a-2)^4)=abs(x+a-2)+abs(x-a+2)
Заметим, что для f(x)=g(x)
f(x)=f(-x) и g(x)=g(-x)
Тогда единственное решение будет при x=0.
sqrt((a-2)^2)=abs(a-2)+abs(-(a-2))
(a-2)=t
abs(t^2)=abs(t)+abs(-t)
Рассмотрим два промежутка:
1. t>0 знаки ++- t^2+2t=0 t(t+2)=0 t1=0 t2=-2
2. t<0 знаки +-+ t^2-2t=0 t(t-2)=0 t1=0 t2=2
Тогда (a-2)=0
(a-2)=2
(a-2)=-2
a=0, a=2, a=4
Верно?
sqrt(x^4+(a-2)^4)=abs(x+a-2)+abs(x-a+2)
Заметим, что для f(x)=g(x)
f(x)=f(-x) и g(x)=g(-x)
Тогда единственное решение будет при x=0.
sqrt((a-2)^2)=abs(a-2)+abs(-(a-2))
(a-2)=t
abs(t^2)=abs(t)+abs(-t)
Рассмотрим два промежутка:
1. t>0 знаки ++- t^2+2t=0 t(t+2)=0 t1=0 t2=-2
2. t<0 знаки +-+ t^2-2t=0 t(t-2)=0 t1=0 t2=2
Тогда (a-2)=0
(a-2)=2
(a-2)=-2
a=0, a=2, a=4
Верно?
воскресенье, 27 мая 2018
Решить задачу:
`10*u_t = u_{x x} + u_{yy} - 2*y;`
`u|_{x = 0} = 0, \ \ u_x|_{x = pi/2} = pi*y;`
`0 < x < pi/2`
`0 < y < pi`
`10*u_t = u_{x x} + u_{yy} - 2*y;`
`u|_{x = 0} = 0, \ \ u_x|_{x = pi/2} = pi*y;`
`0 < x < pi/2`
`0 < y < pi`
суббота, 26 мая 2018
Найдите стационарное распределение цепи Маркова, заданной переходными вероятностями p_ij
р00=1, рi,i+1=0,3, , pi,i-1=0,7, , pNN =0,7.
Я составила матрицу вероятностей. Но в строке N сумма вероятностей должна быть единица. У меня же в этой строке лишь одна 0,7.
Условие рi,i+1=0,3 выполняется только до N-1 строки....
И потом, решая систему, все вероятности у меня получаются равными нулю. Чего быть не может, так как должно выполняться условие нормировки.
Подскажите, пожалуйста, где у меня ошибка (конечно, видимо, ошибка как раз в построении матрицы)
р00=1, рi,i+1=0,3, , pi,i-1=0,7, , pNN =0,7.
Я составила матрицу вероятностей. Но в строке N сумма вероятностей должна быть единица. У меня же в этой строке лишь одна 0,7.
Условие рi,i+1=0,3 выполняется только до N-1 строки....
И потом, решая систему, все вероятности у меня получаются равными нулю. Чего быть не может, так как должно выполняться условие нормировки.
Подскажите, пожалуйста, где у меня ошибка (конечно, видимо, ошибка как раз в построении матрицы)
Найдите матрицу переходных вероятностей для Марковских цепей, описывающие следующий процесс:
в начальный момент времени 8 шаров размещены в двух урнах А и В поровну. На каждом шаге из общего числа 8 шаров случайно выбирается один шар и помещается с вероятностью 0,3 в урну А и с вероятностью 0,7 в урну В. Состояние цепи при каждом испытании—число шаров в урне А.
Мои рассуждения:
Цепь может находиться в 9-ти состояниях: 1 состояние - в А 1 шар; 2 состояние - в А 2 шара; 3 состояние - в А 3 шара;......; состояние 8 - в А 8 шаров; 9 состояние - в А 0 шаров.
Значит в начальный момент времени (транспонированный) вектор распределения имеет вид: (0, 0, 0, 0.3, 0, 0, 0, 0, 0.7)
Но я не уверена, что состояний и правда будет 9...
в начальный момент времени 8 шаров размещены в двух урнах А и В поровну. На каждом шаге из общего числа 8 шаров случайно выбирается один шар и помещается с вероятностью 0,3 в урну А и с вероятностью 0,7 в урну В. Состояние цепи при каждом испытании—число шаров в урне А.
Мои рассуждения:
Цепь может находиться в 9-ти состояниях: 1 состояние - в А 1 шар; 2 состояние - в А 2 шара; 3 состояние - в А 3 шара;......; состояние 8 - в А 8 шаров; 9 состояние - в А 0 шаров.
Значит в начальный момент времени (транспонированный) вектор распределения имеет вид: (0, 0, 0, 0.3, 0, 0, 0, 0, 0.7)
Но я не уверена, что состояний и правда будет 9...
пятница, 25 мая 2018
Здравствуйте, можете, пожалуйста, подсказать, как решать системы уравнений с параметром?
Может есть какое-нибудь пособие?
Можно разобрать на примере системы:
Найдите все значения параметра а.
1.((x-3)^2+(y+4)^2-17)*((2x+7)^2+(2y-9)^2)<=0
2. ax+y=1
Может есть какое-нибудь пособие?
Можно разобрать на примере системы:
Найдите все значения параметра а.
1.((x-3)^2+(y+4)^2-17)*((2x+7)^2+(2y-9)^2)<=0
2. ax+y=1
четверг, 24 мая 2018
x^lgx=10
Очевидно, что один корень равен 10.
Второй 0.1
Но почему так?
Очевидно, что один корень равен 10.
Второй 0.1
Но почему так?
При испытании на экономичность двух двигателей одинаковой мощности было установлено, что один израсходовал 300 г бензина, а второй, работавший на 2 ч меньше, израсходовал 192 г Если бы первый двигатель расходовал в час столько же бензина, сколько второй, а второй столько, сколько первый, то за это же время работы расход бензина в обоих двигателях был бы одинаковым. Сколько бензина в час расходует каждый двигатель? Укажите сумму числе в граммах.
Помогите решить задачу.
Что за что обозначать?
Помогите решить задачу.
Что за что обозначать?
I have diary now. Diaries are cool!
Добрый день. Есть следующее задание:
Если известно, что секвенции `\Gamma \rightarrow\Delta_{1} A\Delta_{2}` и `\Sigma_{1} A\Sigma_{2}\rightarrow\Pi` — аксиомы, доказать, что выводима секвенция
`\Gamma\Sigma_{1}\Sigma_{2}\rightarrow\Delta_{1}\Delta_{2}\Pi`. (`\Gamma, \Delta_{1}, \Delta_{2}, \Sigma_{1}, \Sigma_{2}, \Pi` — списки формул, A — пропозициональная переменная)
Что у меня уже получилось сделать:
1 случай: Пусть B — формула, входящая в `\Gamma` и секвенция `\Gamma\rightarrow\Delta_{1} A\Delta_{2}` является аксиомой "из-за" B. Тогда если B входит в `\Gamma`, то B входит либо в `\Delta_{1}`, либо в `\Delta_{2}`, тогда интересующая нас секвенция `\Gamma\Sigma_{1}\Sigma_{2}\rightarrow\Delta_{1}\Delta_{2}\Pi` выводима. При этом секвенция `\Sigma_{1} A\Sigma{2}\rightarrow\Pi` может являться аксиомой как "из-за" A, так и "из-за" другой переменной, входящей либо в `\Sigma_{1}`, либо в `\Sigma_{2}`
2 случай: Аналогично 1-му случаю, только теперь известно, что вторая секвенция является аксиомой не "из-за" A.
Что у меня сделать не получается: Доказать выводимость `\Gamma\Sigma_{1}\Sigma_{2}\rightarrow\Delta_{1}\Delta_{2}\Pi`, если обе исходные секвенции являются аксиомами "из-за" A. Не знаю даже, с какой стороны подойти.
Заранее спасибо за помощь!
Если известно, что секвенции `\Gamma \rightarrow\Delta_{1} A\Delta_{2}` и `\Sigma_{1} A\Sigma_{2}\rightarrow\Pi` — аксиомы, доказать, что выводима секвенция
`\Gamma\Sigma_{1}\Sigma_{2}\rightarrow\Delta_{1}\Delta_{2}\Pi`. (`\Gamma, \Delta_{1}, \Delta_{2}, \Sigma_{1}, \Sigma_{2}, \Pi` — списки формул, A — пропозициональная переменная)
Что у меня уже получилось сделать:
1 случай: Пусть B — формула, входящая в `\Gamma` и секвенция `\Gamma\rightarrow\Delta_{1} A\Delta_{2}` является аксиомой "из-за" B. Тогда если B входит в `\Gamma`, то B входит либо в `\Delta_{1}`, либо в `\Delta_{2}`, тогда интересующая нас секвенция `\Gamma\Sigma_{1}\Sigma_{2}\rightarrow\Delta_{1}\Delta_{2}\Pi` выводима. При этом секвенция `\Sigma_{1} A\Sigma{2}\rightarrow\Pi` может являться аксиомой как "из-за" A, так и "из-за" другой переменной, входящей либо в `\Sigma_{1}`, либо в `\Sigma_{2}`
2 случай: Аналогично 1-му случаю, только теперь известно, что вторая секвенция является аксиомой не "из-за" A.
Что у меня сделать не получается: Доказать выводимость `\Gamma\Sigma_{1}\Sigma_{2}\rightarrow\Delta_{1}\Delta_{2}\Pi`, если обе исходные секвенции являются аксиомами "из-за" A. Не знаю даже, с какой стороны подойти.
Заранее спасибо за помощь!
вторник, 22 мая 2018
Step by step ... Informazioni sulle gare, come allenarsi, chi corrompere.
На прямой выбраны точки P, Q, R и S так, что PQ = RS (см. рис.). Отрезки PQ, RS, PS, QR - диаметры кругов. Прямая MN --- ось симметрии закрашенной области. Докажите, что площадь закрашенной области равна площади круга с диаметром MN.  | |
воскресенье, 20 мая 2018
Головоломка.
Есть бесконечная река с пристанями, пронумерованными всеми целыми числами (..., -2, -1, 0, 1, 2, ...). По реке плывет корабль-призрак, из неизвестной начальной точки, с фиксированной, но неизвестной целочисленной скоростью - т.е. для каких-то неизвестных a, b в день i корабль останавливается в пристани ai+b.
Корабль-призрак можно засечь только ночью - то есть, чтобы его засечь, нужно остановиться в какой-то пристани на ночь - и если корабль в эту ночь был как раз в этой пристани, то мы его поймали. Нужно придумать стратегию (f(i) - в день i стоим в пристани i; f может быть любой, наша скорость не ограничена), позволяющую гарантированно за конечное (но не ограниченное и не обязательно оптимальное) число шагов поймать корабль.
Есть бесконечная река с пристанями, пронумерованными всеми целыми числами (..., -2, -1, 0, 1, 2, ...). По реке плывет корабль-призрак, из неизвестной начальной точки, с фиксированной, но неизвестной целочисленной скоростью - т.е. для каких-то неизвестных a, b в день i корабль останавливается в пристани ai+b.
Корабль-призрак можно засечь только ночью - то есть, чтобы его засечь, нужно остановиться в какой-то пристани на ночь - и если корабль в эту ночь был как раз в этой пристани, то мы его поймали. Нужно придумать стратегию (f(i) - в день i стоим в пристани i; f может быть любой, наша скорость не ограничена), позволяющую гарантированно за конечное (но не ограниченное и не обязательно оптимальное) число шагов поймать корабль.
Step by step ... Informazioni sulle gare, come allenarsi, chi corrompere.
Сумма 63 различных натуральных чисел равна 2017. Найдите эти числа и обоснуйте, что других нет! | |
четверг, 17 мая 2018
Step by step ... Informazioni sulle gare, come allenarsi, chi corrompere.
ЕГЭ
Три книги для скачивания у нас на сайте: задачи 17, 18, 19 из ЕГЭ
8-9 мая у нас на сайте в разделе КНИГИ (верхнее меню) выложены три книги для скачивания:
А.В. Шевкин. Экономические задачи. От простого к сложному (№ 17 из ЕГЭ).
А.В. Шевкин. Задачи с параметром. От простого к сложному (№ 18 из ЕГЭ).
А.В. Шевкин. Задачи 19 из ЕГЭ. От простого к сложному.
Замечания, предложения, другие способы решения с благодарностью принимаются по адресу: [email protected].
www.shevkin.ru
Кружки
Блинков А. Последовательности — М.: МЦНМО, 2018. — 160 с.
www.twirpx.com
Крижановский А.Ф. Математические кружки. 5-7 классы — М.: Илекса, 2016. — 320 с.
nashol.com
Математика
А. Савватеев "Математика для гуманитариев"
usdp.ru/donate/
Три книги для скачивания у нас на сайте: задачи 17, 18, 19 из ЕГЭ
8-9 мая у нас на сайте в разделе КНИГИ (верхнее меню) выложены три книги для скачивания:
А.В. Шевкин. Экономические задачи. От простого к сложному (№ 17 из ЕГЭ).
А.В. Шевкин. Задачи с параметром. От простого к сложному (№ 18 из ЕГЭ).
А.В. Шевкин. Задачи 19 из ЕГЭ. От простого к сложному.
Замечания, предложения, другие способы решения с благодарностью принимаются по адресу: [email protected].
www.shevkin.ru
Кружки
Блинков А. Последовательности — М.: МЦНМО, 2018. — 160 с.
www.twirpx.com
Крижановский А.Ф. Математические кружки. 5-7 классы — М.: Илекса, 2016. — 320 с.
nashol.com
Математика
А. Савватеев "Математика для гуманитариев"
usdp.ru/donate/