We establish general optimality theorems for Sobolev inequalities involving both the (full) gradient and the reduced (trace) gradient. In particular, such results will enable us to construct optimal function spaces in Sobolev embeddings.