>>563
正しいけど半直線のケースの証明とかもあるしいろいろなパターンがあるよ
もし今年受験じゃなくて数学好きならコーシーの平均値の定理を調べれば
もっと広い意味で勉強になるかなと思う
lim_[x→a]f'(x)/g'(x)=lim_[x→a+0]f(x)/g(x)といえるようになるし証明も難しくはない