［１］複素数関数ｆ（ｘ）＝ｓｉｎｘの零点はすべて実数である．

［２］複素数関数ｆ（ｘ）＝ｓｉｎｘの０以外の零点はすべて超越数である．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［Ｑ］複素数関数ｆ（ｘ）＝ｓｉｎｘの０以外の零点はすべて超越数であることを証明せよ．

［Ａ］ｓｉｎ（α）＝０となる代数的数α（≠０）が存在したとする．このとき

ｃｏｓ（α）＝｛ｅｘｐ（ｉα）−ｅｘｐ（−ｉα）｝／２ｉ

したがって，ｅｘｐ（ｉα）は代数的数（±１）になるが，これはリンデマンの定理（１８８２年）

「αが零でない代数的数ならばｅｘｐαは超越数」に矛盾する．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝