DIMOSTRAZIONE Guida rettilinea di Kempe (2°)

Prolungando DC fino ad incontrare la retta di AB in K si ha: . La bisettrice CH dell’angolo al vertice del triangolo isoscele DCF č in ogni posizione parallela ad AB, quindi DF č sempre perpendicolare a DG.