Haruki定理--藍色長度乘積 = 紅色長度乘積

Reference:

• Ross Honsberger, Episodes in Nineteenth and Twentieth Century Euclidean Geometry, pp. 144-146.