This is a supplementary material to Realization of three-port spring networks with inerter for effective mechanical control [1], which provides the detailed proofs of some results. For more background information, refer to [2]-[32] and references therein.