檢算

대한민국 초등학교 수학 교육과정에 나오는 개념으로, 계산이 맞았는지 확인하기 위해 하는 또 다른 계산.[1] 덧셈과 뺄셈, 곱셈과 나눗셈이 서로 반대라는 점을 이용한다.

이외에도 역원[2]이 있는 연산이라면 검산이 가능하다.

덧셈의 검산은 뺄셈을 이용한다.

예) 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 문제가 검산에 관련된 난제이다.