■タクシー数のパラメータ解(その5)

 (その4)の続き。a>b>0としても一般性は失われない。項はすべて正とする。、

(7a^4−11ab^3)>(7b^4−11a^3b)

(7a^4−2ab^3)>(7b^4−2a^3b)

(7a^4−2ab^3)>(7a^4−11ab^3)

(7b^4−2a^3b)>(7b^4−11a^3b)

より、(7a^4−2ab^3)が最大、(7b^4−11a^3b)が最小となる。

====================================

(7a^4−11ab^3)>(7b^4−11a^3b)

(7a^4−7b^4)>(11ab^3−11a^3b)

7(a^2+b^2)(a^2-b^2)>-11ab(a^2-b^2)

7(a^2+b^2)>-11ab・・・これは常に成り立つ。

(7a^4−2ab^3)>(7b^4−2a^3b)

(7a^4−7b^4)>(2ab^3−2a^3b)

7(a^2+b^2)(a^2-b^2)>-2ab(a^2-b^2)

7(a^2+b^2)>-2ab・・・これも常に成り立つ。

(7a^4−11ab^3)>(7b^4−2a^3b)が成り立つとき

(7a^4−7b^4)>(11ab^3−2a^3b)

7(a^2+b^2)(a^2-b^2)>ab(11b^2−2a^2)

(7a^4−11ab^3)<(7b^4−2a^3b)が成り立つとき

(7a^4−7b^4)<(11ab^3−2a^3b)

7(a^2+b^2)(a^2-b^2)<ab(11b^2−2a^2)

11b^2>2a^2のとき、成り立つ可能性はないわけではないが、かなり厳しく

2番目(7a^4−11ab^3)>3番目(7b^4−2a^3b)

である可能性が高い。

====================================

(7a^4−2ab^3)が1番目

(7a^4−11ab^3)が2番目

(7b^4−2a^3b)が3番目

(7b^4−11a^3b)が4番目。)

====================================