数学とか 三平方の定理
上の記事で勝手に使った「三平方の定理」を証明します。 膨大な種類の証明方法が発見されているようですが、僕が昨日から今日まで悩んで思いついた方法を共有します。 長さがa+bの正方形を考えます。 紆余曲折あってここから始まることになりました。図...
数学
数学とか 数学とか ベクトルのノルム
ノルム 定義 K を実数体 R または複素数体 C（あるいは絶対値を備えた任意の位相体）とし、K 上のベクトル空間 V を考える。このとき任意の a ∈ K と任意の u, v ∈ V に対して、 独立性：‖ v ‖ = 0 ⇔ v = o...
数学とか ベクトルって何
点とベクトル n次元空間における点はn個の実数の組。 $(x_{1},x_{2},x_{3}...x_{n})∈ℝ^{n}$ n次元空間における線はn個の実数を持つ組A,Bで $\vec{AB}$ $\vec{AB}≠\vec{BA}$ と...
数学とか コーシー列と収束する数列
調和数列の面白い性質 僕が面白いと思った性質。 $\sum_{i=1}^{n} \dfrac{1}{n^{1}}⇒∞$ $\sum_{i=1}^{n} \dfrac{1}{n^{2}}⇒\dfrac{π^{2}}{6}$ 指数が1なら発散、...
数学とか 調和級数の発散性その二
上の続き。 調和級数の発散の証明 広義の調和級数が発散することを証明します。 準備1 小さなyであっても膨大にn個用意すれば、とてつもなく大きなxであっても上回れる=塵も積もれば山となる。 ny>x(アルキメデスの性質) 調和数列の一般項は...
数学とか 調和級数が発散する証明
調和数列は等差数列の逆数。 調和数列とは、一般項 $h_{n}$ が a を初項とし定数 d を用いて $\displaystyle h_{n}={\frac {1}{a+(n-1)d}}$ と表せる数列 $h_{n}$ のことである。 ウ...
未分類 ベルヌーイの不等式
対数の「その心は？」の記事で利用したベルヌーイの不等式で遊びます。 AIに作ってもらった問題を解きながらベルヌーイの不等式の「その心は」を感じてみます。 任意の整数 r ≥ 0 と全ての実数 x ≥ −1 に対し、次が成立する。 $\dis...
数学とか 等差数列と等差級数
等差級数 等差数列 等差数列の初項を $a_{0}$ とし、その公差を d とすれば、第n 項 an は $\displaystyle a_{n}=a_{0}+nd$ であり、一般に $\displaystyle a_{n}=a_{m}+(...
数学とか aⁿがどこまでも大きくなる証明
$1<a⇒a^{n}<a^{n+1}$ 1より大きなaのべき乗は指数(自然数)を大きくすれば、どこまでも大きくなります。 ほぼ同じ意味ですが、それに上限が無いことを証明します。 ベルヌーイの法則 証明 数学的帰納法を用います。 $r>-1,...
数学とか 対数法則
無理数は何処にいるのかと探索しながら対数の森へ迷い込みました。 対数（たいすう、英: logarithm）とは、ある数 x を数 b の冪乗 bp として表した場合の冪指数 p である。この p は「底を b とする x の対数（英: lo...
数学とか 極限の収束
問題を解きながら極限の収束について学びます。 $\displaystyle \lim_{ n \to \infty } \dfrac{1}{n²}=0$ 証明 0<x<y(仮定) 0<x(y-x)(乗法律) 0<xy-x²(分配法則) x²...
数学とか 収束の一意性
収束定義 $(∀ε>0)(∃N∈N)(∀n∈ℕ)$ ウィキペディア 絶対値 基本的な性質として、任意の実数 a, b について 非負性: |a| ≥ 0. 非退化性: a = 0 のとき、且つそのときに限って、|a| = 0. 偶性: |−...