Чем короче формулировка теоремы - тем труднее ее доказательство

Соотношение краткости теоремы и сложности ее доказательства

Проклятие лаконичности

Я помню тот день, когда столкнулся с теоремой, формулировка которой умещалась в полторы строки. Знакомый математик многозначительно ткнул в нее пальцем: «Эта — особенная». Я лишь пожал плечами, настолько элементарным казалось утверждение. Но уже через час моя уверенность рассыпалась как мел. За внешней простотой скрывались десятилетия нерешенных проблем сплошь в сокращенными переменными. Каждое опущенное слово требовало восьми страниц сопряжений.

Позже мой наставник объяснил истину: гениальность формулировки измеряется не числом символов, а объемом знания, который она конденсирует. Великие теоремы — словно вершины айсбергов: сжатый верх лишь намекает на титаническую сложность скрытого основания. Теперь, видя лаконичную строку, я чувствую почти суеверный трепет — за ней могут скрываться века поисков, метаний гениев, и механизмов, сводящих с ума своей красотой и сложностью.