<증명할 명제>
<증명 - 직접증명법>
<증명 - 수학적 귀납법>
솔직히 이건 직접증명이라기보다는 그냥 수학자들이 공식을 찾아낸 과정인 것 같아요 ;;
엄밀히 말하자면 증명보단 유도에 가까운 그런 방법인 것 같습니다 ㅎㅎ