Laplace transforms: Double pendulum

Part 1:

Problem Statement: Suppose two identical pendulums are coupled by means of a spring with constant K. It can be shown that when displacement angles Theta_1 (t) and theta_2 (t) are small, the system of linear Differential Equations describing motion is