이항계수 뺄셈 공식
공식
다음의 이항등식이 성립한다. $$ \binom{m}{x} \left( {\frac{ m }{ x }} \right)^{-1} = \binom{m-1}{x-1} $$
설명
이 등식은 초기하 분포의 평균을 유도할 때 쓰인다.
유도
$$ \begin{align*} \binom{m}{x} \left( {\frac{ m }{ x }} \right)^{-1} =& {\frac{ m! }{ x! \left( m - x \right)! }} {\frac{ x }{ m }} \\ =& {\frac{ m! }{ x! \left( m - x \right)! }} {\frac{ x }{ m }} \\ =& {\frac{ (m-1)! }{ (x-1)! \left( m - x \right)! }} \\ =& {\frac{ (m-1)! }{ (x-1)! \left( (m-1) - (x-1) \right)! }} \\ =& \binom{m-1}{x-1} \end{align*} $$
■