>>358
点Pにおける法線の式は簡単に出る。x=πとの交点もすぐ出る。
ここまで出してあとは極限を出すだけ。俺はやってないけどたぶん
簡単に出るだろう。