теорема Лагранжа
Aug. 17th, 2021 05:24 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
Татьяна Мэй дала ссылку на "научно-технический рэп", конкретно - на произведение "Теорема Лагранжа" (
https://www.youtube.com/watch?v=GwDClnIBUIg). При всей моей неприязни к рэпу, это замечательно. Но я как раз готовлю курс матанализа, который включает упоминание этой теоремы. Я его готовлю по-английски, но он должен быть синхронизован с французским вариантом. И тут обнаруживается замечательное.
В песне припев:
"Перелети-переплыви туда-обратно Ла-Манш.
Ты не найдёшь никого круче, чем Жозеф Луи Лагранж.
Забудут Жоржа Помпиду (кого?), и даже Ассанжа,
Но будут помнить и в аду теорему Лагранжа."
Так вот, это неправда. Будут - только в России. Потому что по-французски имя Лагранжа в описании этой теоремы начисто отсутствует, и даже в разделе "история" в Википедии оно не фигурирует. Теорема называется "Théorème des accroissements finis", теорема конечных приращений. В английской версии (Mean Value Theorem) есть краткая история, упомянуто много народу, в частности какие-то индусы, но никто из них не Лагранж. Почему это стало теоремой Лагранжа в России, я не знаю, интересно было бы узнать.
При этом более ограниченная формулировка называется теоремой Ролля на всех языках.
Это мой старый друг Павлик забавлялся...1988 год
Date: 2021-08-17 07:02 pm (UTC)Paul Bressler
This is a new rap on the oldest of stories —
Functors on abelian categories.
If the functor is left exact
You can derive it and that's a fact
But first you must have enough injective
Objects in the category to stay active.
If that's the case — no time to lose;
Resolve injectively any way you choose.
Apply the functor and don't be sore —
The sequence ain't exact no more.
Here comes the part that is the most fun, Sir,
Take homology to get the answer.
On resolution it don't depend:
All are chain homotopy equivalent.
Hey, Mama, when your algebra shows a gap
Go over this Derived Functor Rap.
RE: Это мой старый друг Павлик забавлялся...1988 год
Date: 2021-08-20 07:08 am (UTC)А вот звуковой дорожки, увы, я не нашел. Зато слушал много раз "вживую" ("после литра выпитой" (с))
Семью Павлика Б. вы могли и знать. Она была известна среди питерских "refusniks" громкой историей. Мы как -то с Ленкой ее вспоминали.