Remarkably, Ireland's Martin was able to get back on his bike and - after a second incident - ride back and join forces with Quintana. He never recovered from the two minutes lost, and while Porte ultimately managed an admirable fifth overall, his best-ever performance at the race offered little consolation. He is now 18 seconds ahead of seventh-place Simon Yates of Orica-Scott.
Froome, meanwhile, spoke of his regret that Porte's Tour bid had come to such an end, as it did for one of his own teammates, Welshman Geraint Thomas, who crashed out earlier in the stage and broke his right collar bone.
Aru's version seemed a bit at odds with the television pictures in which Froome was in front of him and raising his arm while turning back to look for a support auto.
As the favorite and already wearing the yellow jersey, Froome is clearly in a great position now.
With nearly 100km left to race the yellow jersey group was down to about a dozen riders, 5:34 behind the head of the race.
"I wasn't sure if I had won or not".
He was then taken to hospital for further tests.
Marcel Kittel, who claimed back-to-back titles in two flat stages on Thursday and Friday, still wore the sprinter's green jersey and extended his advantage over Arnaud Demare to 30 points. The 32-year-old has overcome adversity before: his progression from Launceston lifeguard to the World Tour is nothing short of astonishing.
I'm happy to still be in the jersey but at the same time that was a insane stage. He will likely hunt for stage wins; Martin will do the same, but also keep aiming for a podium finish in Paris. Fuglsang completes the top five at 1:37 while Martin will be relieved to have emerged from that frightful collision with Porte just 1:44 in arrears.
"I've definitely got mixed feelings today", Froome said afterwards "Of course I'm happy to still be in the jersey but at the same time that was a insane, brutal stage".
Thomas' crash was his fourth of a race he led for four days after winning the opening time trial, something which already feels a long time ago.
From the outset the withdrawals came thick and fast.
There were high hopes for Porte's 2017 Tour.
Before Stage 10, we'll get a rest day on Monday, July 10. In the sprint, I have a speed that skips to the time where I run. That's a blow in particular to Quick-Step, as Trentin is the primary leadout for triple-stage victor Marcel Kittel.
France's Lilian Calmejane claimed the biggest victory of his career as the Direct Energie rider won stage eight of the Tour de France in Station des Rousses.