This Demonstration shows a second construction of the harmonic mean .
Draw perpendicular line segments and . Let the point be the intersection of the segment with the bisector of the angle . Let be the orthogonal projection of of the segment , and let be symmetric to with respect to . Then . Define . From the similarity of triangles and and the angle bisector property, we have , .