生きていると，何とかして線分同士を滑らかな曲線で結びたいという思いになることがよくあります．（なくてもここではあることにしてください．） 線分で結ぶと，端点が滑…
高校数学の話題です．誘導に従って導くことにしましょう． 問題$${\theta=\pi/5, \alpha=\theta/2}$$とする．次の問に答えよ． (1)$${\sin{2\theta}=\sin{3\theta}}$$を…
1問目次の問題を解いてみたい． 一瞬，なんじゃこりゃと思うだろうが，簡単に示すことができる． その前にまずは，実験してみよう． $$ \frac{1}{15}=\frac{1}{n}-\frac…
今日は実数の間にある有理数の存在の証明について紹介しよう． といってもそんなに仰々しい話ではないが…．例えば，$${1}$$と$${2}$$の間にある有理数は，$${\frac{3}{2}…
今日は，簡単な二項係数について取り上げる． 導入$${n!=n\cdot(n-1)\cdot\cdots\cdot 2 \cdot 1}$$と定め，$${0!=1}$$と定める．このとき，自然数$${n}$$，$${0}$$以上の…
$${f(x)=a_{0}+a_{1}x+a_{2}x^{2}+\cdots+a_{m}x^{m}, \ g(x)=b_{0}+b_{1}x+b_{2}x^{2}+\cdots+b_{n}x^{n}}$$を実数係数の多項式とするとき， $$ (fg)(x)=a_{0}b_{0}+(a_{…
$${A}$$はエルミート行列とする．すなわち，$${A}$$は$${A^{*}=A}$$を満たすとする． 固有値は実数このとき，$${A}$$の固有値は実数であることを示そう． $${\lambda}$$…
前回に引き続き，線型代数の話題を取り上げる． 線型独立の定義は簡単に書かれることが多いが，正確にはどういうものになるかを記述しておこう．ここでは，実ベクトル空間…
大学数学を学ぶ上で避けて通れないのは，線型代数のなかでもベクトル空間であろう．「その定義は何か？」と聞かれて，皆さんはどう答えるだろう．たとえば， 「和とスカラ…
はじめて投稿します． 自分の気になったことを上げようと思います． 私自身は，数学，特に微分幾何に興味があります． 間違いや誤字脱字衍字には気を付けますが，大目に…
ゆっくりススム
2022年9月29日 12:09
生きていると，何とかして線分同士を滑らかな曲線で結びたいという思いになることがよくあります．（なくてもここではあることにしてください．）線分で結ぶと，端点が滑らかにならないので，放物線のように2次くらいの次数は必要ではないかと思うのですが，必ず放物線で結べるのでしょうか．ここでは，3次の多項式では結べることを示していきます．3次関数の決定$${y=0\ (x<0)}$$と$${y=\a
2022年9月20日 13:54
高校数学の話題です．誘導に従って導くことにしましょう．問題$${\theta=\pi/5, \alpha=\theta/2}$$とする．次の問に答えよ．(1)$${\sin{2\theta}=\sin{3\theta}}$$を示せ．(2)$${\cos{\theta}}$$の値を求めよ．(3)$${\cos{\alpha}, \sin{\alpha}}$$の値を求めよ．(4)$${\
2022年9月14日 21:04
1問目次の問題を解いてみたい．一瞬，なんじゃこりゃと思うだろうが，簡単に示すことができる．その前にまずは，実験してみよう．$$\frac{1}{15}=\frac{1}{n}-\frac{1}{m}$$を満たす$${n, m}$$があるかといえば，例えば，$${n=6, m=10}$$がある．今の例は完全に勘で見つけたのであるが，存在性を示す問題なので，極端な場合でも十分だ
2022年9月7日 19:44
今日は実数の間にある有理数の存在の証明について紹介しよう．といってもそんなに仰々しい話ではないが…．例えば，$${1}$$と$${2}$$の間にある有理数は，$${\frac{3}{2}}$$とすぐにわかるが，$${\sqrt{2}}$$と$${\sqrt{3}}$$の間にある有理数は何かと聞かれて，即答しづらい．証明の準備次の2つの事実は認めることにする．$${\mathbb{N}}$$
2022年9月3日 01:34
今日は，簡単な二項係数について取り上げる．導入$${n!=n\cdot(n-1)\cdot\cdots\cdot 2 \cdot 1}$$と定め，$${0!=1}$$と定める．このとき，自然数$${n}$$，$${0}$$以上の整数$${k}$$に対し，$$\begin{pmatrix}n \\k\end{pmatrix}:=\frac{n!}{k!(n-k!)}$$と定め，これを
2022年8月28日 02:17
$${f(x)=a_{0}+a_{1}x+a_{2}x^{2}+\cdots+a_{m}x^{m}, \ g(x)=b_{0}+b_{1}x+b_{2}x^{2}+\cdots+b_{n}x^{n}}$$を実数係数の多項式とするとき，$$(fg)(x)=a_{0}b_{0}+(a_{0}b_{1}+a_{1}b_{0})x+(a_{0}b_{2}+a_{1}b_{1}+a_{2}b_{0})
2022年8月23日 03:29
$${A}$$はエルミート行列とする．すなわち，$${A}$$は$${A^{*}=A}$$を満たすとする．固有値は実数このとき，$${A}$$の固有値は実数であることを示そう．$${\lambda}$$を$${A}$$の固有値とし，$${\bm{x}}$$を$${\lambda}$$に対する固有ベクトルとする．$${A\bm{x}=\lambda\bm{x}}$$を満たすから，次の式変形を
2022年8月7日 16:57
前回に引き続き，線型代数の話題を取り上げる．線型独立の定義は簡単に書かれることが多いが，正確にはどういうものになるかを記述しておこう．ここでは，実ベクトル空間$${V}$$を考える．まず，線型従属から思い出そう．$${v_{1}, v_{2}, \ldots, v_{k}}$$が線型従属であるとは，次を満たすことである．$$\exists c_{1}, \ldots, c_{k}\i
2022年8月2日 22:24
大学数学を学ぶ上で避けて通れないのは，線型代数のなかでもベクトル空間であろう．「その定義は何か？」と聞かれて，皆さんはどう答えるだろう．たとえば，「和とスカラー倍とが定義されていて，いくつかの条件を満たすもの…」と答える人もいるだろう．一方，代数を少し勉強すると，次のように答えることができることが分かる．これだけの説明で，初学者にベクトル空間を教えられたとは全く思わないが，実はこの説明
2022年8月2日 18:11
はじめて投稿します．自分の気になったことを上げようと思います．私自身は，数学，特に微分幾何に興味があります．間違いや誤字脱字衍字には気を付けますが，大目に見てくださるようお願いするとともに，各自で注意してください．
