■タクシー数のパラメータ解(その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番目。)
====================================