niming538 https://blog.hatena.ne.jp/niming538/ niming538の日記 https://kquoe2.hatenablog.com/ p.14 余弦定理 三角形ABCで2辺の長さb、cとその間の角Aがわかっているとき、残りの辺の長さaを求めることを考える。 APL/J言語は数学表記の革命みたいな面があるので、こういった証明問題もAPL/J言語で表記したい誘惑に駆られるのですが、むずかしいですね。そもそも証明問題ってトリッキーなところがあって、上記の証明も三角形ABCのCからABに垂線を下ろして証明しています。そのやりかただとAやBが鈍角の場合も考えなくてはならなくなって、証明はできているものの納得としてはだんだん本能的ではなくなってしまいます。そういうむずかしい状況の中での数学表記はどこに焦点を合わせるかで表記も別途発明しな… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkquoe2.hatenablog.com%2Fentry%2F20100630%2Fp1" title="三角関数 - niming538の日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2010-06-30 00:00:00 rich https://kquoe2.hatenablog.com/entry/20100630/p1 1.0 100%