Bauer's expression for the difference between the expectation values of an arbitrary quantum-mechanical operator with the physical interacting ground-state wave function and its corresponding noninteracting Kohn-Sham wave function is obtained here by a very simple and general derivation via the constrained-search formulation of density-functional theory. Our proof does not require v-representability or a coupling-constant integration. We show that the following expression of Bass for the kinetic part of the exact exchange-correlation energy E(xc)[n]: T(xc)[n] = a0 partial derivative E(xc)[n]/partial derivative a0, where a0 = h2BAR/me2 is the Bohr radius, can also be derived by a constrained-search proof and is equivalent to the following expression of Levy and Perdew: T(xc)[n] = (partial derivative E(xc)[n(lambda)]/partial derivative lambda)\lambda=1 - E(xc)[n], where n(lambda)(x,y,z) = lambda3n (lambdax, lambday, lambdaz). When an approximate E(xc) is employed, the two expressions will yield the same result for the corresponding T(xc) if certain coordinate scaling relations, involving the electronic charge, are satisfied. Moreover, the Levy-Perdew relation has the advantage that it is applied at full electronic charge (e) and full electronic mass (m). Corresponding relations are also exhibited for the correlation hole. We discuss the high- and low-density limits of T(xc), generalize our results to spin-density functional theory, and present numerical estimates of T(xc) for atoms, evaluated within the local spin density, gradient expansion, and generalized gradient approximations.