sum of ligaments lengths of circuit in circuit

Author:
gilad
The applet shows that the length of one ligament, coming out form one vertex of the triangle, is equal to the sum of lengths of the two ligaments from the edge of this ligament to the two other vertices. The proof is based on the Ptolmaos' theorem.