Форум программистов, компьютерный форум, киберфорум
Баженов
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  

Доказал теорему, а как ее применить не знаю.

Запись от Баженов размещена 26.03.2021 в 23:00
Показов 3720 Комментарии 10

Если n=2x+y, а x=a*m и y= a+m, то (2n+1)=(2a+1)*(2m+1),в частности, при a=1 2n+1=3*(2m+1)
Размещено в Без категории
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Всего комментариев 10
Комментарии
  1. Старый комментарий
    Проверил. Всё верно. Ну не знаю, где бы это можно было использовать...
    Запись от wer1 размещена 27.03.2021 в 09:55 wer1 вне форума
  2. Старый комментарий
    Вот ещё одна теорема
    Доказать, что число n4 + 4 при n > 1 составное
    Доказательство
    n4 + 4 = (n2 - 2n + 2)(n2 + 2n + 2)

    примечание
    подобных теорем множество и никто не ломает голову где их можно использовать.
    Запись от wer1 размещена 27.03.2021 в 10:09 wer1 вне форума
  3. Старый комментарий
    К счастью, множество теорем не более, чем счётно.
    Запись от politoto размещена 27.03.2021 в 10:19 politoto вне форума
  4. Старый комментарий
    Цитата Сообщение от politoto
    К счастью, множество теорем не более, чем счётно.
    Ага. Даже если бы это "счастье" было бы ограничено числом 36 500, то...
    100 лет = 36 500 дней
    В общем все теоремы вы выучите к очень преклонному возрасту?... Пока учите одну новую теорему - десять старых забудете... век живи...
    Запись от wer1 размещена 27.03.2021 в 12:36 wer1 вне форума
  5. Старый комментарий
    На счёт счётного числа теорем не согласен: можно составить несчётное множество теорем как 0=0; 1=1; √2=√2; e=e; ... и так далее. Так как кол-во действительных чисел несчётно, то таких теорем тоже будет несчётное количество. Правда, можно сказать, что их можно объеденить в одну теорему:x=x, но в таком случае количество теорем можно сократить до количества аксиом.
    Запись от Falconcheg размещена 27.03.2021 в 20:41 Falconcheg вне форума
  6. Старый комментарий
    Аватар для DrType
    Теоремы относятся к теории чисел, поэтому, я так понимаю, ограничимся целыми числами. И если это так — то да, множество теорем счётно.
    Запись от DrType размещена 27.03.2021 в 21:30 DrType вне форума
  7. Старый комментарий
    С чего вы взяли, что теоремы относятся к теории чисел? Теорема может быть и в матанализе, и в геометрии, и в ТФКП.
    Запись от Falconcheg размещена 27.03.2021 в 21:37 Falconcheg вне форума
  8. Старый комментарий
    Аватар для DrType
    Ну, Баженов у нас по теории чисел в основном, поэтому множество теорем, которые могут быть опубликованы в его блоге, не более чем счётно
    Запись от DrType размещена 28.03.2021 в 00:38 DrType вне форума
  9. Старый комментарий
    Теоремы типа "√2=√2" и любые другие состоят из конечного числа символов, которых потенциально счетное число. Значит, множество всех теорем счетно, т.е. полно вещественных чисел, которых нельзя так выразить. Собственно, почти все вещественные числа такие.
    Запись от zer0mail размещена 28.03.2021 в 12:46 zer0mail вне форума
  10. Старый комментарий
    Цитата Сообщение от Falconcheg
    На счёт счётного числа теорем не согласен: можно составить несчётное множество теорем как 0=0; 1=1; √2=√2; e=e; ... и так далее. Так как кол-во действительных чисел несчётно, то таких теорем тоже будет несчётное количество.
    Не составите! Люди столько не живут. Скорее наша вселенная распадётся на атомы...

    Цитата Сообщение от Falconcheg
    Правда, можно сказать, что их можно объединить в одну теорему:x=x, но в таком случае количество теорем можно сократить до количества аксиом.
    Нет, не сократите. Теоремы не сокращаются! Они могут обобщаться, упрощаться, появляться новые доказательства... и опровергаться...
    Объединение некоторого числа теорем - это просто ещё одна теорема.
    Запись от wer1 размещена 28.03.2021 в 14:59 wer1 вне форума
 
Новые блоги и статьи
[golang] Двоичная куча, min-heap
alhaos 20.05.2026
Двоичная куча Двоичная куча — структура данных, которая всегда держит самый важный элемент наготове. Представьте очередь к хилеру в игре, и очередь из игроков в приоритете те у кого меньше. . .
[golang] Breadth-First Search
alhaos 19.05.2026
BFS (Breadth-First Search) — это базовый алгоритм обхода графа в ширину, который поуровнево исследует все связанные вершины. Он начинает с выбранной точки и проверяет всех соседей, прежде чем. . .
[golang] Алгоритм «Хак Госпера»
alhaos 17.05.2026
Алгоритм «Хак Госпера» Хак Госпера (Gosper's Hack) — алгоритм нахождения следующего по величине числа с тем же количеством установленных бит. Придуман Биллом Госпером в 1970-х, опубликован в. . .
Рисование бинарного древа до 6-го колена на js, svg.
russiannick 17.05.2026
<svg width="335" height="240" viewBox="0 0 335 240" fill="#e5e1bb"> <style> <!]> </ style> <g id="bush"> </ g> </ svg> function fn(){ let rost;/ / высота древа let xx=165,yy=210,w=256;
FSharp: interface of module
DevAlt 16.05.2026
Интерфейс модуля F# позволяет управлять доступностью членов, содержащихся в реализации модуля. По-умолчанию все члены модуля доступны: module Foo let x = 10 let boo () = printfn "boo" . . .
Хитросплетение родственных связей пантеона греческих богов.
russiannick 14.05.2026
Однооконник, позволяющий узреть и изучить отдельных героев древней Греции. <!DOCTYPE html> <html lang="ru"> <head> <meta charset="UTF-8"> <meta http-equiv="X-UA-Compatible". . .
[golang] Угол между стрелками часов
alhaos 12.05.2026
По заданным значениям часа и минуты необходимо определить значение меньшего угла между стрелками аналогового циферблата часов. import "math" func angleClock(hour int, minutes int) float64 { . . .
Debian 13: Установка Lazarus QT5
ВитГо 09.05.2026
Эта инструкция моя компиляция инструкций volvo https:/ / www. cyberforum. ru/ blogs/ 203668/ 10753. html и его же старой инструкции по установке Lazarus с gtk2. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru