20/03/03 09:01:23.61 KGTUQZbA.net
>>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)
= (正三角形の面積).
20/03/03 09:01:23.61 KGTUQZbA.net
>>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)
= (正三角形の面積).