В самом деле, доказательство

9.52. Предложение. Пусть ∇, Δ′, Δ″ ∈ D(A). Тогда [∇, [Δ′, Δ″]] = [[∇, Δ′], Δ″] + [Δ′, [∇, Δ″]] ♦ В самом деле, [[∇, Δ′], Δ″] + [Δ′, [∇, Δ″]] = [[∇, Δ′], Δ″] − [[∇, Δ″], Δ′] = [∇ о Δ′ − Δ′ о ∇, Δ″] − [∇ о Δ″ − Δ″ о ∇, Δ′] = ∇ о Δ′ о Δ″ − Δ′ о ∇ о Δ″ − Δ″ о ∇ о Δ′ + Δ″ о Δ′ о ∇ − ∇ о Δ″ о Δ′ + Δ″ о ∇ о Δ′ + Δ′ о ∇ о Δ″ − Δ′ о Δ″ о ∇ = ∇ о (Δ′ о Δ″ − Δ″ о Δ′) − (Δ′ о Δ″ − Δ″ о Δ′) о ∇ = ∇ о [Δ′, Δ″] − [Δ′, Δ″] о ∇ = [∇, [Δ′, Δ″]] В самом деле

На изображении показана страница математического учебника с длинным доказательством тождества для коммутаторов дифференциальных операторов, а внизу крупно написано «В самом деле». Шутка в том, что фраза обычно означает краткое подтверждение очевидного, но здесь за ней следует чрезмерно сложное и длинное доказательство; мем используют как реакцию на очевидную мысль, которую кто-то unnecessarily усложнил. EN: The image shows a mathematics textbook page with a long proof of an identity involving commutators of differential operators, with the large caption “В самом деле” (“Indeed”) at the bottom. The joke is that the phrase usually signals a brief confirmation of something obvious, but here it is followed by an excessively complicated and lengthy proof; people use the meme to react to an obvious idea that someone has unnecessarily overcomplicated.

• @pokupkabitka / 1494 2022-01-27