사랑과평화우정 [1339220] · MS 2024 · 쪽지

2025-01-17 14:29:04
조회수 498

산술 기하 평균 부등식의 증명.

게시글 주소: https://old.orbi.kr/00071357373

으엄청 많지만 그 중 하나

1. 젠센 부등식




사진은 나무위키꺼 캡쳐해왓고 증명은 n=2일 때는 자명하고, n에 대한 귀납 쓰면 이지

2. 산술 기하 평균 부등식


lnx는 증가함수 이므로 a_i가 양의 실수일 때

(a_1+a_2+...+a_n)/n ≥ (a_1*a_2*...*a_n)^(1/n)
<=> ln(a_1+a_2+...+a_n) ≥ ln((a_1*a_2*...*a_n)^(1/n))
<=> ln((a_1+a_2+...+a_n)/n) ≥ (1/n)*(ln(a_1)+ln(a_2)+...+ln(a_n))


이고, lnx는 오목함수이므로 젠센부등식에 의해 성립한다.

3. 가중치 산술 기하 평균 부등식


위에 2번의 증명을 보면 젠센부등식의 매애우 특수한 경우를 사용햇음을 알 수 잇다.


즉, 조금 생각해보면 간단하게 산술 기하 평균 부등식의 일반화된 꼴 또한 쉽게 증명할 수 잇다. (알아서 생각해보기)



0 XDK (+0)

  1. 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.