Supplementary Material to: Realization of Three-port Spring Networks with Inerter for Effective Mechanical Control

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.