最优控制理论：用极小值原理构造哈密顿函数，应用拉普拉斯变换求出伴随变量，进而求出最优控制函数。如何用反证法证明该最优控制函数是解？？