DIMOSTRAZIONE Pantografo di Sylvester (rotazione)

I triangoli OAP e OCQ sono congruenti (; ; ) quindi OP=OQ. Inoltre: =
  =cost.