Доказательство иррациональности корня из 2

Спасибо за идею ролика, Cessna! (его тгк: cssndev) Важные ссылки: ТГК: https://t.me/kpest14math