WikiDer > Формы
В математика, фраза "формы"указывает на то, что математический объект или (чаще) набор объектов следует определенному шаблону выражения. Он часто используется для уменьшения формальности математические доказательства.
Пример использования
Вот доказательство, которое должно быть заметно при ограниченном математическом опыте:
Заявление:
Произведение любых двух четное натуральные числа тоже даже.
Доказательство:
Любое четное натуральное число формы 2п, куда п натуральное число. Поэтому предположим, что у нас есть два четных числа, которые мы обозначим через 2k и 2л. Их продукт (2k)(2л) = 4(kl) = 2(2kl). С 2kl тоже натуральное число, произведение четное.
Примечание:
В этом случае оба исчерпание и исключительность были нужны. То есть не только необходимо, чтобы каждое четное число имело форму 2.п (исчерпывающее), но также и то, что каждое выражение формы 2п - четное число (исключительность). Это будет иметь место не в каждом доказательстве, но обычно, по крайней мере, исчерпание подразумевается фразой формы.