强对偶性、弱对偶性以及KKT条件的证明（对偶问题的几何证明）