用勾股定理证明距离公式。