数学とか 極限の収束
$\displaystyle \lim_{ n \to \infty } \dfrac{1}{n²}=0$ 証明 0<x<y(仮定) 0<x(y-x)(乗法律) 0<xy-x²(分配法則) x²<xy(加法逆元) 1<x<y→x²<xy(→...
公理主義
数学とか 数学とか 収束の一意性
収束定義 $(∀ε>0)(∃N∈N)(∀n∈ℕ)$ ウィキペディア 絶対値 基本的な性質として、任意の実数 a, b について 非負性: |a| ≥ 0. 非退化性: a = 0 のとき、且つそのときに限って、|a| = 0. 偶性: |−...
数学とか 等比数列
等比数列の一般項 初項a、公比rの等比数列は $ar⁰,ar¹,ar²,ar³...$ 上より等比数列の一般項は $x_{n}=ar^{n-1}$ 初項1、公比2の第3項は $x_{3}=1･2^{3-1}$(仮定) $x_{3}=1･2^...
数学とか 指数が分数のべき乗 $a^{\frac{y}{x}}$
指数が分数のべき乗 $a^{\frac{y}{x}}$ これを考えます。 分かりやすいように具体的に。 $2^{\frac{1}{2}}$は $2^{1}$(仮定) $2^{2･2^{⁻¹}}$(乗法逆元) $2^{2･\frac{1}{2...
数学とか 連分数展開 √2の近似
無理数を小数で表現する方法の別の手法。 今回は連分数で無理数を近似してみます。 √2の連分数展開 まずは連分数で表せる形に√2を変形します 準備1 $\sqrt{2}$(仮定) $1-1+\sqrt{2}$(加法逆元) $1+\sqrt{2...
数学とか 分数の乗法逆元と連分数展開 $(\frac{x}{y})⁻¹=\frac{y}{x}$
分数の逆元 無理数についてのお勉強。 連分数を用いると無理数の規則性が見いだせるとの情報をを聞きつけました。 その前に連分数の計算規則が公理から導出できるのかの確認。 $(\frac{x}{y})⁻¹$(仮定) (x･(y⁻¹))⁻¹(分数...
数学とか 有理数 演算の閉性
有理数の加法の法則 このでは整数を ℕ∨-ℕ∨0 と定義します。 定義より、ℕ⊂ℤであるので整数の加法は閉じています。 有理数の加法の性質を導きます。 (仮定) z₁/n₁･1+z₂/n₂･1(乗法単位元) (z₁/n₁･n₂･n₂⁻¹)+...
数学とか べき乗の指数法則 $a^{m}≠a^{n}→m≠n$
べき乗 実数 x の正整数 n 乗は、素朴には、n 個の x を掛け合わせたものである。厳密には、次のように再帰的に定められる。 (∗)x¹:=x,(∗∗)xn+1:=xⁿ×x(n≥1).x0 を定義する場合には、関係式 (∗∗) が n ...
数学とか べき乗の分配法則 $a^{xy}=(a^{x})^{y}$
指数法則 べき乗 実数 x の正整数 n 乗は、素朴には、n 個の x を掛け合わせたものである。厳密には、次のように再帰的に定められる。 (∗)x¹:=x,(∗∗)xn+1:=xⁿ×x(n≥1).x0 を定義する場合には、関係式 (∗∗)...
数学とか 指数の加法法則 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 ...
べき乗 実数 x の正整数 n 乗は、素朴には、n 個の x を掛け合わせたものである。厳密には、次のように再帰的に定められる。 (∗)x¹:=x,(∗∗)xn+1:=xⁿ×x(n≥1).x0 を定義する場合には、関係式 (∗∗) が n ...
数学とか 指数の法則 複利の計算式
複利計算 実数 x の正整数 n 乗は、素朴には、n 個の x を掛け合わせたものである。厳密には、次のように再帰的に定められる。 (∗)x¹:=x,(∗∗)xn+1:=xⁿ×x(n≥1).x0 を定義する場合には、関係式 (∗∗) が n...