πの超越性については

鹿野 健:数セミ増刊「数学100の定理」日本評論社(1983)p.85-86

 F.Lindemann(1882) の証明を A.Baker(1975) が簡単化したらしい。