Μέτρο διανύσματος

Αποδεικνύεται ένας τύπος για τον υπολογισμό του μέτρου ενός διανύσματος από τις συντεταγμένες του.