代数 オイラー積と素数 オイラー積 \begin{align}\sum_{n=1}^{\infty} \frac{1}{n^s} = \prod_p \frac{1}{1-p^{-s}}(pは素数)\end{align} について\(s=-1\)のとき \begi... 2023.02.13 代数数学
数学 Σの公式を計算する その3 C++でΣの公式を計算する。今回計算する公式は次の通り。 \begin{align}\sum_{k=1}^{n} r^{k-1} = \frac{r^n - 1}{r-1}\end{align} 以下コード 2023.02.09 数学解析
幾何 三角不等式の証明 任意の実数\(a,b\)について \begin{align}|a+b| \leq |a| + |b|\end{align} の三角不等式が成り立つ。 証明 両辺ともに正であるので、二乗の差を考えて \begin{align}(|a| + |... 2023.02.09 幾何数学
C/C++/C# Σの公式を計算する その2 C++でΣの公式を計算する。今回計算する公式は次の通り。 \begin{align}\sum_{k=1}^{n} k^3 = \left \{ \frac{n(n + 1)}{2} \right \}^2\end{align} 以下コード 2023.02.08 C/C++/C#プログラミング代数数学
数学 トルコで起きた地震のエネルギーを計算してみる 地震のエネルギ\(E\)とマグニチュード\(M\)の関係式は \begin{align}\log_{10} E = 4.8 + 1.5M\end{align} で表される。トルコで起きた地震のマグニチュードの大きさは7.9なので \begi... 2023.02.07 数学物理
電子回路 MCP2515とMCP2562でCANを使ってみる MCP2515とMCP2562を使えばCANを実装できる。細かいつなぎ方は略。 CANは相互に接続された装置間で通信ができ、FAなんかに応用されている。 2023.02.06 電子回路電気
代数 2点を通る直線の方程式 傾き\(a\)の直線の方程式は \begin{align}y=ax+b\end{align} 点\((x_1,y_1)\)を通るので \begin{align}y_1=ax_1+b\end{align} \(b\)を消去して \begin{... 2023.02.04 代数数学
数学 数学的帰納法の例 数学的帰納法で次の式を証明する。 \begin{align}2+4+6 + \cdots + 2n = n(n+1)\end{align} \(n=1\)のとき \begin{align}2 &= 2 \\n(n+1)&=1 \times ... 2023.02.01 数学
数学 数学的帰納法とは ある命題\(P\)について \begin{align}&n=1\mbox{のとき成り立つ}\\&n=k\mbox{が成り立つとすると}n=k+1\mbox{が成り立つ}\\\end{align} が示せるとき、\(P\)はすべての\(n\)... 2023.02.01 数学
機械 鏡行列の性質3 鏡行列\(Q(\theta)\) \begin{align}Q(\theta)=\begin{pmatrix}\cos 2 \theta & \sin 2 \theta \\ \sin 2 \theta & -\cos 2 \theta \... 2023.02.01 機械電気