Бекас, про все не знаю, в 90-е брали всё, что не приколочено)
igorwolf, ну, брали же разрушающуюся историческую недвигу, а потом же восстанавливали/делали конфетку?!!!
Посторонним В.
-
Эльвира — финансовая царица говорит — про разворот проинфляционных факторов прямо сейчас.
Бекас, разворот на восток?any_to_real, есть у вас протворечия! — Вы инженер!
— Инженер должен знать геометрию — факт!
— Теоремы же — в учебнике по геометрии!
— Так в...
Бекас, во-первых, не обязательно должен, во-вторых, вопрос в каком объеме.
А про матов — меня, например, крайне впечатлил факт, что им только топологию джва года преподают, топологию Карл(!) джва года, есливыменяпонимаете©.
И при этом на фонде у каждого второго умеющего различать картинки научная деятельность ведетсяТак.
Задача: Сумма двух чисел равняется 100. Первое из них на 20 больше второго. Используя способ рассуждения от противного, докажите, что ...
any_to_real, есть у вас протворечия! — Вы инженер!
— Инженер должен знать геометрию — факт!
— Теоремы же — в учебнике по геометрии!
— Так в школе учили.
— Есть еще сопромат, но — это несколько другое, но и тут — инженер должен его знать — его преподают)any_to_real, Не почему, это вполне теорема)
По сути — теоремма — любой набор выведенных утверждений логических из базовых аксиом.
Как раз т...
Illidan Stormrage, ну в принципе да — теорема это то, что какой-то математик объявил теоремой
Но тут надо или фанатом-самоучкой быть, или какой-то мат окончить, чтобы в разговоре не выглядеть смешно.
Так что постою в сторонке
У крестьян же все просто — аксиома не требует доказательств, теорема требует.
Отсюда и фраза, опять же по мотивам ссылки Алхимика, что человек мыслит скорее теоремами, а не аксиомами, и каждый день их сам себе доказывает, игнорируя противоречия.
Типа «яжигаварилфсеуподед!», и не важно, что оно упало на 3%, а перед этим выросло на 30% — человек себе опять доказал свою теорему
Так.
Задача: Сумма двух чисел равняется 100. Первое из них на 20 больше второго. Используя способ рассуждения от противного, докажите, что ...
any_to_real, Не почему, это вполне теорема)
По сути — теоремма — любой набор выведенных утверждений логических из базовых аксиом.
Как раз твою задачу ниже можно прямым методом тож доказывать
ряд чисел из корней натуральных знаменателей при количестве слагаемых выше 1000 сходится к 42 — ряд расходящийся кстати- Так.
Задача: Сумма двух чисел равняется 100. Первое из них на 20 больше второго. Используя способ рассуждения от противного, докажите, что второе число равно 40.
Решение: Предположим, что второе число не равно 40. Тогда оно либо больше 40, либо меньше 40. Однако, если первое число больше 40, то второе число больше 60 и их сумма будет больше 100, что противоречит условию задачи. Если же первое число меньше 40, то второе число меньше 60 и их сумма будет меньше 100, что также противоречит условию задачи. Следовательно, второе число равняется 40.
Не вижу тут аксиоматики, но это и не теорема, правда.
По теоремам рубиться не готов, я инженер, а не математик, а у математиков на каждое слово по сто теорем есть, типа «ряд чисел из корней натуральных знаменателей при количестве слагаемых выше 1000 сходится к 42», и давайте пытайтесь доказать это всем миром 300 лет.
Совершенно безумные люди, как я уже говорил, сдаюсь 
Illidan Stormrage, «Доказательство теорем не так работает...»©, а теперь замечена попытка съехать
any_to_real, Ну смотри есть пример доказательства от прямого, есть пример доказательств от противного)
А где попытка сьехать то
Если ты подумал что делаются выводы исходя из аксиоматики не включает вариант доказательства от противного, то подумал не правильно
прямое, от противного, матиндукция это технологические приемы типо
а логика построения у них одинаковая
И так немного примеров
Доказательство прямым методом
докажем что если существуют приделы последовательностей Aj и Bj, равные A и B то cуществует предел по последовательности сумм Сj= Aj + Bj и он равен А+B.
По определению предела существуют для любого eps j1, j2 такие что
j> max (j1, j2)
|Aj — А | <eps /2, |Bj — B | <eps /2, следовательно
|Aj + Bj — A — B| <= |Aj — А |+ |Bj — B |<2 * eps /2 = eps
следовательно
|Сj — (А+B)|< eps, что означает что А+B — предел последовательности сумм по опредлению
доказательство от обратного без матиндукции
Докажем что множество простых чисел безконечно. Путь P — множество простых и P — конечно. построим произведение всех членов p_j этого множества и добавим к нему 1. Данная сумма не делится на цело не на один из p_j, значит оно простое, пришли к противоречию.
Посторонним В.
Уважаемые коллеги! Данная ветка форума является строго охраняемой злыми собаками частной территорией, для общения любых адекватных дам и господ на общерыночную тематику. Общие правила Смартлаба обязательны к исполнению. Дополнительно и особо строго (без мотивировочной части и апелляционной инстанции) пресекаются тупость, лень, гордыня (понты). Правила могут изменяться модераторами ветки на ходу без объяснения причин, немедленно вступая в силу задним числом. Trespassers Will Be Shot. Survivors will be shot againЧтобы купить акции, выберите надежного брокера:
