2017/10/081 조합적 증명(Combinatorial proof) 조합적 증명(combinatorial proof)은 어떤 등식을 대수적 방법(이항, 소거 등등)없이 물체를 세는 방법을 위주로 사용하는 증명을 말한다. 때로 combinatorial argument라고 불리기도 하거나, 아예 조합적 증명이란 말 없이 counting을 잘 하면 된다는 식으로 구체적인 언급 없이 말하기도 한다. 어떤 등식을 증명할 때 매우 보편적으로 쓰이는 방식으로는 이항이나 소거를 이용하여 0=0꼴로 만드는 대수적방법이 있고 좀 더 고등적인 방법으로는 수학적 귀납법이 있다. 그런데 등식의 좌우변이 특정 셈법과 맞물려 있을 때 쓸 수 있는 또 다른 증명법이 있는데 바로 그것이 조합적 증명이다. 이 조합적 증명에는 크게 두가지 방법이 있다. 하나는 double counting(이중집계), 다.. 2017. 10. 8. 이전 1 다음