퍼르커시 보조정리

수학적 최적화에서 퍼르커시 보조정리()는 어떤 볼록뿔과 이에 속하지 않는 벡터 사이를 초평면으로 분리할 수 있다는 정리다.

정의 
가  실수 행렬이며, 가 차원 실수 벡터라고 하자. 그렇다면, 다음 두 명제 가운데 정확히 하나만이 성립한다.
 이며 인 이 존재한다. 즉, 는 볼록뿔

에 속한다.
 이며 인 이 존재한다. 즉, 차원 초평면

이 존재하여, 와 볼록뿔 은 이 초평면의 양쪽에 각각 존재한다.
여기서 이 라는 것은 의 모든 성분이 음수가 아니라는 것이다.

역사 
헝가리의 과학자 퍼르커시 줄러()가 1894년 증명하였다.

참고 문헌

외부 링크 
 

최적화
보조정리
선형 계획법
볼록 해석