Perpindicular bisectors in a triangle (geogebra proj. pt. 2)