The blue line is the perpendicular bisector of a side of the red triangle. The semiperimeter of the green triangle is $s$. Prove the area of the red triangle is $ds$.