(･ω･)俺が日々の数学的発見を書くスレ

[定理]
P(x)、Q(x)はdeg(P)>deg(Q)を満たすモニック多項式であり、P(x)=0は重解を持たないとする。
F:={ω∈C|P(ω)=0}とすれば、

∫(Q(x)/P(x))dx=Σ[ω∈F]Q(ω)log(x-ω)/P'(ω)

が成り立つ。