既知の関数f(x)=x2-alnx,g(x)=e^x-[x] (1)証明:e^a>a (2)a>2eの場合、f(x)を区間(1,e^a)にゼロ点の個数

既知の関数f(x)=x2-alnx,g(x)=e^x-[x] (1)証明:e^a>a (2)a>2eの場合、f(x)を区間(1,e^a)にゼロ点の個数

証明:
コンストラクタF(x)=e^x-x
則F'(x)=e^x-1
x>0,F'(x)>0,F(x)インクリメント