In this paper ,by using the properties of elementary transformation and partitioned matrices we give three method to prove Sylvester inequality and we explore the nature of the Sylvester inequality and the necessary and sufficient conditions when equals established.