HOMELv018 $\int_{0}^{\pi} \sin^2 x dx$ の値を求めなさい。 2026年4月27日 $\sin^2 x = (1-\cos 2x)/2$ を積分すると $\pi/2$ となる。 2つの行列 $A, B$ が相似（$B = P^{-1}AP$）であるとき、共通して持つ値はどれか。 全平面で正則かつ有界な関数は定数に限るという定理はどれか。
