Математические доказательства в 140 символов

Бытует мнение, что в Средние века выпускник университета должен был придумать своё доказательство теоремы Пифагора. Вряд ли ради серьёзной цели (хотя, кто знает), а скорее ради развлечения можно предложить другое занятие — доказать математическую теорему, вместив текст доказательства в обычный твит. Этим заняты создатели твиттера @TinyProof ^[1].

Вот так выглядит доказательство от противного того, что полином не имеет комплексных решений:

«Математический» твиттер создан, судя по всему, менее суток назад, однако уже содержит более десятка ультракоротких доказательств. Определить специализацию математика или команды, ведущей микроблог, сложно — теоремы из разных областей математики.

Взглянуть на ленту можно здесь.

[@TinyProof ^[1]]

Автор: jeston

Источник ^[2]