260: 累乗たちの順序

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

累乗たちの順序の記述/証明

---

話題

About: 算術

---

この記事の目次

• 開始コンテキスト
• ターゲットコンテキスト
• オリエンテーション
• 本体
• 1: 記述1
• 2: 証明1
• 3: 記述2
• 4: 証明2

---

開始コンテキスト

• 読者は、累乗の定義を知っている。
• 読者は、$e$の指数への累乗は指数に関して単調に増加するという命題を認めている。

---

ターゲットコンテキスト

• 読者は、任意の正基底の指数への累乗は、基底が$1$より大きいか$1$より小さい場合、指数に関して単調にそれぞれ増加または減少する; 正基底の任意の指数への累乗は、指数が$0$より大きいか$0$より小さい場合、基底に関して単調にそれぞれ増加または減少するという命題の記述および証明を得る。

---

オリエンテーション

本サイトにてこれまで議論された定義の一覧があります。

本サイトにてこれまで議論された命題の一覧があります。

---

本体

---

1: 記述1

任意の正実数$r$および任意の実数$x$に対して、$1<r$か$r<1$の場合、$r^x$は$x$に関して単調にそれぞれ増加または減少する。

---

2: 証明1

$e^x$は$x$に関して単調に増加するということを認めよう。$r^x=(e^{lnr}{)}^x=e^{xlnr}$。$1<r$である場合、$0<lnr$、したがって、$xlnr$は$x$が増加する時単調に増加する。$r<1$である場合、$lnr<0$、したがって、$xlnr$は$x$が増加する時単調に減少する。

---

3: 記述2

任意の実数$r$および任意の正実数$x$に対して、$0<r$か$r<0$である場合、$x^r$は$x$に関して単調にそれぞれ増加または減少する。

---

4: 証明2

$e^x$は$x$に関して単調に増加するということを認めよう。$x^r=(e^{lnx}{)}^r=e^{rlnx}$。$0<r$である場合、$rlnx$は$x$が増加する時単調に増加する。$r<0$である場合、$rlnx$は$x$が増加する時単調に減少する。

---

参考資料

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>