stewart calculus에 나와있는 제한조건상에서 극점일 때 접하겠지??식의 기하적, 정성적 추론도 아니고
boas 수리물리학책의 이상한 전개과정도 아닌
엄밀한 증명을 찾고 있는데요
[Discrete Mathematics and Its Applications] Mark S. Gockenbach - Finite-Dimensional Linear Algebra (2010, CRC Press) 라는 책 450쪽에서
역이 성립함을 어떻게 보이는지 잘 모르겠습니다.
주석 [42]로 가보면
R. A. Tapia. An introduction to the algorithms and theory of constrained optimization. Unpublished.
이렇게 나오는데 어떤 자료인지 찾을 수가 없네요
이러한 방식의 증명 말고 다른 증명 혹시 아시는 분 있나요??
그리고 calculus의 lagrange multiplier 논리가 불충분하다고 저는 느끼는데 불충분한건가요 아님 그정도도 충분한가요?
뭘하든 implicit function theorem같은걸 써야함
http://www.crpc.cs.rice.edu/softlib/TR_scans/CRPC-TR90031throughTR90056/CRPC-TR90036.PDF
Apostol mathematical analysis 13.7절 부분 읽어보시는 것도 도움이 될 듯 합니다. Calculus의 설명은 엄밀하다고는 할 수 없겠지만 승수 조건의 증명과정에서 제한 조건 함수 g_i들의 편도함수가 0이 된다는 점을 활용하였다는 점에서 이론적으로나 직관적으로나 해석학적 이론을 사용하지 않는 선에서는 매우 좋은 설명이라고 생각합니다