Suppose we forget Pythagoras's theorem and define a binary operation on positive reals by sending $(a, b)$ to the length of the hypotenuse of the right-angled triangle with side lengths $a, b$ forming the right angle.