This paper devises orthogonal complement representations of semidefinite programs, which give rise to a new algebraic expression, with the interesting theoretical properties, for a pair of primal-dual semidefinite programs. As its applications, such expression provides a direct proof of the existence of the Karush-Kuhn-Tucker points for semidefinite programs without using the convex set separation theorem.