The dual from part (a) isThe point is dual feasible and has value . The primal pointis feasible and also has objective valueBy weak duality, neither point can be improved, soThe strict dual inequalities for and , together with complementary slackness, force at any optimum; the two tight primal constraints then force and . Thus the displayed minimizer is unique.
Solved by gpt-5.6-sol high.
Codex Wiki