a≠b∧1＋b-a≠0なる領域のうちでa＋b=kが最小になるようにkを取れ
って問題に帰着できるんだろうけど、ここから先は俺では無理だな。