20/02/23 18:54:06.45 14JaYXx+.net
素直に考えれば
・cos(2)<0を定義から示す。
・cos(0)=1とあわせてcos(c)=0を満たす最小の実数が存在する。
・0<x<cでcos(x)>0によりsin(x)は単調増大、さらにsin(0)=0によりsin(c)>0。
・sin^2+cos^2=1によりsin(c)=1。
・exp(ic)=i。
・exp(A+B)=exp(A)exp(B)‥(✳︎)を示しておいてexp(4ci)=1、再び(✳︎)によりexp(x)は周期4ciをもつ。
とかじゃない？