조화비, 분할비, 그리고 기하적 비례 정리