Nine point circle - proof of the radius formula