A couple of proofs from Chapter 2 of "Space Groups for Solid State Scientists" are giving me a hard time (see attached image).
So what I understand is: "r" was the original lattice point. "r'" is the lattice point r after the mirror operation, which should also be a point of the original lattice. I also have no trouble with how the transformation r->r' works, and how dot products being zero imply a right angle between the vectors.
So why should the two dot products be equal? And how should one interpret this dot product intuitively (component of one axis onto another?) ? (I can kind of visualize how the mirror image of a triclinic lattice wouldn't coincide with the original if one of the axes is not perpendicular to the other two, but how should one prove it rigorously, and how does the aforementioned proof work)