HOMELv009 関数 f(x) = tan x を微分すると何になるか。 2026年4月16日 商の微分法により (sin x / cos x)’ = 1 / cos^2 x となる。 命題 p => q が真であるとき、必ず真になるものはどれか。 2次正方行列 A, B において一般に成り立つ式はどれか。