This construction gives xy/(x+y). Does it have a name? Is it in Euclid?