面白い問題おしえて〜な 31問目

>>631
補足します。
　C≠π/3　⇒　f(C,0) < f(π/3,0)
(略証)
　f(C,|A-B|) は |A-B| について単調減少なので
　f(C,0) = f((π-C)/2, (3/2)|C-π/3|)
　< f((π-C)/2, (1/2)|C-π/3|)
　= f(π/3, |C-π/3|)
　< f(π/3, 0)
　= (正三角形の面積).