Twitter

合成関数の微分に使う dy/dx = dy/du ∙ du/dx には名前があって「チェイン・ルール」といいます。日本語では「連鎖律」というそうです。

「連鎖律」の方は，律というからにはもっと幅広く適用したくなりますが，
a/b ∙ b/c = a/c
log_a(b) ∙ log_b(c) = log_a(c)
→AB + →BC = →AC
こういうものには使わず，微分専用の言葉のようです。

教科書では，ベクトルの内積の分配法則 a∙(b+c) = a∙b+a∙c は，成分内積の公式 a∙b=a₁b₁+a₂b₂ の後で証明します。その方が簡単だからですが，内積の定義 a∙b=|a||b|cosθ から証明するのも十分簡単なので，やったことがない人は試してみてください。

a, bはベクトルとします。
|a+b|² = |a|²+2a∙b+|b|²
|a+b+c|² = |a|²+|b|²+|c|²+2a∙b+2b∙c+2c∙a
|a+b|³ = ?

y=tanθのグラフの形は「正接曲線」といいます。教科書には書かれていない言葉なので聞き慣れないかもしれませんが，「正弦曲線」と同様に「正接曲線」といいます。

「αに-αを代入する」「nにn+1を代入する」のように，代入先と同じ文字を含む式を代入することがあります。このような場合，教科書は「代入する」ではなく「置き換える」と書いています。

教科書は，同じ値のものに置き換える場合にしか「代入」と言わないようです。「x=3を代入」「t=a+bを代入」のように等式で表せる場合は「代入」ですが，「α=-α」や「n=n+1」は等式にするとおかしいので，「代入」ではなく「置き換え」と書いています。

ただ，これは教材として表現を統一するという出版レベルの話ですから，受験生は気にせず「nにn+1を代入」と言っても構わないでしょう。
ただし，これを「n=n+1を代入」のように等式で書くのはおかしいので避けてください。

ちなみにプログラミング言語では，等価と代入に同じ「=」ではなく，別々の表現をとっている場合が多いです。

3項間漸化式 aₙ₊₂+paₙ₊₁+qaₙ=0 について，特性方程式 t²+pt+q=0 の解が虚数になる問題はあまり見かけませんが，実数解の場合と全く同じ手続きで解けます。

例えば，a₁=1，a₂=1，aₙ₊₂+aₙ₊₁+2aₙ=0 の場合，特性方程式 t²+t+2=0 の解は，
α=(-1+√7i)/2
β=(-1-√7i)/2
これを使って一般項を求めると(求め方はいつも通り)
aₙ={(1-β)αⁿ⁻¹-(1-α)βⁿ⁻¹} / (α-β)
すべての項は整数なのに，一般項は虚数を使った表現になるのが面白いです。

Maximaで確かめるためのスクリプトです。
a1:1$
a2:1$
kai:solve(t^2+t+2=0)$
p:rhs(kai[1])$
q:rhs(kai[2])$
define(
    a(n),
    ((a2-q*a1)*p^(n-1)-(a2-p*a1)*q^(n-1))
    /(p-q)
);
for i:1 thru 6 do (
    print("a",i,"=",ratsimp(a(i)))
)$