The functional determinant of the operator −∂t2+ω2 on [0,T] with Dirichlet boundary conditions arises in the harmonic oscillator path integral. Use the zeta-function regularization or the eigenvalue product formula to show that
det(−∂t2+ω2)∝ωTsinh(ωT)
and hence recover the harmonic oscillator propagator prefactor.