开普勒对天体之间作用力的研究成果主要表现在他发现的（）上。