📂보조정리

가비의 리 증명

정리

$bdf(b+d)\neq 0$ 이면 $$\frac { a }{ b }=\frac { c }{ d }=\frac { e }{ f } \implies \frac { a+c }{ b+d }=\frac { e }{ f }$$

설명

‘가비’는 다른 게 아니라 두 한자 더할 가加 견줄 비比로 만들어진 단어다 여기서 견줄 비는 ‘비율’할때의 그 비로, 이름에 모든 게 함축된 정리다.

증명

$$\frac { a }{ b }=\frac { c }{ d }=\frac { e }{ f }$$

이므로 $\frac { a }{ b }=\frac { e }{ f }$ 이고 $\frac { c }{ d }=\frac { e }{ f }$ 이다. $\frac { a }{ b }=\frac { e }{ f }$ 의 양변에 $bf$ 를 곱하면

$$\frac { c }{ d }=\frac { e }{ f }$$

이고, $\frac { c }{ d }=\frac { e }{ f }$ 의 양변에 $df$ 를 곱하면

$$cf=de$$

위에서 얻은 두 식의 양변끼리를 더하면

$$(a+c)f=(b+d)e$$

양변을 $(b+d)f$ 로 나누면

$$\frac { a+c }{ b+d }=\frac { e }{ f }$$

■