推导双账本对冲公式 2

对正的 a、b，推导在约束 u x + v y = c 下最小化 a x^2 + b y^2 的解。