PROOF 115
비례식에서 외항의 곱과 내항의 곱은 같다
유리수 ℚ 위에서.
정의 D1
b ≠ 0 이고 d ≠ 0 일 때, a : b = c : d 는 a/b = c/d 를 뜻한다.
증명.
관련 실험실