분수 (수학): 두 판 사이의 차이

위키백과, 우리 모두의 백과사전.
내용 삭제됨 내용 추가됨
편집 요약 없음
1번째 줄: 1번째 줄:
[[파일:Cake quarters.svg|thumb|right|270px|케이크를 네 등분한 조각을 가져갔을 때, 가져간 부분은 전체 케이크의 사분의 일이며, 남은 부분은 전체 케이크의 사분의 삼이다.]]
[[파일:Cake quarters.svg|thumb|right|270px|케이크를 네 등분하여(각각 4분의 1) 하나가 없어진 상태이다. 나머지 조각이 남았다.]]
[[수학]]에서 '''분수'''(分數, fraction)는 <math>a/b</math> 이나 <math> \frac {a} {b}</math> 꼴로 표시한다. 이것은 <math>a</math>를 <math>b</math>로 [[나눗셈|나눈]] 값, 즉 <math>a</math>와 <math>b</math>의 [[비 (수학)|비]]를 뜻하며, [[유리수]]의 또다른 표현이다. 여기서 <math>a</math>는 분자, <math>b</math>는 분모라고 한다. 이 때 분모 <math>b</math>에 <math>0</math>이 들어가는 <math> \frac {a} {0}</math>(<math>a</math>는 [[상수]])라는 수는 정의될 수 없으므로 <math>b</math>≠<math>0</math> 이어야 한다.
[[수학]]에서, '''분수'''(分數, {{llang|en|fraction}})는 부분이 전체를 차지하는 [[비율]]을 나타내는 수식이다. 가로줄 위에 쓰인 [[정수]]와, 가로줄 아래에 쓰인 0이 아닌 정수로 이루어진다. 이 두 정수를 각각 '''분자'''(分子, {{llang|en|numerator}})와 '''분모'''(分母, {{llang|en|denominator}})라고 하며, 가로줄은 '''분수 막대'''(分數-, {{llang|en|fraction bar}})라고 한다.


<math>\textstyle \frac a b < 1</math>일 때의 분수를 [[진분수]]라 하고, <math>\textstyle \frac a b \ge 1</math>일 때의 분수를 [[가분수]]라고 한다. 모든 가분수는 [[정수]]와 진분수의 합으로 나타낼 수 있다.
분수의 분자는 몇 조각을 취하는지를 나타낸다. 분모는 전체를 몇 등분하였는지를 나타내며, 0이 될 수 없다. 예를 들어, 전체를 4등분하였을 때 3조각이 차지하는 비율은 {{sfrac|3|4}}이다.

분수를 반드시 분자와 분모를 통해 나타내야 하는 것은 아니다. 예를 들어, 분수 {{sfrac|3|4}}은 [[소수 (기수법)|소수]] 0.75 또는 [[백분율]] 75% 또는 거듭제곱 꼴 7.5 × 10<sup>-1</sup>로 나타낼 수도 있다.

분수는 분자와 분모의 [[비 (수학)|비]]나 분자를 분모로 [[나눗셈|나눈]] [[몫]]을 나타내기도 한다. 예를 들어, {{sfrac|3|4}}은 3과 4의 비 3 : 4나, 3을 4로 나눈 몫 3 ÷ 4를 나타낼 수 있다.

분자와 분모가 정수인 분수로 나타낼 수 있는 수를 [[유리수]], 그렇지 않은 수를 [[무리수]]라고 한다. 유리수와 무리수가 수의 성질에 따른 분류라면, 분수는 단지 수에 대한 표기법이다. 분자와 분모가 정수가 아닌 분수 역시 생각할 수 있으며, 이는 분자를 분모로 나눈 몫으로서 생각할 수 있다. 예를 들어, 분자와 분모를 [[다항식]]으로 두면 분수는 [[유리 함수]]가 되며, 분자와 분모를 [[대수적 정수]]로 두면 분수는 [[대수적 수|대수적 유리수]]가 된다. [[추상대수학]]의 관점에서, 이들은 모두 [[정역]]과 그 [[분수체]]의 관계에 있다.


== 정의 ==
== 정의 ==
분자가 [[정수]] <math>a</math>, 분모가 0이 아닌 정수 <math>b</math> '''분수'''는 <math>\textstyle\frac ab</math> 또는 <math>a/b</math> 표기하며, 이는 [[비 (수학)|비]] <math>a:b</math> 또는 [[몫]] <math>a\div b</math>으로 해석될 수 있다.
[[0|'''0''']] 아닌 [[실수]] <math>a</math> 대해서 <math>ax=xa=1</math> 실수 <math>x</math> 유일하게 존재하고 <math>\frac{1}{a}:=x</math> 하기로 한다.

분수의 예에는 {{sfrac|2}}, -{{sfrac|5|8}} = {{sfrac|-5|8}} = {{sfrac|5|-8}}, {{sfrac|27|5}}, {{sfrac|12|18}} = {{sfrac|6|9}} = {{sfrac|2|3}} 등이 있다.

특히, 분자가 <math>a=0</math>인 경우, <math>\textstyle\frac0b=0</math>은 단순히 [[0]]이다. 또한, 분모가 <math>b=1</math>인 경우, <math>\textstyle\frac a1=a</math>는 단순히 [[정수]]이다. 즉, 정수는 분수의 특수한 경우라고 생각할 수 있다. 분모가 0인 경우는 정의되지 않는다. 이는 [[0으로 나누기]]를 정의할 수 없기 때문이다. 분자가 1인 분수 <math>\textstyle\frac1b</math>를 '''[[단위 분수]]'''라고 한다. 분모가 2의 [[거듭제곱]]인 분수 <math>\textstyle\frac a{2^n}</math>를 '''[[이진 분수]]'''라고 한다.

=== 진분수와 가분수 ===
분자와 분모가 양의 정수일 때, 만약 분자가 분모보다 작다면 '''진분수'''(眞分數, {{문화어|참분수}}, {{llang|en|proper fraction}})라고 한다. 예를 들어, {{sfrac|5|6}}, {{sfrac|3|8}}, {{sfrac|11|17}}은 진분수이다. 만약 분자가 분모보다 크거나 같다면 '''가분수'''(假分數, {{llang|en|improper fraction}}) 또는 '''거꿀분수'''(-分數)라고 한다. 예를 들어, {{sfrac|7|6}}, {{sfrac|15|8}}, {{sfrac|26|17}}은 가분수이다.

보다 일반적으로, 분자와 분모가 정수일 때, 진분수는 절댓값이 1보다 작은 분수이다. 즉, -1 이상, 1 이하의 분수이다. 반대로 가분수는 절댓값이 1보다 크거나 작은 분수이다. 즉, -1 이하이거나 1 이상인 분수이다. 예를 들어, -{{sfrac|3|5}}는 진분수, -{{sfrac|13|9}}는 가분수이다.

=== 대분수 ===
'''대분수'''(帶分數, {{문화어|데림분수}}, {{llang|en|mixed fraction}}) 또는 '''혼분수'''(混分數)는 정수와 진분수의 합을 나타내는 분수이다. 정수 부분과 분수 부분 사이의 덧셈 기호 '+'는 생략된다. 예를 들어, 정수 부분이 3, 분수 부분이 {{sfrac|2|7}}인 대분수는 3 + {{sfrac|2|7}} 대신 {{sfrac|3|2|7}}과 같이 표기한다. 또한, 음의 대분수 -{{sfrac|3|2|7}}은 {{nowrap|1=-(3 + {{sfrac|2|7}}) = -3 - {{sfrac|2|7}}}}을 뜻한다.

대분수의 표기법 <math>\textstyle a\frac bc</math>는 곱셈 기호가 생략된 곱셈과 혼동될 수 있다. 이러한 혼동을 막기 위해 대분수를 <math>\textstyle a+\frac bc</math>와 같이 표기하고, <math>a</math>와 <math>\textstyle\frac bc</math>의 곱을 <math>\textstyle a\cdot\frac bc</math>와 같이 표기할 수 있다.

가분수를 대분수로 바꿔 나타내려면, [[나머지 있는 나눗셈]]을 사용하여, 가분수의 분자를 분모로 나눈 몫과 나머지를 위한 뒤, 몫을 정수 부분, 나머지를 분자, 원래의 분모를 새로운 분모로 취하면 된다. 예를 들어, 가분수 {{sfrac|11|4}}은 분자 11을 분모 4로 나눈 몫이 2, 나머지가 3이므로, 이 가분수는 대분수 {{sfrac|2|3|4}}과 같다.

=== 번분수 ===
'''번분수'''(繁分數, {{llang|en|compound fraction, complex fraction}}) 또는 '''겹분수'''(-分數) 또는 '''복분수'''(複分數)는 분자와 분모가 분수 또는 대분수인 분수이다. 이는 두 분수를 포함하는 수식의 나눗셈과 같다. 예를 들어, 다음은 모두 번분수이다.
:<math>\frac{\,\dfrac12\,}\dfrac13,\;\frac{12\dfrac34}{26}</math>
번분수를 보통의 분수 꼴로 바꿔 나타내려면, 분수의 나눗셈을 사용하면 된다. 예를 들어, 위의 번분수들의 경우 다음과 같다.
:<math>\frac{\,\dfrac12\,}\dfrac13=\frac12\times\frac31=\frac32</math>
:<math>\frac{12\dfrac34}{26}=\frac{51}4\times\frac1{26}=\frac{51}{26}</math>
번분수의 분수 막대의 우선 순위가 불분명하다면, 이는 무의미한 수식이 된다. 예를 들어, 5/10/20/40은 다음 두 의미 가운데 하나로 해석될 수 있으므로 무의미하다.
:<math>5/(10/(20/40))=\frac5{\,\dfrac{10}{\,\dfrac{20}{40}\,}\,}=\frac14</math>
:<math>(5/10)/(20/40)=\frac\dfrac5{10}{\,\dfrac{20}{40}\,}=1</math>
분자와 분모가 정수인 분수를 '''단분수'''(單分數, {{llang|en|simple fraction}}) 또는 '''홑분수'''(-分數)라고 불러 번분수와 구별하기도 한다.


또, 실수 <math>a</math>와 <math>0 \;</math>이 아닌 실수 <math>b \;</math>에 대해서 <math>\frac{a}{b}:=a\times\frac{1}{b}</math>로 정의한다.
=== 유한 연분수 ===
{{본문|연분수}}
'''[[유한 연분수]]'''는 양의 정수를 더하는 연산과 [[역수 (수학)|역수]] 연산을 번갈아 가며 반복하여 얻는 분수이다. 예를 들어, 다음과 같은 수식은 유한 연분수이다.
:<math>1+\dfrac1{2+\dfrac1{5+\dfrac1{4+\dfrac13}}}</math>
유한 연분수는 번분수의 일종이므로, 분수로 전환할 수 있다. 예를 들어, 위 유한 연분수의 분수 꼴을 계산하면 다음과 같다.
:<math>1+\dfrac1{2+\dfrac1{5+\dfrac1{4+\dfrac13}}}=1+\dfrac1{2+\dfrac1{5+\dfrac3{13}}}=1+\dfrac1{2+\dfrac{13}{68}}=1+\dfrac{68}{149}=\frac{217}{149}</math>
모든 분수는 유한 연분수 꼴로 나타낼 수 있으며, 그 방법은 유일하다. 유한 연분수를 분수 꼴로 바꾸는 과정을 반대로 진행하면 된다. 그 예는 다음과 같다.
:<math>\frac{41}{16}=2+\frac9{16}=2+\frac1{1+\dfrac79}=2+\frac1{1+\dfrac1{1+\dfrac27}}=2+\frac1{1+\dfrac1{1+\dfrac1{3+\dfrac12}}}</math>
양의 정수를 더하는 연산과 역수 연산을 무한히 반복하는 [[무한 연분수]]의 개념 역시 존재하지만, 이는 정수를 분자 분모로 하는 분수의 꼴로 나타낼 수 없다.


또한, <math>ax =1 </math> 은
=== 이집트 분수 ===
:<math>ax -1=0 </math>
{{본문|이집트 분수}}
:<math> a=0</math> 이면,
'''[[이집트 분수]]'''는 유한 개의 서로 다른 양의 분모를 갖는 [[단위 분수]]의 합을 나타내는 수식이다. 예를 들어 {{sfrac|2}} + {{sfrac|3}}는 이집트 분수이다. 모든 분수는 이집트 분수로 나타낼 수 있지만, 그 방법은 유일하지 않다. 예를 들어, {{sfrac|9|11}}의 이집트 분수 표현의 예는 다음과 같다.
:<math>x={1 \over a} </math>일때,
:<math>\frac9{11}=\frac13+\frac1{11}+\frac1{231}=\frac14+\frac1{11}+\frac1{12}+\frac1{231}=\cdots</math>
:<math>x={1 \over 0} </math> 이므로,
이집트인은 {{sfrac|2|3}}을 제외한 분수들을 이러한 꼴로 나타내어 사용하였지만, 이집트인이 연분수 표현을 구하는 데 사용한 방법은 알려지지 않았다. 오늘날에는 이집트 분수 표현을 구하는 다양한 알고리즘이 존재한다.
:<math>x={1 \over 0} = 0 \times x = 1 </math>을 정의할 수 없으므로 , 따라서 성립되지 않으므로,
[[방정식]]에서는 <math>ax -1=0 , a \neq 0</math>을 가정한다.
따라서 분모가 <math>0</math>인 <math>{a \over 0}</math> 분수가 성립되는 않는 것은 매우 중요한 분수의 성질이다.


== 산술 ==
== 분수의 성질 ==
:<math>{2 \over 3} = {{1+ 1} \over 3}= {{1} \over 3}+ {{1} \over 3} </math>
분수는 정수가 그러한 것처럼 서로 더하거나 빼거나, 곱하거나 나눌 수 있다. 또한, 분수의 산술은 [[교환 법칙]]과 [[결합 법칙]]과 [[분배 법칙]]을 만족시킨다.
:<math>{3 \over 4} = {{1+ 1+1} \over 4}= {{1} \over 4}+ {{1} \over 4}+ {{1} \over 4} </math>
:<math>= {{1+ 1+1} \over 4}= {{1+1} \over 4}+ {{1} \over 4}= {{2} \over 4}+ {{1} \over 4}={3 \over 4} </math>
이처럼 분수는 <math> {{a} \over {b}}</math>와 같이 분자<math> {a}</math> 와 분모<math> {b}</math>로 표현된다.
이것은 <math> {a} \div {b}</math>를 의미하는 표현이다.


따라서, <math> {a}</math>가 <math> {b}</math>로 나누어진다면,
=== 등식과 약분과 통분 ===
분자와 분모에 동시에 같은 0이 아닌 수를 곱하면, 분수의 값이 변하지 않는다. 예를 들어, 분수 {{sfrac|2}}는 동시에 2를 곱하여 얻는 {{sfrac|2|4}}와 같으며, 동시에 3을 곱하여 얻는 {{sfrac|3|6}}과도 같다. 직관적인 관점에서, 전체를 2등분하여 1조각을 취하는 것과 4등분하여 2조각을 취하는 것과 6등분하여 3조각을 취하는 것은 당연히 같다. 또한, 분수의 곱셈을 생각하면, 분자와 분모에 동시에 <math>n</math>을 곱하는 것은 그 분수에 <math>\textstyle\frac nn=1</math>을 곱하는 것과 같으므로, 원래의 분수를 결과로 한다.
:<math>\frac{a\times n}{b\times n}=\frac ab\times\frac nn=\frac ab\times 1=\frac ab</math>
반대로, 분자와 분모에 동시에 같은 0이 아닌 수로 나눠도 분수의 값은 변하지 않는다. 이에 따라, 분자와 분모가 동시에 같은 0이 아닌 정수의 [[배수]]라면, 동시에 그 정수로 나눠 분자와 분모를 더 작게 만들 수 있다. 이를 '''약분'''(約分, {{llang|en|reduction, cancellation}})이라고 한다. 두 분수가 같을 필요충분조건은 하나를 약분하여 다른 하나를 얻을 수 있는 것이다. 예를 들어, {{sfrac|36|60}}은 분자와 분모를 동시에 2로 나눠 {{sfrac|18|30}}로 약분할 수 있으며, 다시 6으로 나눠 {{sfrac|3|5}}로 약분할 수 있다.
:<math>\frac{36}{60}=\frac{36\div2}{60\div2}=\frac{18}{30}=\frac{18\div6}{30\div6}=\frac35</math>
분자와 분모가 [[서로소 정수|서로소]]인 분수, 즉 분자와 분모의 양의 [[공약수]]가 1뿐인 분수를 '''[[기약 분수]]'''라고 한다. 예를 들어, {{sfrac|3|9}}는 3과 9가 공약수 3을 가지므로 기약 분수가 아니며, {{sfrac|3}}으로 약분될 수 있다. 그러나 {{sfrac|3|8}}의 경우 3과 8의 양의 공약수가 1뿐이므로 기약 분수이며, 이는 더 작은 분자와 분모를 갖는 분수로 약분될 수 없다. 분수를 기약 분수 꼴로 약분하려면, 분자와 분모를 동시에 이 둘의 [[최대 공약수]]로 나누면 된다. 예를 들어, {{sfrac|36|60}}의 경우 36과 60의 최대 공약수가 12이므로, 12를 나눠 약분한 결과 {{sfrac|3|5}}는 기약 분수이다. 최대 공약수를 구하는 방법에는 [[단제법]]과 [[소인수 분해]]와 [[유클리드 호제법]]이 있다.
:<math>\frac{36}{60}=\frac{36\div12}{60\div12}=\frac35</math>
분모가 다른 두 분수를 분모가 같은 두 분수로 만드는 것을 '''통분'''(通分)이라고 한다. 이 원래의 분자와 분모의 곱을 새로운 공통의 분모로 취할 수 있으며, 원래의 분자와 분모의 [[최소 공배수]]를 취할 수도 있다. 예를 들어, 분수 {{sfrac|3|8}}와 {{sfrac|5|12}}의 경우, {{sfrac|3|8}}의 분자와 분모에 동시에 12를 곱해 {{sfrac|36|96}}을 얻고, {{sfrac|5|12}}의 분자와 분모에 동시에 8을 곱해 {{sfrac|40|96}}을 만들면 96 = 8 × 12을 공통 분모로 하는 통분이 완성된다. 또한, 8과 12의 최소 공배수 24를 공통 분모로 하여 통분하면 {{sfrac|9|24}}와 {{sfrac|10|24}}를 얻는다. 최소 공배수를 구하는 방법에는 단제법과 소인수 분해가 있으며, 두 수의 곱을 최대 공약수로 나눈 몫과 같기도 하다. 통분은 분수의 크기 비교 및 덧셈과 뺄셈에서 응용된다.


이것은 <math> \left({{\text{자 기 자 신 의 정 보 }} \over {\text{전 체 의 정 보 }}} \right)</math> 를 의미하는 표현이다.
=== 부등식 ===
즉, 자기 자신의 정보가 전체의 정보로 나누어짐을 의미하는 표현이고,
두 분수의 분모가 같을 경우, 만약 분모가 양수라면, 분자가 더 큰 쪽이 분수가 더 크다. 예를 들어, 다음과 같다.
:<math>\frac35<\frac45\qquad(\because3<4)</math>
:<math>\frac{13}9>\frac{11}9\qquad(\because13>9)</math>
만약 분모가 음수라면, 분자와 분모에 동시에 -1을 곱하면 분모가 양수가 되므로, 위의 방법에 따라 크기를 비교할 수 있다. 예를 들어, 다음과 같다.
:<math>\frac3{-10}>\frac9{-10}\qquad(\because\frac3{-10}=\frac{-3}{10},\;\frac9{-10}=\frac{-9}{10},\;-3>-9)</math>
두 분수의 분모가 다를 경우, 통분하여 분모를 같게 만든 뒤 크기를 비교하면 된다. 예를 들어, {{sfrac|3|8}}과 {{sfrac|5|12}}를 통분하면 {{sfrac|9|24}}와 {{sfrac|10|24}}이며, {{sfrac|9|24}} < {{sfrac|10|24}}이므로, {{sfrac|3|8}} < {{sfrac|5|12}}이다. 즉, 다음과 같다.
:<math>\frac38<\frac5{12}\qquad(\because\frac38=\frac9{24},\;\frac5{12}=\frac{10}{24},\;9<10)</math>
두 분수를 분모의 곱을 공통 분모로 하여 통분한 뒤 크기를 비교하는 과정을 기호로 표현하면 다음과 같다.
:<math>\frac ab<\frac cd\iff\frac{ad}{bd}<\frac{bc}{bd}\iff ad<bc\qquad(b,d>0)</math>


바꾸어 말하면, 자기 자신의 정보를 전체의 정보로 나눔을 의미하는 것이다.
=== 덧셈 ===
[[파일:Cake fractions.svg|섬네일|케이크의 1/2과 케이크의 1/4을 합하려면 먼저 공통 분모를 찾아야 한다. 만약 4를 공통 분모로 한다면, 1/2은 2/4과 같으므로, 1/2과 1/4을 합하면 3/4가 된다.]]
분수의 덧셈은 먼저 전체의 몇분의 몇을 취한 뒤, 다시 전체의 몇분의 몇을 취했을 때, 모두 합하여 전체의 몇분의 몇을 취했는지를 구하는 것과 같다.


따라서, 자기 자신의 정보가 전체 정보에서 얼마만큼을 차지하는지를 보여주게 된다.
두 분수의 분모가 같을 경우, 분모가 변하지 않은 채 분자만 서로 더하면 된다. 예를 들어, 다음과 같다.
:<math>\frac3{14}+\frac5{14}=\frac{3+5}{14}=\frac8{14}=\frac47</math>
두 분수의 분모가 다를 경우, 통분하여 분모가 같도록 만든 뒤 더하면 된다. 예를 들어, 두 분모의 곱을 공통 분모로 취하는 경우 다음과 같다.
:<math>\frac5{14}+\frac{17}{21}=\frac{5\times21}{14\times21}+\frac{14\times17}{14\times21}=\frac{5\times21+14\times17}{14\times21}=\frac{343}{294}=\frac76</math>
14와 21의 [[최소 공배수]] 42를 공통 분모로 취할 수도 있으며, 이 경우는 다음과 같다.
:<math>\frac5{14}+\frac{17}{21}=\frac{15}{42}+\frac{34}{42}=\frac{15+34}{42}=\frac{49}{42}=\frac76</math>
두 분수의 덧셈을 기호로 표현하면 다음과 같다.
:<math>\frac ab+\frac cd=\frac{ad}{bd}+\frac{bc}{bd}=\frac{ad+bc}{bd}</math>
보다 일반적으로, 세 분수의 덧셈을 기호로 표현하면 다음과 같다.
:<math>\frac ab+\frac cd+\frac ef=\frac{adf}{bdf}+\frac{bcf}{bdf}+\frac{bde}{bdf}=\frac{adf+bcf+bde}{bdf}</math>


또한 분수는 [[번분수]]의 성질이 있다.
=== 뺄셈 ===
분수의 뺄셈은 전체의 몇분의 몇을 취한 뒤, 다시 전체의 몇분의 몇을 돌려놓았을 때, 총 몇분의 몇을 취하였는지를 구하는 것과 같다.


:<math>2= {2 \over 1} = {{ 2 \over 1} \over {1 \over 1}}= {{2} \over 1}= {2} </math>
덧셈과 마찬가지로, 분수의 뺄셈은 분모가 같으면 분자끼리만 빼며, 분모가 다를 경우 우선 통분한다. 예를 들어, 다음과 같다.
:<math>1= {1 \over 1} = {{ 1 \over 1} \over {1 \over 1}}= {{ {1\over 1} \over {1\over 1}} \over {{1\over 1} \over{1\over 1}}}= {{ 1 \over 1} \over {1 \over 1}}= {{1} \over 1}= {1} </math>
:<math>\frac34-\frac16=\frac9{12}-\frac2{12}=\frac{9-2}{12}=\frac7{12}</math>
분수의 뺄셈을 기호로 표현하면 다음과 같다.
:<math>\frac ab-\frac cd=\frac{ad}{bd}-\frac{bc}{bd}=\frac{ad-bc}{bd}</math>


=== 곱셈 ===
== 음수 ==
*:<math>-{1 \over 2} = {-{1} \over 2}= {{-1 \over 1} \over {2 \over 1}}= {{-1} \over 2}=-{1 \over 2} </math>
분수의 곱셈은 전체의 몇분의 몇을 취한 뒤, 다시 취한 부분에서 몇분의 몇을 취했을 때, 두 번째로 취한 양이 전체의 몇분의 몇인지를 구하는 것과 같다.
:<math>\;\;\;\;\;-{1 \over 2} = {{1} \over -2}= {{1 \over 1} \over {2 \over -1}}= {{-1} \over 2}=-{1 \over 2} </math>
:<math>\;\;\;\;\;-{1 \over 2} = {{1} \over -2}= {{1 \over 1} \over {-2 \over 1}}= {{1} \over -2}=-{1 \over 2} </math>
*:<math>{-1 \over -2} = {{-1 \over 1} \over {2 \over -1}}= {{+1} \over 2}={1 \over 2} </math>


== 부분 분수 ==
두 분수의 곱셈에서는 분자는 분자끼리, 분모는 분모끼리 곱한다. 예를 들어, 다음과 같다.
{{참고|부분분수}}
:<math>\frac4{15}\times\frac56=\frac{4\times5}{15\times6}=\frac{20}{90}=\frac29</math>
:<math>\frac{1}{A \cdot B} = \frac{1}{B-A}\left(\frac{1}{A} - \frac{1}{B} \right)</math>
이는 다음과 같이 해석된다. 우선 단위 분수 {{sfrac|15}}와 {{sfrac|6}}을 생각하자. {{sfrac|90}}의 90배는 1이므로, {{sfrac|90}}의 15배의 6배 역시 1이다. 즉, {{sfrac|90}}의 15배는 6배 해서 1이 되는 수 {{sfrac|6}}과 같으며, {{sfrac|90}}은 15배 해서 {{sfrac|6}}이 되는 수 {{sfrac|15}} × {{sfrac|6}}과 같다. 이제 곱 {{sfrac|4|15}} × {{sfrac|6}}을 생각하자. {{sfrac|4|15}} × {{sfrac|6}} = {{sfrac|90}}이므로, {{sfrac|4|15}} × {{sfrac|6}} = {{sfrac|4|90}}이다. 마지막으로, {{sfrac|4|15}} × {{sfrac|5|6}}는 {{sfrac|4|15}} × {{sfrac|6}}의 5배, 즉 {{sfrac|4|90}}의 5배, 즉 {{sfrac|20|90}}이다. 이를 약분하면 {{sfrac|2|9}}를 얻는다.


== 약분 ==
분수의 곱셈에서는 약분을 미리 할 수도 있다. 예를 들어, 다음과 같다.
분수에 대한, 즉 분자와 분모에 대한, 공통약수(공약수)분해의 소거작업이다.
:<math>\frac4{15}\times\frac56=
\frac{\textstyle\cancel4^2}{\textstyle\cancel{15}^3}\times\frac{\cancel5^1}{\cancel6^3}=
\frac23\times\frac13=\frac{2\times1}{3\times3}=\frac29</math>
세 분수의 곱셈 역시 생각할 수 있다. 예를 들어, 다음과 같다.
:<math>\frac13\times\frac34\times\frac45=\frac1{\cancel3^1}\times\frac{\cancel3^1}{\cancel4^1}\times\frac{\cancel4^1}5=\frac11\times\frac11\times\frac15=\frac15</math>
두 분수의 곱셈을 기호로 표현하면 다음과 같다.
:<math>\frac ab\times\frac cd=\frac{ac}{bd}</math>


두 소인수 분해 결과의 중복되는 부분을 찾아 서로 상계한다.
=== 나눗셈 ===
:<math>{12 \over 16}={2\cdot2\cdot3 \over 2\cdot2\cdot4}={3\over4}</math>
분수의 나눗셈은 분수의 곱셈의 역연산이다. 분수 <math>\textstyle\frac ab</math>를 분수 <math>\textstyle\frac cd</math>로 나눈 몫은, <math>\textstyle\frac cd</math>만큼의 양을 새로운 전체 1로 생각하였을 때, <math>\textstyle\frac ab</math>만큼의 양이 이 새로운 전체의 몇분의 몇인지를 구하는 것과 같다. 정수의 나눗셈과 마찬가지로, 분수의 나눗셈에서 나누는 수 <math>\textstyle\frac cd</math>는 0이 아니어야 한다. 즉, 그 분자 <math>c</math>는 0이 아니어야 한다.


== 통분 ==
두 분수 {{sfrac|2}}와 {{sfrac|3|4}}의 나눗셈은 나누는수 {{sfrac|3|4}}의 분자와 분모를 뒤바꿔 [[역수]] {{sfrac|4|3}}를 취한 뒤, 다시 서로 곱한다. 즉, 다음과 같다.
두 분수에 대한 공통분모 인수값에 의한 공'''통분'''모화 연산작업이다.
:<math>\frac12\div\frac34=\frac12\times\frac43=\frac1{\cancel2^1}\times\frac{\cancel4^2}3=\frac23</math>
두 분수 <math>{ a \over b}</math>와 <math>{ c \over d}</math>의 통분은 다음과 같다.
이는 다음과 같이 해석된다. 분수의 나눗셈의 몫을 구하는 과정은 방정식 {{sfrac|3|4}}''x'' = {{sfrac|2}}의 해를 구하는 과정과 같다. 이 방정식의 좌변과 우변에 각각 {{sfrac|4|3}}를 곱하면 {{sfrac|3|4}} × {{sfrac|4|3}}''x'' = {{sfrac|2}} × {{sfrac|4|3}}가 되며, 좌변의 두 분수의 곱셈의 결과는 1이므로 ''x'' = {{sfrac|2}} × {{sfrac|4|3}}이다.
:<math>\frac{a}{b} + \frac{c}{d} = \frac{ad+bc}{bd}</math>
이러한 연산은, 여기서 분모 <math>b</math> 와 <math>d</math>를 서로 곱셈하므로서, 곱셈의 성질을 이용하여 <math>b</math> 와 <math>d</math>를 공통인수로 갖는 값 <math>bd</math>을 찾을 수 있게 된다.
그다음에는 각각의 분모에 생겨난 값에 대해 분자들에게도 각각 곱하므로서 나눗셈의 성질에 따라 <math>1</math>이 될 수 있게 만들어 주는 것에 근거하고 있다.
:<math> {a \over b} + {c \over d} \longrightarrow {{a \cdot d} \over {b \cdot d}} + {{c \cdot b} \over {d \cdot b}}\longrightarrow {{{a \cdot d} + {c \cdot b} }\over {d \cdot b}} </math>


== 덮어쓰기(override) ==
두 분수의 나눗셈을 기호로 표현하면 다음과 같다. 분모 <math>b,d</math>는 0이 아니며 추가로 나누는수의 분자 <math>c</math>가 0이 아님에 주의하자.
역(逆) 약분
:<math>\frac ab\div\frac cd=\frac ab\times\frac dc=\frac{ad}{bc}</math>
:<math> {a \over b }={a \cdot x \over b \cdot {x}}={ax \over bx}</math>
:<math> {3 \over 4 }={3 \cdot 3 \over 4 \cdot 3}={9 \over 12}</math>
분모의 유리화
:<math> {2 \over \sqrt{x}} = {2 \cdot \sqrt{x} \over \sqrt{x} \cdot \sqrt{x}}={2\sqrt{x} \over x}</math>


== 응용 ==
== 분수의 연산 ==
=== 소수와 분수 사이의 전환 ===
분수와 [[소수 (기수법)|소수]]는 실수의 두 가지 표기법이며, 이 두 표기법은 서로 전환 가능하다. 분수를 소수로 바꾸는 방법은 분자를 분모로 나누는 세로식 나눗셈을 통한다. 만약 언젠가 '나머지'가 0이 된다면, 소수 자리의 수는 유한하다. 즉, [[유한 소수]]를 얻는다. 예를 들어, 분수 {{sfrac|4}}의 소수 표기는 유한 소수 0.25이다. 만약 언제나 '나머지'가 0이 아니라면, 무한 소수를 얻으며, '나머지'는 0부터 9까지의 10개의 숫자 사이에서 취하므로, 열 번 이상 나머지를 구하면 서로 같은 나머지의 쌍이 적어도 하나 나오므로, 소수는 순환 마디를 가진다. 즉, [[무한 순환 소수]]를 얻는다. 예를 들어, {{sfrac|3}}의 소수 표기는 순환 소수 0.333...이며, 순환 마디는 3이다.


오버라이드(override)에 의한 통분
[[유한 소수]]를 분수로 나타내려면, 1 뒤에 소수 자리의 수만큼 0을 붙여 분모를 만든 뒤, 소수 부분을 (소수점을 제외한 채) 통째로 분자로 옮겨 적으면 된다. 예를 들어, 0.25 = {{sfrac|25|100}} = {{sfrac|4}}이다.
:<math>{a \over b} + {c \over d}= {a \cdot d\over b \cdot d} + {c \cdot b\over d \cdot b}= \frac{ad+bc}{bd}</math>


오버라이드(override)에의한 부분분수 분해 (항등식)
[[순순환 소수]](첫째 소수 자리부터 순환 마디가 시작되는 순환 소수)를 분수로 나타내려면, 9를 순환 마디의 자리의 수만큼 적어 분모를 만든 뒤, 순환 마디를 분자로 취하면 된다. 예를 들어, 0.333... = {{sfrac|3|9}} = {{sfrac|3}}이며, 0.626262... = {{sfrac|62|99}}이다. 이에 대한 엄밀하지 않은 증명은 다음과 같다.
:<math>{1 \over (x+1)(x+2)} = {a \over x+1} - {b \over x+2}={a (x+2)\over (x+1)(x+2)} - {b (x+1)\over (x+2)(x+1)}={a (x+2)- {b (x+1)}\over (x+1)(x+2)} </math>
:<math>\begin{align}0.626262\dots=
:<math>\therefore {1 \over \cancel{(x+1)(x+2)}} ={a (x+2)- { b(x+1)}\over \cancel{(x+1)(x+2)}} </math>
&=\frac1{99}\times99\times0.626262\dots\\
:<math>\therefore {1} ={ a(x+2)- b(x+1)} </math>
&=\frac1{99}\times(100-1)\times0.626262\dots\\
:<math>{1} =ax+2a- bx-b </math>
&=\frac1{99}\times(100\times0.626262\dots-1\times0.626262\dots)\\
:<math>{1} =(a-b)x+(2a-b) </math>
&=\frac1{99}\times(62.626262\dots-0.626262\dots)\\
:우변의<math>x</math>차항에대한 좌변의 <math>x</math>차항은 없으므로 <math>x</math>차항의 계수는 <math>0</math>, 상수항은<math>1</math>이다.
&=\frac1{99}\times62\\
빼면,
&=\frac{62}{99}
\end{align}</math>
:<math>(a-b)-(2a-b)= 0 - 1 </math>
:<math>a-b-2a+b= - 1 </math>
[[혼순환 소수]](순순환 소수가 아닌 순환 소수)를 분수로 나타내려면, 먼저 1 뒤에 정수와 순환 마디가 나오기 이전까지의 소수 자리의 수만큼 0을 붙인 수를 곱하여, 정수와 순순환 소수의 합으로 만든 뒤, 이를 분수로 나타낸다. 마지막으로 곱하였던 수를 다시 나눠 얻은 결과를 분수로 나타내면 된다. 예를 들어, 다음과 같다.
:<math>\begin{align}1.523987987987\dots
:<math>-a= - 1 </math>
:<math>a= 1 </math>
&=\frac1{1000}\times(1523+0.987987987\dots)\\
이번에는 <math>(a-b)= 0 , (2a-b)=1 </math>을 더하면,
&=\frac1{1000}\times\left(1523+\frac{987}{999}\right)\\
:<math>(a-b)+(2a-b)= 0 + 1 </math>
&=\frac1{1000}\times\frac{1522464}{999}\\
:<math>a-b+2a-b= 1 </math>
&=\frac{1522464}{999000}\\
:<math>3a-2b= 1 </math>
&=\frac{63436}{41625}
:<math>3a-2b= 1 </math>에 <math>a= 1 </math>를 대입하면,
\end{align}</math>
:<math>3-2b= 1 </math>
:<math>-2b= 1-3 </math>
:<math>-2b= -2 </math>
:<math>{2b \over 2}= {2 \over 2} </math>
:<math>b= 1 </math>
:<math> \therefore {1 \over (x+1)(x+2)} = {1 \over x+1} - {1 \over x+2}</math>


== 외부 링크 ==
== 함께 보기 ==
* [[연분수]]
* {{eom|title=Fraction}}
* [[번분수]]
* {{매스월드|id=Fraction|title=Fraction}}
* [[유리수]]
* {{nlab|id=fraction|title=Fraction}}
* {{플래닛매스|urlname=Fraction|title=Fraction}}


{{전거 통제}}
{{전거 통제}}
{{토막글|수학}}


[[분류:분수]]
[[분류:분수]]

2018년 2월 6일 (화) 14:53 판

케이크를 네 등분하여(각각 4분의 1) 하나가 없어진 상태이다. 나머지 세 조각이 남았다.

수학에서 분수(分數, fraction)는 이나 꼴로 표시한다. 이것은 나눈 값, 즉 를 뜻하며, 유리수의 또다른 표현이다. 여기서 는 분자, 는 분모라고 한다. 이 때 분모 이 들어가는 (상수)라는 수는 정의될 수 없으므로 이어야 한다.

일 때의 분수를 진분수라 하고, 일 때의 분수를 가분수라고 한다. 모든 가분수는 정수와 진분수의 합으로 나타낼 수 있다.

정의

0 이 아닌 실수 에 대해서 인 실수 는 유일하게 존재하고 로 하기로 한다.

또, 실수 이 아닌 실수 에 대해서 로 정의한다.

또한,

이면,
일때,
이므로,
을 정의할 수 없으므로 , 따라서 성립되지 않으므로,

방정식에서는 을 가정한다. 따라서 분모가 분수가 성립되는 않는 것은 매우 중요한 분수의 성질이다.

분수의 성질

이처럼 분수는 와 같이 분자 와 분모로 표현된다. 이것은 를 의미하는 표현이다.

따라서, 로 나누어진다면,

이것은 를 의미하는 표현이다. 즉, 자기 자신의 정보가 전체의 정보로 나누어짐을 의미하는 표현이고,

바꾸어 말하면, 자기 자신의 정보를 전체의 정보로 나눔을 의미하는 것이다.

따라서, 자기 자신의 정보가 전체 정보에서 얼마만큼을 차지하는지를 보여주게 된다.

또한 분수는 번분수의 성질이 있다.

음수

부분 분수

약분

분수에 대한, 즉 분자와 분모에 대한, 공통약수(공약수)분해의 소거작업이다.

두 소인수 분해 결과의 중복되는 부분을 찾아 서로 상계한다.

통분

두 분수에 대한 공통분모 인수값에 의한 공통분모화 연산작업이다. 두 분수 의 통분은 다음과 같다.

이러한 연산은, 여기서 분모 를 서로 곱셈하므로서, 곱셈의 성질을 이용하여 를 공통인수로 갖는 값 을 찾을 수 있게 된다. 그다음에는 각각의 분모에 생겨난 값에 대해 분자들에게도 각각 곱하므로서 나눗셈의 성질에 따라 이 될 수 있게 만들어 주는 것에 근거하고 있다.

덮어쓰기(override)

역(逆) 약분

분모의 유리화

분수의 연산

오버라이드(override)에 의한 통분

오버라이드(override)에의한 부분분수 분해 (항등식)

우변의차항에대한 좌변의 차항은 없으므로 차항의 계수는 , 상수항은이다.

빼면,

이번에는 을 더하면,

를 대입하면,

함께 보기