Приветствую Вас, уважаемые Читатели! 3 мая 2016 года, в Arxiv.org было представлено самое большое математическое «доказательство» (или, точнее, проверка), занимающее 200 терабайт. Математики из Университета Техаса в Остине с помощью компьютерных методов решили задачу о булевых пифагоровых тройках. На решение задачи ушло два дня непрерывной работы 800-процессорного суперкомпьютера. Размер предыдущего рекордного доказательства был «всего» в 14 гигабайт. Формулировка задачи Существуют тройки натуральных...

Я думаю, что каждый хотя бы по названию знает теорему Пифагора ещё со школы, но не каждый знает какие бывают вариации его доказательства, а самое главное - какое из них самое лёгкое. Давайте начнём с самого простого, а именно с формулировки: в прямоугольном треугольнике сумма квадратов катетов равняется квадрату гипотенузы. Катеты в данном случае - это стороны, которые прилежат к прямому углу, а гипотенуза - сторона, которая, наоборот, лежит напротив прямого угла. 5. Пожалуй, самое сложное доказательство из этой пятёрки - это доказательство Евклида...