isDiameter: AreCollinear[(0,0), A, B]