数学とか 総和(Σ)の性質
総和はこれ。シグマ。$$\sum_{k=m}^{n} a_k = a_m + a_{m+1} + a_{m+2} + \dots + a_n$$定数倍の括り出し定数 $k$ がかかっている場合、シグマの外に出せる。証明$ca_{1}+ca_...
指数法則
数学とか 数学とか 対数法則
無理数は何処にいるのかと探索しながら対数の森へ迷い込みました。対数（たいすう、英: logarithm）とは、ある数 x を数 b の冪乗 bp として表した場合の冪指数 p である。この p は「底を b とする x の対数（英: log...
数学とか 等比数列
等比数列の一般項初項a、公比rの等比数列は$ar⁰,ar¹,ar²,ar³...$上より等比数列の一般項は$x_{n}=ar^{n-1}$初項1、公比2の第3項は$x_{3}=1･2^{3-1}$(仮定)$x_{3}=1･2^{2}$(自然...
数学とか 指数が分数のべき乗 $a^{\frac{y}{x}}$
指数が分数のべき乗$a^{\frac{y}{x}}$これを考えます。分かりやすいように具体的に。$2^{\frac{1}{2}}$は$2^{1}$(仮定)$2^{2･2^{⁻¹}}$(乗法逆元)$2^{2･\frac{1}{2}}$(分数定...
数学とか べき乗の指数法則 $a^{m}≠a^{n}→m≠n$
べき乗実数 x の正整数 n 乗は、素朴には、n 個の x を掛け合わせたものである。厳密には、次のように再帰的に定められる。(∗)x¹:=x,(∗∗)xn+1:=xⁿ×x(n≥1).x0を定義する場合には、関係式 (∗∗) が n = 0...
数学とか べき乗の分配法則 $a^{xy}=(a^{x})^{y}$
指数法則べき乗実数 x の正整数 n 乗は、素朴には、n 個の x を掛け合わせたものである。厳密には、次のように再帰的に定められる。(∗)x¹:=x,(∗∗)xn+1:=xⁿ×x(n≥1).x0を定義する場合には、関係式 (∗∗) が n...
数学とか 指数の加法法則 xⁿ･x¹=xⁿ⁺¹
べき乗の性質べき乗実数 x の正整数 n 乗は、素朴には、n 個の x を掛け合わせたものである。厳密には、次のように再帰的に定められる。(∗)x¹:=x,(∗∗)xn+1:=xⁿ×x(n≥1).x0を定義する場合には、関係式 (∗∗) が...
数学とか べき乗の大小関係 1
べき乗実数 x の正整数 n 乗は、素朴には、n 個の x を掛け合わせたものである。厳密には、次のように再帰的に定められる。(∗)x¹:=x,(∗∗)xn+1:=xⁿ×x(n≥1).x0を定義する場合には、関係式 (∗∗) が n = 0...
べき乗実数 x の正整数 n 乗は、素朴には、n 個の x を掛け合わせたものである。厳密には、次のように再帰的に定められる。(∗)x¹:=x,(∗∗)xn+1:=xⁿ×x(n≥1).x0を定義する場合には、関係式 (∗∗) が n = 0...
数学とか 指数の法則 複利の計算式
複利計算実数 x の正整数 n 乗は、素朴には、n 個の x を掛け合わせたものである。厳密には、次のように再帰的に定められる。(∗)x¹:=x,(∗∗)xn+1:=xⁿ×x(n≥1).x0を定義する場合には、関係式 (∗∗) が n = ...
数学とか 指数の法則 底を共有する指数の大小関係
指数の性質指数の性質を考えます。(仮定)⊥(正と負の乗法)¬(x<0∧0<y→0<xy)(背理法)¬(¬(x<0∧0<y)∨0<x･y)(→言い換え)¬(0<x∨y<0)→x･y<0(ド・モルガンの法則)x<0∧0<y→x･y<0(ド・モル...