logo

가비의 리 증명 📂보조정리

가비의 리 증명

정리

$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 } $$