トップへ戻る問題1.3.5$a>1$のとき、次の(1)~(4)を示せ。(>1)$がただ一つ存在することを示せ。(2)$x$が正の有理数であり、自然数$m、n$を用いて$x=\dfrac{m}{n}$と表せるとき、$a^x=(a^{\frac{1}{n}})^m$と定義する。この定義は自然数$m、n$の取り方に依らないことを示せ。$x、y$が有理数で$0<x<y$のとき、$a^x<a^y$であることを示せ。=x$となるものとするとき、数列$\{a^{x_n}\}$は収束すること、およびその極限値は数列$\{x_n\}$の取り方に依らないことを示せ。$y=a^x$は連続関数であることを示せ。《ポイント》$a$が定数であることに注意しましょう。どの文字が変数でどの文字が定数なのかに気を付けながら証明してください。(>1)$について$c^n>a$が成り立つ。$x>1$だから$x^n<x^{n+1}$が帰納的に言えるので$x^n$は単調に増加する。(2)$x=\dfrac{m}{n}$(正の有理数)のとき$a^x$が一意に定まることを示す。}^m=c^m=a^{\frac{m}{n}}$$となる。これはすべての自然数$m、n$について言える。すべての正の有理数について言える。a>1)$$が成り立つから、$a^y>a^x$が示された。(3)$a^{x_n}=b_n$とすると、$x_{n+1}>x_n$と(2)の結果より$b_{n+1}>b_n$が成立し、$0<a^{x_n}<a^x$だから数列$\{b_n\}$は有界である。有界な単調増加数列は収束するから${a^{x_n}}$は収束し、極限値は$a^x$である。この議論は$x_n$の定め方に依っていないから、題意は示された。(4)$p$を任意の実数とする。|a^0-1|=0$$となる。$y=a^x$は連続関数である。何を議論しているのか分かりにくい問題です。$a$は常に定数ですが、(1)では$x$は変数、(2)と(3)では定数になっています。証明問題では自分が今、何を示そうとしているのかを文章化してみるのも良い訓練になります。$0<a<1$の場合は大小関係が逆転するだけで、同様の議論が可能です。復習例題は設定していません。