違うよ。座標という有用なものが先にあって
その系の中でピタゴラスの定理が成り立つだけ