Power of 0 🔴#maths #undefined
หลายคนเห็นคำว่า “POWER OF 0” แล้วจะนึกถึงกฎเลขยกกำลัง เช่น a^0 = 1 (เมื่อ a ≠ 0) แต่พอเจอ 0^0 กลับมีคนเขียนว่า “0 = Undefined” หรือ “0^0 = Undefined” เลยทำให้งงว่าจริง ๆ แล้วมันคืออะไรกันแน่ 1) ทบทวนกฎพื้นฐาน: ทำไม a^0 = 1 (เมื่อ a ≠ 0) ถ้า a ≠ 0 เรามีสมบัติ a^m / a^m = 1 และ a^m / a^m = a^(m-m) = a^0 ดังนั้น a^0 = 1 แต่สังเกตว่าเรา “ต้อง” หารด้วย a^m ซึ่งห้ามเป็นศูนย์ เพราะหารด้วย 0 ไม่ได้ นี่คือเหตุผลที่กฎ a^0 = 1 ใช้ได้กับ a ≠ 0 เท่านั้น 2) แล้ว 0^0 ทำไมถึงมักบอกว่า Undefined? 0^0 เป็นรูปแบบที่ทำให้ตีความได้หลายทาง ขึ้นกับว่าเราเข้าใกล้มายังไง เช่น - ถ้าเราคิดแบบ “ฐานเข้าใกล้ 0 แต่เลขชี้กำลังเป็น 0 ตลอด” จะเหมือน a^0 = 1 พอ a → 0 ก็ยังได้ใกล้ 1 - แต่ถ้าเราคิดอีกแบบ “ฐานเป็น 0 ตลอด แต่เลขชี้กำลังเข้าใกล้ 0 จากค่าบวก” อย่าง 0^0.1, 0^0.01 … ค่านี้จะเป็น 0 เสมอ (เพราะ 0 ยกกำลังบวกยังเป็น 0) แปลว่าแค่เปลี่ยนวิธี “เข้าใกล้” ก็ได้คำตอบคนละแบบ ระหว่าง 1 กับ 0 ดังนั้นในแง่ลิมิต 0^0 มักถูกจัดเป็นรูปไม่กำหนด (indeterminate form) และหลายตำราจึงเขียนว่า Undefined เพื่อกันการใช้กฎผิดบริบท 3) แล้วทำไมบางที่นิยามให้ 0^0 = 1? ในคณิตศาสตร์บางแขนง โดยเฉพาะคอมบิเนโทริกส์ (การนับ) และการเขียนสูตรให้ต่อเนื่อง นิยาม 0^0 = 1 จะทำให้สูตรสวยและใช้ได้ทุกกรณี เช่น - จำนวนฟังก์ชันจากเซตว่างไปเซตว่างมี 1 วิธี (ฟังก์ชันว่าง) ซึ่งสอดคล้องกับ 0^0 = 1 - ในพหุนามหรืออนุกรม บางนิยามให้ x^0 = 1 สำหรับทุก x รวมถึง x=0 เพื่อให้เขียนสัมประสิทธิ์และเทอมคงที่ได้เรียบ 4) สรุปจำง่ายเวลาเจอโจทย์ - ถ้าเป็น “กฎเลขยกกำลังทั่วไป” ให้จำว่า a^0 = 1 เมื่อ a ≠ 0 และ 0^0 มักไม่กำหนด (Undefined) - ถ้าเป็น “โจทย์ลิมิต” เจอรูป 0^0 ให้ระวังว่าเป็นรูปไม่กำหนด ต้องแปลง/ใช้ลอการิทึมหรือเทคนิคอื่นก่อน - ถ้าเป็น “การนับ/สูตรเชิงคอมบิเนโทริกส์/นิยามในคอมพิวเตอร์บางภาษา” อาจกำหนดให้ 0^0 = 1 เพื่อความสะดวก แต่ต้องดูบริบทของโจทย์ ทริคส่วนตัวของเรา: ทุกครั้งที่เห็น 0^0 อย่ารีบตอบ ให้ถามก่อนว่าโจทย์อยู่ในบริบทไหน—เลขยกกำลังพื้นฐาน, ลิมิต, หรือการนับ—แล้วค่อยตัดสินว่าจะใช้ Undefined หรือ 1 จะปลอดภัยที่สุด
