HOMELv014 $n$ 次多項式の係数がすべて整数で、特定の素数 $p$ で割り切れる判定法は。 2026年5月3日 多項式が有理数体上で既約であるかどうかを判定する強力な手法。 円の外接四角形において、対角線の中点と外接円の中心が一直線上にあるという定理は。 格子経路において、最短距離で $(0,0)$ から $(n,n)$ へ $y=x$ を越えずに行く方法は。