安田の公式

さて突然ですが、安田の公式というものをご存じでしょうか？

安田の公式とは、分数関数 y=f(x)/g(x) が x=α で極値をとるときに f(α)/g(α)=f'(α)/g'(α) が成立する、というものです。noteで書くととても分かりづらいですね。

安田の公式は、安田亨先生が考え出した公式です。安田先生は、ハッと目覚める確率を書いた先生です。大学受験の数学界隈では有名な先生です。

ハッとめざめる確率

安田先生が考え出した、とはいうものの、考えてみれば成り立つのは当たり前なんですが、言われないとなかなか気づけないです。

考えてみれば成り立つのは当たり前、というのは、証明すれば簡単です。

商の微分を考えてみましょう。商の微分は前微分-後ろ微分ですね。商の微分法を忘れてしまった人は、積の微分法からなんとか作り出しましょう。
{f(x)/g(x)}'
=[f(x){g(x)}^-1]'
=f'(x){g(x)}^-1+f(x)[-g'(x){g(x)}^-2]
={f'(x)g(x)-f(x)g'(x)}/{g(x)}^2
と導出します。

知りたいのは x=α のときです。y=f(x)/g(x) が x=α で極値を持つということは g(α)≠0 が成り立ちます（g(α)=0 のとき、y は±∞どちらかに発散しています）。

先ほど
{f(x)/g(x)}'={f'(x)g(x)-f(x)g'(x)}/{g(x)}^2
を導出しました。x=α で極値を持つとき、
{f(α)/g(α)}'={f'(α)g(α)-f(α)g'(α)}/{g(α)}^2=0
ここで、g(α)≠0 より両辺を {g(α)}^2 倍して
f'(α)g(α)-f(α)g'(α)=0
が成り立ちます。
移項して
f'(α)g(α)=f(α)g'(α)
両辺を g(α)g'(α) で割ると
f(α)/g(α)=f'(α)/g'(α)
が成り立ちます。

なぜ思い出したのかさっぱりわかりませんが、今が大学受験シーズンだからでしょうかね。わたしは理系でしたし、数学がそこそこ得意でした。なお、計算ミスが多くてとある大学を落ちましたし、入学した大学でも２次試験で数学が足を引っ張っています（たぶん）。

ちなみに、大学入試でこの公式が使える機会はありませんでした。まあ、知らなくても分数関数の極値は力業で出せます。

この公式を使う機会がない理由として最も大きいのは、これが役に立つ問題がそもそもそこまでないことです。分数関数の極値を求めるときぐらいですから。しかし、分数関数の極値を求める問題が出されたらこの公式を知っているだけで無双できます。計算時に次数を減らせますから。25年ほど前は福島県立医科大で毎年出されていて、この公式を知っているかどうかが合否を分けたらしいですが、今はどうなんでしょう？　有識者待ってます。

今日は、今までのnoteとは少し毛色の違うものになりましたが、好き勝手書いているのでこれからはこういうことも書きたいと思います。