>>478
y=f(x)とy=g(x)がx=kにおいて接する
⇔ f(x)-g(x)=0 はx=kを重解に持つ
⇔ f(x)-g(x)は(x-k)^2で割り切れる