晴れの日が続く２

10日ほど晴天が続き、その後、今週の火曜日に雨が降ったが、一日だけの曇天と雨天で、その後は晴れの日が続く。

夏には雨または曇りの日が多かったような気するというブログを書いた後の晴天続きである。もっとも北海道は今年は天気が悪そうである。

どこかの地方の悪天の犠牲の上に私の住んでいる地方のいい天気があるような気もするのでそこそこでもいいのだがと思っている。

それでも洗濯物を干すなどの行為はやはり晴天だと洗濯物がよく乾くだろうから晴天の日にかぎる。

ということで洗濯物を干してから、仕事場に来た。

またまた三角関数の還元公式

このところ考えることは三角関数の還元公式一色の生活である。単位円上のある点のx軸に対称な点の座標、y軸に対称な点の座標、原点対称な点の座標、これらから還元公式が導かれる。

ということで2行2列の行列でこれらの点を導くことができるはずだと考えた。ところがこれをやってみるとなんのことはない。それらの点の角度をもつsin関数とcos関数で表されるのでわざわざ2行2列の行列で元の点の座標を変換するまでもないことがわかった。

考えていたことはEuler公式で三角関数の還元公式が求められるのならば、2行2列の回転公式でやはり還元公式が求められるのではないかということである。

これはできないということはないのだが、普通の円の対称性から求める方法をただ七面倒くさくしただけである。

もっともそれでもそういう方法があるということを知っておくことも悪くはなかろうか。昨夜家に帰って考えたことはそういうことであって、結果はあまり画期的なことではなかった。