May I please add that it feels so wrong that we are not taught this part of the cosmic ladder in school. This video - especially the concise yet insightful description of how the Martian orbit was found - is really inspiring. The quality of the work is incredible when you combine elegant math with the 3b1b/tao goodness.
Cool collab.
Tao’s oft given talk about the cosmic distance ladder has always been my favorite thing he has done.