By Thales's theorem, the two sides meeting on the circular arc are orthogonal, because the opposite side is a diameter. Both vectors point towards that meeting point; reversing both does not change their dot product. Consequently