동일법

요약 ‘A이면 B이다’(A의 성질을 가진 것은 모두 B의 성질을 가진다)라는 정리(定理)에서, 가정 A와 B의 성질을 가진 것이 각각 하나뿐일 때 정리의 역이 성립한다는 것을 이용하는 간접증명법이다.

‘A이면 B이다’(A의 성질을 가진 것은 모두 B의 성질을 가진다)라는 정리(定理)에 있어서, 가정 A의 성질을 가진 것과 결론 B의 성질을 가진 것이 각각 하나뿐일 때 이 정리의 역은 성립한다는 것을 이용하는 증명법을 동일법이라 한다.

이를테면, ‘이등변삼각형의 꼭지각의 이등분은 밑변을 수직이등분한다’라는 정리에 있어서는 그 가정인 ‘꼭지각의 이등분선’과 결론인 ‘밑변의 수직이등분선’은 각각 하나뿐이다. 따라서 동일법에 의해 이 정리의 역인 ‘이등변삼각형의 밑변의 수직이등분선은 꼭지각을 이등분한다’가 성립한다고 결론지을 수 있다.