[[분류:산술]][[분류:나무위키 수학 프로젝트]] [include(틀:이산수학·수리논리학)] [목차] == 개요 == {{{+1 [[檢]][[算]]}}} 대한민국 초등학교 수학 교육과정에 나오는 개념으로, [[증명|계산이 맞았는지 확인하기 위해]] 하는 또 다른 계산.[* 그러나 그 검산에서 오류가 없으리라는 보장이 없기 때문에, 검산에서도 실수를 하면 답이 없다.] [[덧셈]]과 [[뺄셈]], [[곱셈]]과 [[나눗셈]]이 [[역함수|서로 반대]]라는 점을 이용한다. 이외에도 [[역원]][* [[지수(수학)|지수]]와 [[로가리듬|로그]], [[미분]]과 [[부정적분]], 서로 [[역함수]] 관계인 함수 등]이 있는 연산이라면 검산이 가능하다. == 방법 == === 덧셈 === 덧셈의 검산은 뺄셈을 이용한다. 예) 1+2=3 => 검산) 3-2=1 또는 3-1=2 === 뺄셈 === 뺄셈의 검산은 덧셈을 이용한다. 예) 3-2=1 => 검산) 1+2=3 또는 2+1=3 === 곱셈 === 곱셈의 검산은 나눗셈을 이용한다. 예) 2×3=6 => 검산) 6÷3=2 또는 6÷2=3 === 나눗셈 === 나눗셈의 검산은 곱셈을 이용한다. 아래 두 경우를 모두 포괄하는 일반적 검산 공식은 다음과 같다. || (나누는 수)×(몫)＋(나머지)=(나눠지는 수) 또는 (몫)×(나누는 수)＋(나머지)=(나눠지는 수) || ==== 나머지가 없는 경우(나누어떨어지는 경우) ==== 예) 6÷3=2 => 검산) 2×3=6 또는 3×2=6 ==== 나머지가 있는 경우(나누어떨어지지 않는 경우) ==== 예) 7÷3=2…1 => 검산) 2×3+1=7 또는 3×2+1=7 == 기타 == [[P-NP 문제]]가 검산에 관련된 난제이다.