Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Если сумма расстояний одной из точек эллипса до его фокусов равна 4, то можно найти расстояние а от центра до вершины на большой оси.
Расстояния r1 и r2 от каждого из фокусов до данной точки на эллипсе называются фокальными радиусами в этой точке. Их сумма равна 2а.
а = (r1 + r2)/2 = 4/2 = 2.
Фокальным параметром p=b^2/a называется половина длины хорды, проходящей через фокус и перпендикулярной большой оси эллипса.
Тогда искомая длина хорды, проходящей через фокус и перпендикулярной к его большой оси, равна 2р.
Фокальный параметр находится по формуле p = a(1 - e²).
2р = 2а(1 - е²) = 2*2*(1 -(√2/2)²) = 4*(1 - (2/4)) = 4*(1/2) = 2.