The bilinear from α(…) on the real Hilbert space is said to be coercive if there is α>0 such that (0.1)a(υ,υ)≥a‖υ‖H∀υ∈H.Assume that a (…) is a bilinear continous and coercive form on H. Then, giving a f υ H′ arbitrarily, There exists a unique u υ H such that a(u,υ)=f(υ). (0.2)Furthermore, u depends continuously on f. This is the Lax-Milgram Theorem obtained in 1954.In 1972, A.K. Aziz[l] improved the condition (0.1) and obtained the sufficient condition of Eq. (0.2) being Well-posed.In this paper, by different method, we proved, more simply, this sufficient condition in §1. Furthermore, we proved that this sufficient condition is also the necessary one. In §2 we improved the error estimate of approximate solution of (0.2). which was obtained by Céa(3) in 1964. In §3 we discussed the Well-posed problem of Eq.(2), when a(…) is monotonic. This result may be considered as a generalization of the dffinition of coercive, and the Lax-Milgram Theorem as a special example. In §4 we extended a result of variational inequality to the case of product space. This result include the theorem of variational inequality, which was proved by Lions(2) in 1967. Using the methodhere, it is possible to extend certain theorems of Guo Youzhongt(4).