A pre-euclidean theory of proportions