Average Speed as a Distance-Weighted Harmonic Mean

Average speed is total distance over total time, never the plain average of the leg speeds; when you know the distance fraction of each leg it equals the distance-weighted harmonic mean of the speeds.