В статье, которую я сейчас пишу
Dec. 30th, 2022 08:03 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicимеется красивая теорема 0, состоящая из двух частей (a) и (b). Поставленные рядом одна с другой, теоремы 0(a) и 0(b) выглядят миленько и симметрично, хотя на самом деле их доказательства не имеют ничего общего одно с другим.
Теорема 0(a) имеет далеко идущее обобщение до вполне уродливого вида теоремы A, состоящей из трех частей. Теорема A(iii) -- это основной результат, а A(i) и A(ii) -- к нему вспомогательные комментарии.
Теорема 0(b) имеет далеко идущее обобщение до вполне уродливого вида теоремы B, состоящей из двух частей. Теорема B(i) -- это основной результат, а B(ii) -- к нему вспомогательный комментарий.
Чтобы расширить опции частичного чтения статьи и альтернативных вариантов доказательств, доступных читателю, теоремам 0(a) и 0(b) намечается дать также отдельные доказательства, независимые от более общих теорем A и B. Потом предполагается теоремы A и B отдельно доказать другим или более сложным образом. Потому, что чем больше доказательств, тем лучше!
Пока что я написал первые два раздела статьи из запланированных шести. В первом разделе доказаны теоремы 0(b) и B(i), а во втором -- A(i) и B(ii). Почитай, полдела уже сделано. Но это более легкая половина дела. В третьем разделе предполагается доказать теорему A(ii), в четвертом -- теорему 0(a), в шестом -- теорему A(iii).
Теорема 0(a) имеет далеко идущее обобщение до вполне уродливого вида теоремы A, состоящей из трех частей. Теорема A(iii) -- это основной результат, а A(i) и A(ii) -- к нему вспомогательные комментарии.
Теорема 0(b) имеет далеко идущее обобщение до вполне уродливого вида теоремы B, состоящей из двух частей. Теорема B(i) -- это основной результат, а B(ii) -- к нему вспомогательный комментарий.
Чтобы расширить опции частичного чтения статьи и альтернативных вариантов доказательств, доступных читателю, теоремам 0(a) и 0(b) намечается дать также отдельные доказательства, независимые от более общих теорем A и B. Потом предполагается теоремы A и B отдельно доказать другим или более сложным образом. Потому, что чем больше доказательств, тем лучше!
Пока что я написал первые два раздела статьи из запланированных шести. В первом разделе доказаны теоремы 0(b) и B(i), а во втором -- A(i) и B(ii). Почитай, полдела уже сделано. Но это более легкая половина дела. В третьем разделе предполагается доказать теорему A(ii), в четвертом -- теорему 0(a), в шестом -- теорему A(iii).
