1.Круги Эйлера.

При решении целого ряда задач Леонард Эйлер использовал идею изображения множеств с помощью кругов и они получили название «круги Эйлера». Этот метод даёт ещё более наглядное представление о возможном способе изображения условий, зависимости, отношений в логических задачах. Множество всех действительных чисел Эйлер изобразил с помощью этих кругов: N-множество натуральных чисел, Z – множество целых чисел, Q – множество рациональных чисел, R – множество вех действительных чисел.

2.Принцип Дирихле

Формулировка: Если в n "клетках" сидят не менее n+1 "кроликов", то в какой-то из "клеток" сидят не менее 2-х "кроликов". Доказательство: Противоречие к формулировке звучит так: "в каждой клетке сидит не более одного кролика". Но тогда кроликов, очевидно, не больше, чем клеток?! Поэтому есть клетка, где кроликов не менее двух ч.т.д.

Данный метод логического рассуждения ещё носит название от противного, он получил широкую известность как принцип Дирихле. Задачи, которые решаются при его использовании, самые разнообразные. Не вдаваясь в подробное описание решения, применяется принцип Дирихле с одинаковым успехом как для доказательства простых геометрических и логических задач, так и ложится основой умозаключений при рассмотрении проблем высшей математики.

3.ИНВАРИАНТ (от лат. invarians - неизменяющийся), в математике - величина, остающаяся неизменяемой при тех или иных преобразованиях.

1. В ряде задач встречается следующая ситуация. Некоторая система последовательно изменяет своё состояние, и требуется выяснить нечто о её конечном состоянии. Полностью проследить за всеми переходами может оказаться делом сложным, но иногда ответить на требуемый вопрос помогает вычисление некоторой величины, характеризующей состояние системы и сохраняющейся при всех переходах (такую величину называют инвариантом для рассматриваемой системы). Ясно, что тогда в конечном состоянии значение инварианта будет то же самое, что и в начальном, т.е. система не может оказаться в состоянии с другим значением инварианта.

2. На практике этот метод сводится к тому, что некоторая величина вычисляется двумя способами: сначала она просто вычисляется в начальном и конечном состояниях, а затем прослеживается её изменение при последовательных мелких переходах.