@DavidKButlerUoA My immediate reaction to this "brainteaser" was that it's one of those "invent and prove the theorem I'm thinking of" ones, and it doesn't look like I was wrong!
I have a feeling @robeastaway has a name for these