陰関数定理

　　（ｘ^2−４）ｙ^2−４ｘｙ−ｘ^4／４−ｘ^2＝０，ｘ＞２

　　Ｆx＝２ｙ^2ｘ−４ｙ−ｘ^3−２ｘ

　　Ｆy＝２（ｘ^2−４）ｙ−４ｘ

　　ｄｙ／ｄｘ＝−Ｆx／Ｆy＝０

などは御法度である．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　　ｓ1＝ａ＋２ｂ，ｓ2＝２ａｂ＋ｂ^2，ｓ3＝ａｂ^2

　　（４ｓ2−ｓ1^2）／９≦ｓ3／ｓ1≦（４ｓ2−ｓ1^2）／８

　　ｓ1／３≧（ｓ2／３）^1/2≧ｓ3^1/3

は使えないだろうか？

　　４ｓ2−ｓ1^2＝８ａｂ＋４ｂ^2−（ａ＋２ｂ）^2＝４ａｂ−ａ^2　　　　　　ｓ1／ｓ3＝１／ｂ^2＋２／ａｂ

どうしても相加平均・相乗平均不等式にもちこめない．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝