mean proportional between two numbers