多項式 f(x) が有理数体上で既約であるかどうかを判定する際に用いられる手法はどれか。

非ユークリッド幾何学の一つである双曲幾何学において、三角形の内角の和はどうなるか。