Solution (source code)

= Solution

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
$$
\boxed{\mathbf a\cdot\mathbf b=0.}
$$