While looking at the bisection of area formula (see previous posts)
a’b’ = (1/2)ab
where a’ and b’ are the distances from the vertex of points on the sides of the triangle, and a and b are the lengths of the sides I remembered another formula about triangles, the bisection of the angle formula, with a” and b” being the lengths of the two parts into which the opposite side is divided, namely
a”/b” = a/b
These are like Cuba and Puerto Rico, “Two wings of the same bird”, Jose Marti (in Spanish)
Neither involves the angle itself, and so is very general. I decided that there must be a connection, and after a futile look for some duality in the situation I suddenly saw the connection, in simple algebraic terms:
a’b’ = a’/(1/b’)
and so a triangle with sides a’ and 1/b’ will give a”/b” = a’b’
and then a”/b” = (1/2)ab as well.
This is the extended construction for the bisector. The opposite side is in brown.
and this is a gif showing how as the point a’ (E) is moved the brown line (OE, opposite side) moves parallel to itself, thus preserving the value of the ratio a”/b”