Визуализация того, что число Пи иррационально.

Предположим, что π это рациональное число, тогда оно может быть записано как p/q, где p, q — натуральные числа. Тогда кривая на картинке, заданная параметрически как e^(iθ) + e^(iπθ) была бы периодической — возвращалась бы на место через конечное число оборотов. Картинка показывает, что [в пределах длительности данной гифки] кривая на место не возвращается.

Заметим, что фаза e^(iθ) + e^(iπθ) равна φ=(π+1)θ/2. Заменим переменные чтобы получить e^(2iφ/(π+1)) + e^(2iπφ/(π+1)). Если бы π было рациональным числом равным p/q, то кривая бы замкнулась через q*(p+q) оборотов, т к
Приращение аргумента первой экспоненты (2πq(p+q)/(π+1)) = 2pq, делится на 2p -> кратно 2π,
Приращение аргумента второй экспоненты (2π^2q(p+q)/(π+1)) = 2p^2, делится на 2p -> кратно 2π.
А значит кривая должна была бы сойтись через q(p+q) оборотов.

Понятное дело, что гифка это не доказательство, а всего лишь визуализация, т.к. в теории q(p+q) могло бы быть таким большим, что ни в какую гифку бы не поместились обороты этой кривой.

Немцы