I hadn't fully appreciated that the hashpower can be thought of as operating together to solve the problem rather than duplicating each others work - is the percentage efficiency compared to a single miner known?
Your thought experiment has the merit of bringing this aspect to the foreground.
I think the duplicated work is negligible given the amount of possible hashes.