lisitsin perp bisector triangle