Aha, und das ist aber trotzdem kein Beweis für die Richtigkeit dieser Formeln?

– Warum benutzt er diese Formeln dann - die ja von jemandem. z.B. einem Einstein zuvor ausgetüftelt wurden. Wenn sie falsch wären, könnte der Satellit doch gar nicht richtig funktionieren.
Einsteins E = mc², die ein Nachtrag zu seiner 1905 veröffentlichten Speziellen Relativitätstheorie war . - ist jedenfalls auch eine Formel, und es ist garantiert nicht unbegründet, dass sie zur berühmtesten Formel der Welt wurde. Sie ist unter vielem anderen z.B. die Grundlage für Atomkraftwerke und GPS.
Zitat:
Die spezielle Relativitätstheorie besagt also, dass wir (bei Beschränkung auf Messungen im Ruhsystem der Erde) die Zeitabläufe im Satelliten um etwa 0.835 ×10−8 Prozent überschätzen (und Frequenzen im Satelliten um denselben Prozentsatz unterschätzen)“
Quelle: Google