原点から点 (a, b) までの距離は sqrt(a^2 + b^2) である。これを示せ。