Следствие в математике — утверждение, которое легко можно доказать из предыдущего утверждения.

Обзор править

В математике, следствием является теорема с небольшим доказательством, которое следует из другой теоремы[1]. Использование термина следствие вместо «утверждение» или «теорема» субъективно.

Утверждение Б является следствием утверждения А, если Б можно легко вывести из А. Следствие, как правило, вторично по отношению к основной теореме; если следствие играет большую роль, то его вряд ли назовут следствием.

См. также править

Примечания править

  1. Wolfram, Stephen. A new kind of science. — Champaign, IL: Wolfram Media, 2002. — xiv, 1197 pages с. — ISBN 1579550088, 9781579550080, 071399116X, 9780713991161. Архивировано 24 мая 2022 года.


Ссылки править

  • Eric W. Weisstein. Corollary (англ.). mathworld.wolfram.com. Дата обращения: 26 августа 2019. From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/Corollary.html
  • William and Robert Chambers. Chambers's Encyclopaedia: A Dictionary of Universal Knowledge for the People .... — Appleton, 1864. — Т. 3. — С. 260. — 842 с.