โจทย์อสมการ

[gon]

โอ้. What 's happen.?

[nooonuii]

สองบรรทัดสุดท้ายในพิสูจน์ของพี่ gon ยังสรุปไม่ได้อ่ะครับ เพราะว่าเครื่องหมายมันกลับข้างกันอยู่

[nooonuii]

เอ่อ...ถามหน่อยครับ

ใครมีพิสูจน์อสมการนี้แบบสวยๆโดยไม่ต้องแยกกรณีบ้างครับ

|a + b| + |b + c| + |c + a| ฃ |a| + |b| + |c| + |a + b + c| เมื่อ a,b,c เป็นจำนวนจริง

[gools]

ทำไม่ได้อ่ะครับ
ยังมีอีก 3 ข้อที่ผมทำไม่ได้สักที
จงพิสูจน์ว่า
1. (n+1)^(n-1)/2 < n!
2. n[(n+1)^1/n-1] < 1+1/2+1/3+...+1/n < n-(n-1)n^-1/(n-1)
3. ให้ a₁, a₂, a₃,..., a_n > 0 และ S=a₁+a₂+a₃+...+a_n จงแสดงว่า (1+a)(1+a)...(1+a) ฃ 1+S+S²/2!+S³/3!...+Sⁿ/n!

สามข้อนี้เป็นแบบฝึกหัดในเรื่อง AM-GM-HM Inequalities ครับ

[nooonuii]

Hint สามข้อที่น้อง Gools ถามมาครับ

1) ใช้ A.M. - G.M. กับ 1 / 1 ท 2 , 1 / 2 ท 3 , ... , 1 / n(n+1) , 1 / (n + 1) ท 1

2) 1 + 1 / 2 + ... + 1 / n + n = (1 + 1) + (1 + 1 / 2) + (1 + 1 / 3) + ... + (1 + 1 / n)
n - (1 + 1 / 2 + ... + 1 / n) = (1 - 1) + (1 - 1 / 2) + ... + (1 - 1 / n)

3) ข้อนี้เป็นโจทย์ APMO'1989 สามารถไปดูเฉลยได้ที่นี่ครับ http://www.kalva.demon.co.uk/apmo/asoln/asol891.html
แต่อันนี้เขาใช้ induction ส่วนข้างล่างเป็นวิธีคิดของพี่ซึ่งใช้ A.M. - G.M. ครับ
ให้ A = ( a ₁ + ... + a_n) / n
โดยใช้ A.M. - G.M. จะได้ว่า LHS ฃ (1 + A)ⁿ
จากนั้นก็กระจาย (1 + A)ⁿ โดยใช้ทฤษฎีบททวินาม
แล้วพิสูจน์ว่า C(n,k) A^k ฃ S^k / k! ทุกค่า k = 1 , ... , n

[gools]

ขอบคุณมากๆๆๆๆๆๆๆเลยครับ
ก็คงจะถามต่อไปเรื่อยๆ
ผมไม่เข้าใจคำถามที่กำหนดให้ x_i>0 สำหรับ i=1,2,3...,n
และให้ y₁, y₂...,y_n เป็นวิธีเรียงสับเปลี่ยนชุดหนึ่งของ x₁, x₂,...,x_n อ่ะครับ

[nooonuii]

วิธีเรียงสับเปลี่ยนที่ถามมาก็คือผลจากการสลับตัวแปรชุดเดิมให้กลายเป็นชุดใหม่ครับ เช่น สมมุติมี x₁ = 1, x₂ = 2, x₃ = 3 เราอาจสร้างตัวแปรชุดใหม่ให้เป็น y₁ = 3, y₂ = 2, y₃=1 ซึ่งจะเห็นว่าตัวแปรชุดใหม่ก็คือตัวแปรชุดเก่านำมาสลับที่กัน

ข้อนี้ไม่ยากครับถ้าเราเข้าใจความหมายของวิธีเรียงสับเปลี่ยน ลองสังเกตดูครับว่าวิธีเรียงสับเปลี่ยนสองชุดจะมีคุณสมบัติทางพีชคณิตอะไรที่เหมือนกันบ้าง

[nooonuii]

เพิ่มเติมข้อสามที่น้อง Gools ถามมาครับ
ถ้าให้ G คือค่าเฉลี่ยเรขาคณิตเราจะได้ chain ของอสมการเป็นดังนี้

(1 + G)ⁿ ฃ (1 + a₁)...(1 + a_n) ฃ (1 + A)ⁿ ฃ 1 + S/1! + ... + Sⁿ /n!

[gon]

ขอบคุณ noonuii สำหรับข้อผิดพลาดที่ทักท้วงนะครับ. สรุปมั่วนี่เอง 555

ปัญหาของ noonuii, solve ดังนี้ครับ.

วิธีที่ 1 : โดยไม่เสียนัยสำคัญสมมติให้ |a| ฃ |b| ฃ |c|
กรณีที่ 1 : |c| = 0 จะได้ว่า |a| = |b| = |c| ซึ่งชัดเจนว่าจริง
กรณีที่ 2 : |c| น 0
ดังนั้น |a/c| ฃ 1 และ |b/c| ฃ 1
\ | 1 + a/c | = 1 + a/c และ | 1 + b/c | = 1 + b/c
นั่นคือ | 1 + a/c | + | 1 + b/c | = 1 + (1 + a/c + b/c) ฃ 1 + | 1 + a/c + b/c | ... (1)
แต่ |a/c + b/c| ฃ |a/c| + |b/c| ... (2)

จับ (1) + (2) จากนั้นนำ |c| คูณตลอด ก็จะได้ตามที่ต้องการ

วิธีที่ 2 : ใช้อสมการ Popoviciu ซึ่งกล่าวว่า
สำหรับฟังก์ชัน f : I ฎ R ใด ๆ โดยที่ f เป็น convex function แล้ว f(x) + f(y) + f(z) + 3f[(x+y+z)/3)] ณ 2{ f[(x+y)/2] +f[(y+z)/2] + f[(z+x)/2] }

เมื่อประยุกต์กับ f(x) = |x| ซึ่งเป็น convex function ก็จะได้ว่า
|x| + |y| + |z| + 3| (x+y+z)/3 | ณ 2[ |(x+y)/2| + |(y+z)/2| + |(z+x)/2| ]

ก็ได้เช่นกัน

[gon]

เพิ่มเติมให้อีกข้อ ใครมีเวลาว่างลองคิดดูนะครับ.แก้ตัวข้อมั่วด้วย
จงพิสูจน์ว่า สำหรับทุกจำนวนจริงบวก a, b, c, m, n และ p เป็นจำนวนจริงใด ๆ โดยที่ abc = 1

1/a^3p(mb^p + nc^p) + 1/b^3p(mc^p + na^p) + 1/c^3p(ma^p + nb^p) ณ 3/(m + n)

[nooonuii]

ขอบคุณพี่ gon สำหรับวิธีคิดครับ สั้นกระชับดีครับ
ส่วนข้อล่าสุดคิดออกแล้วครับ จะพิสูจน์อสมการนี้แทนครับ

ถ้า x,y,z,m,n เป็นจำนวนจริงบวกแล้ว เราจะได้ว่า

x²/(my+nz) + y²/(mz+nx) + z²/(mx+ny) ณ (x+y+z)/(m+n)

พิสูจน์ โดยอสมการโคชีจะได้ว่า
x + y + z = (x / ึmy + nz)(ึmy + nz) + (y / ึmz + nx)(ึmz + nx) + (z / ึmx + ny)(ึmy + nz)
ฃ ึLHSึ(m + n)(x + y + z)
จัดรูปก็จะได้อสมการตามต้องการ

คราวนี้ก็ประยุกต์อสมการข้างบนโดยให้
x = (ab)^p , y = (bc)^p, z = (ca)^p
และใช้ AM-GM กับเงื่อนไข abc = 1 พิสูจน์ว่า x + y + z ณ 3
ก็จะได้คำตอบครับ

[jae_bau]

ใครมีคอลเล็คชั่นอสมการ โดยที่ไม่ใช่แบบฝึกหัดของ สสวท. ( ที่ว่ายากมากแล้ว ) ใช้ความรู้เรื่อง AM-GM-HM inequalities บ้างครับ
มีเฉลยด้วยยิ่งดีเลยครับ

[nooonuii]

มีครับ ลองเอาไปทำดูก่อนครับ เดี๋ยวค่อยมาเฉลย

1. a/(b + d) + b/(c + a) + c/(d + b) + d/(a + c) ณ 2 เมื่อ a,b,c,d > 0

2. ให้ n เป็นจำนวนนับ และ a > 1 จงพิสูจน์ว่า aⁿ-1ณ n(a^(n+1)/2 - a^(n-1)/2)

3. ถ้า x,y,z เป็นจำนวนจริงบวก ซึ่ง xyz = 1 จงหาค่าสูงสุดของ x²yz

4. จงหาค่าต่ำสุดของ m + 4 / m² สำหรับ m > 0

5. ให้ n เป็นจำนวนนับ และ x > 0 จงพิสูจน์ว่า 1 + x + x² + ... + x²ⁿ⁺¹ ณ (2n+1)xⁿ

[alongkorn]

ข้อ 3 ไม่น่าจะหาค่าสูงสุดได้นะครับ เพราะ xyz = 1 ดังนั้น x²yz = xxyz = xท1 = x

[YOYO]

ข้อ 4 ใฃ้ AM-GM inq
m/2+m/2+4/m²ณ3
จะเป็นสมการเมื่อ m=2