原点到点 (a, b) 的距离是 sqrt(a^2 + b^2) 。证明之。