共通解を持たない条件がa≠b∧1＋b-a≠0なんだから
この条件下でa＋bの最小値求めよってことで
線形計画法みたいなことができないかと踏んだんだが無理だった
というだけのこと