Si π fuese algebraico, 2π"i" también lo sería (porque 2"i" es algebraico), y por tanto, según el teorema de Lindemann-Weierstrass