20/02/25 07:52:11 vq/DQVzL.net
>>810
(>>816の続き)
平面 R^2 上において、原点 O(0,0) からx軸正方向への半直線を考えて、点 O(0,0) が中心の単位円周C上で、
点 A(1,0) を A(1,0) から反時計回りに角 (a-2)π＝(e+π-2)π だけ回転させた点は、B(cos(aπ),sin(aπ))。
同様に考えて、点 O(0,0) が中心の単位円周C上で、点 A(1,0) を A(1,0) から
反時計回りに角 (b+2)π＝(π-e+2)π だけ回転させた点は、C(cos(bπ),sin(bπ))。
同様に考えて、点 O(0,0) が中心の単位円周C上で、点 A(1,0) を A(1,0) から反時計回りに角 3π だけさせた点は (-1,0)。
同様に考えて、点 O(0,0) が中心の単位円周C上で、点 A(1,0) を A(1,0) から反時計回りに角 5π/2 だけ回転させた点は (0,1)。
同様に考えて、点 O(0,0) が中心の単位円周C上で、点 A(1,0) を A(1,0) から反時計回りに角 7π/2 だけ回転させた点は、(0,-1)。
このとき、点 O(0,0) が中心の単位円周C上で A(1,0) を A(1,0) から
反時計回りに回転させた5つの角 (a-2)π、(b+2)π、3π、5π/2、7π/2 について、
2π＜(b+2)π＜5π/2＜3π＜7π/2＜(a-2)π＜4π。
よって、2点 B(cos(aπ),sin(aπ))、C(cos(bπ),sin(bπ)) はx軸で線対称で、cos(aπ)＝cos(bπ)、sin(aπ)＝-sin(bπ) が成り立つ。
実関数 cos(x) は [(2k+1)π,2kπ] kは任意の整数 で単調増加、cos(x) は [2kπ,(2k+1)π] kは任意の整数 で単調減少である。
また、実関数 sin(x) は [(2k-1)π/2,(2k+1)π/2] kは任意の偶数 で単調増加、sin(x) は [(2k-1)π/2,(2k+1)π/2] kは任意の奇数 で単調減少である。
中心が点 O(0,0) の単位円周C上において、点 A(1,0) を点 (1,0) から反時計回りに回転させた
2つの角 (a-2)π＝(e+π-2)π、(b+2)π＝(π-e+2)π について、2π＜(b+2)π＜5π/2、7π/2＜(a-2)π＜4π なので、
4π-(a-2)π＝(b+2)π)-2π が成り立つ。故に、π＞0 から 6-a＝b を得る。
6-aは代数的数で、bは超越数だから、6-a≠b に反し矛盾。故に、背理法により、e+π は超越数。