비례식

요약 비 a:b가, 비 c:d와 같다면 양 a, b, c, d 4개는 비례관계에 있다는 것을 나타낸 식.

a:b=c:d 또는 a/b=c/d로 쓸 수 있다. 비례식 a:b=c:d가 성립할 때에는 다음과 같은 정리도 성립한다.

① 가비의 이
   a/b = c/d 이면, a/b = c/d = (a+c)/(b+d)

② 경질의 이
   a/b = c/d 일 때, a/c = b/d

  이것은 a:b=c:d이면, a:c=b:d이므로 내항을 교환하여도 두 비의 값은 같다는 사실에서 증명된다.

③ 반전의 이
   a/b = c/d 이면, b/a = d/c

④ 합비의 이
   a/b = c/d 이면, (a+b)/b = (c+d)/d