2019-07-01から1ヶ月間の記事一覧

ヒルベルト行列の正定値性

任意のでない多項式に対して, \begin{aligned} \int_{0}^{1} f(x)^2 {\rm d} x \gt 0\end{aligned} ここまでは当たり前体操です。この左辺を変形すると \begin{aligned} \int_{0}^{1} f(x)^2 {\rm d} x &= \int_{0}^{1} \left(\sum_{i=1}^{n}\sum_{j=1}^{n}…

とあるrank 等式の証明

一般化逆行列の説明でが列フルランクだったらは正則みたいな話を見てほんまか?ってなったのでメモです。一般に任意の行列について以下が成り立ちます。 \begin{aligned} {\rm rank}\ A^{\rm T}A = {\rm rank}\ A\end{aligned} (証明) \begin{aligned} Ax=0 …

恒等式の使い方

中1とかにするとウケる話をします。手品みたいなものです。 突然ですが2桁の整数を3つ思い浮かべてください。思い浮かべたのは ですね。(えー、そういう体でしばらく付き合ってください。これ当たってたらそれはもう手品を超えたなにかです。) それに対…

log 2 の近似

本日三度目の投稿です。暇なので。 唐突ですが(以下底は自然対数とします)の値が必要になったことありませんか???僕は、ないです。が、中2のときに同級生にしたらほ〜〜んって言われた面白い話を書きます。 のマクローリン展開は有名ですね。を積分する…

半角の公式の見方

本日二度目の投稿です。暇なので。 人から聞いた話ですが半角公式のへーって思った見方です。10年くらい知りませんでした。 の2倍角の公式 においてとすれば 一方で自明な式として があります。上の2式を足したり引いたりして2で割ってやれば \begin{aligne…

自然数の累乗和で遊ぶ

塾で教えてたりすると些細なことに気づきかけたりするのでまとめるブログです。 いきなりですが自然数の累乗和で遊びます。ちなみに遊んだ結果をブログにまとめるのではなく、ブログに書きながら遊んでいくスタイルです。すでに一行目に書いたことと矛盾して…