 Solution

If a group representation of $G$ has character $\chi$, its restriction of a representation to $H$ has character $\chi {|}_H$. For an $H$-representation $V$ with character $\psi$, the induced representation is $\mathbb{C}[G]{\otimes }_{\mathbb{C}[H]}V$, with $G$ acting on the first factor. Decomposing into coset copies of $V$ shows that its character isIndeed only cosets fixed by $g$ contribute to the trace, and each coset has $|H|$ representatives.

The Frobenius reciprocity says $⟨{\mathrm{Ind}}_H^G\psi ,\chi {⟩}_G=⟨\psi ,{\mathrm{Res}}_H^G\chi {⟩}_H$. Directly, with the usual character inner product,The first equality substitutes $g=xh{x}^{-1}$ in the finite sum, and the second uses conjugacy invariance. This proves the theorem.