02 · การเปลี่ยนกรอบ
เส้นทางที่สั้นที่สุด — ประวัติศาสตร์ของศิลปะและศาสตร์แห่งการแก้ปัญหา
Königsberg ปี 1735
ปริศนาสะพานของ Königsberg เป็นของเล่นวันอาทิตย์ ไม่ใช่โจทย์วิชาการ เมือง Königsberg แห่งปรัสเซียตะวันออกตั้งคร่อมแม่น้ำ Pregel สายน้ำแยกเมืองเป็นผืนดินสี่ผืน — ตลิ่งสองฝั่งกับเกาะสองเกาะ — สะพานเจ็ดสะพานเชื่อมทั้งหมดเข้าด้วยกัน คนเดินเล่นวันอาทิตย์ที่นั่นเล่นโจทย์ค้างคาอยู่ข้อหนึ่งมาพักใหญ่แล้ว: เดินทะลุเมืองโดยข้ามสะพานครบทั้งเจ็ด สะพานละครั้งพอดี ไม่ซ้ำสักสะพาน ทำได้ไหม ไม่มีใครทำได้ ไม่มีใครพิสูจน์ได้ว่าเป็นไปไม่ได้เช่นกัน วัดด้วยเกณฑ์สมเหตุสมผลข้อไหนก็ตาม มันคือปริศนากระจอก — ของที่เถียงกันระหว่างเดินเล่นตอนบ่าย ไม่ใช่ของที่จะเอาไปวางต่อหน้า Academy of Sciences
มันไปถึง Leonhard Euler อยู่ดี ผ่านสายคนรู้จักเป็นทอดๆ: Heinrich Kühn ศาสตราจารย์คณิตศาสตร์ที่ Danzig เอ่ยเรื่องนี้กับ Carl Leonhard Gottlieb Ehler นายกเทศมนตรีของเมืองและนักคณิตศาสตร์สมัครเล่น Ehler เขียนจดหมายถึง Euler ที่ St. Petersburg ขอคำตอบที่ "คู่ควรกับอัจฉริยภาพอันยิ่งใหญ่ของท่าน" ปฏิกิริยาแรกของ Euler แทบเป็นการปัดทิ้ง จดหมายลงวันที่ 13 มีนาคม 1736 ถึง Giovanni Marinoni นักดาราศาสตร์อิตาลีในราชสำนักเวียนนา เก็บมันไว้: "คำถามนี้ดาษดื่นเหลือเกิน แต่ดูจะคู่ควรแก่ความสนใจอยู่ ตรงที่ทั้งเรขาคณิต ทั้งพีชคณิต หรือแม้แต่ศิลปะแห่งการนับ ก็ไม่พอจะแก้มันได้" แล้วเขาก็ครุ่นคิดต่อครึ่งๆ กับตัวเองว่า ปริศนานี้อาจอยู่ในวิชาที่นักปรัชญา Gottfried Leibniz เคยเรียกร้องให้มีแต่ไม่เคยสร้าง — geometria situs หรือ "เรขาคณิตของตำแหน่ง" วิชาที่สนใจการจัดวาง ไม่ใช่การวัด (Sachs, Stiebitz & Wilson, "An Historical Note: Euler's Königsberg Letters," Journal of Graph Theory, 1988)
สามสัปดาห์ต่อมา Euler ตอบ Ehler โดยตรง และพูดตรงกว่าเดิม — ในลมหายใจเดียวกันเขาเผยว่าให้ค่าคำตอบที่กำลังจะยื่นให้น้อยเพียงใด: "ท่านย่อมเห็นแล้ว ท่านผู้สูงศักดิ์ ว่าคำตอบชนิดนี้แทบไม่เกี่ยวข้องกับคณิตศาสตร์เลย และข้าพเจ้าไม่เข้าใจว่าเหตุใดท่านจึงคาดหวังให้นักคณิตศาสตร์เป็นผู้ผลิตมันออกมา แทนที่จะเป็นใครก็ได้ เพราะคำตอบนี้ตั้งอยู่บนเหตุผลล้วนๆ และการค้นพบมันไม่ได้ขึ้นอยู่กับหลักการทางคณิตศาสตร์ข้อใดเลย" (Sachs, Stiebitz & Wilson, 1988) อ่านตรงนี้ให้ดี ชายที่กำลังคิดค้นสิ่งที่จะกลายเป็นทฤษฎีกราฟอยู่ ณ วินาทีนั้นเอง บอกนายกเทศมนตรีเป็นลายลักษณ์อักษรว่า สิ่งที่เขาเพิ่งทำแทบนับเป็นคณิตศาสตร์ไม่ได้ เขาคิดผิด — ผิดครั้งใหญ่ ผิดในระดับที่ประวัติศาสตร์จดไว้ — และวิธีที่เขาผิดคือเนื้อหาทั้งหมดของบทนี้
Euler โยนเมืองทิ้ง นั่นคือสิ่งที่เขาทำจริงๆ ในงานที่เสนอต่อ St. Petersburg Academy วันที่ 26 สิงหาคม 1735 และตีพิมพ์ปีถัดมาในชื่อ Solutio problematis ad geometriam situs pertinentis ("คำตอบของปัญหาที่เกี่ยวกับเรขาคณิตของตำแหน่ง") (MAA Convergence; Seven Bridges of Königsberg, Wikipedia) เขาสังเกตว่าถนนสายไหนที่คนเดินเลือกภายในผืนดินหนึ่ง จุดไหนบนสะพานที่เท้าเหยียบ ความกว้างของแม่น้ำ ผังอาคาร — ทั้งหมดไม่เกี่ยวกับคำถามที่ถามอยู่เลย ข้อเท็จจริง*เดียว*ที่มีน้ำหนักคือ สะพานแต่ละสะพานเชื่อมผืนดินไหนกับผืนดินไหน เขาจึงวาดจุดสี่จุดแทนเมือง จุดละหนึ่งผืนดิน แล้วลากเส้นเจ็ดเส้นเชื่อมจุดเหล่านั้น เส้นละหนึ่งสะพาน — ภาพวาดแรกในประวัติศาสตร์ของสิ่งที่วันนี้ใครก็จำได้ทันทีว่าเป็นกราฟ ในภาพใหม่นี้ ทุกเส้นทางเดินที่เป็นไปได้บนถนนปูหินจริงของ Königsberg พร้อมรายละเอียดทางกายภาพครบถ้วน เหลือเพียงลำดับของจุดที่แวะถึงโดยเดินตามเส้น
พอเมืองเหลือสี่จุดกับเจ็ดเส้น ปริศนาก็แทบแก้ตัวเอง พิจารณาผืนดินใดก็ได้ที่ไม่ใช่จุดเริ่มหรือจุดจบของการเดิน ทุกครั้งที่คนเดินมาถึงด้วยสะพานหนึ่ง เขาต้องออกไปด้วยอีกสะพานหนึ่ง — ขาเข้ากับขาออกจับคู่กันสะพานต่อสะพาน ผืนดินที่แค่แวะผ่านจึงต้องมีสะพานแตะอยู่เป็นจำนวน*คู่* เพราะการแวะแต่ละครั้งใช้สะพานไปสองสะพานพอดี เข้าหนึ่ง ออกหนึ่ง นับสะพานที่แตะผืนดินทั้งสี่ผืนของ Königsberg บนแผนที่จริง ทุกผืนออกมาเป็นจำนวนคี่หมด — สาม สาม สาม และห้า การเดินที่เริ่มและจบคนละจุดยอมให้มีผืนดินจำนวนคี่ได้แค่สองผืนพอดี (จุดเริ่มกับจุดจบ) Königsberg มีสี่ เส้นทางนั้นไม่มีอยู่ จบ ไม่ว่าคนเดินเป็นใคร ไม่ว่าจะเรียงถนนแบบไหน — และข้อโต้แย้งของ Euler พิสูจน์ได้ในเนื้อที่ราวสองประโยค โดยไม่ต้องลองเดินสักเส้นทางเดียว จากเส้นทางที่เป็นไปได้ในเมืองจริงซึ่งมีจำนวนมากเกินจะไล่ครบ
*ขนาด*ของปัญหาคือสิ่งที่เปลี่ยน ก่อนการเปลี่ยนกรอบ (reframe) "มีเส้นทางเดินอยู่ไหม" เป็นคำถามเกี่ยวกับพื้นที่ของเส้นทางผ่านถนนจริง ซึ่งใหญ่เกินจะจัดการ ตรวจได้ทางเดียวคือลองทีละเส้นทาง แล้วหวังว่าจะเจอสักเส้น หรือไม่ก็หมดความอดทนไปก่อน หลังเปลี่ยนกรอบ มันเป็นคำถามเกี่ยวกับจำนวนเต็มเล็กๆ สี่จำนวน ว่าเป็นคู่หรือคี่ — นับได้บนมือข้างเดียวตามตัวอักษร เมืองไม่ได้เปลี่ยนไปเลย สิ่งที่เปลี่ยนคือ Euler ยอม*เห็น*ลักษณะไหนของเมืองเป็นส่วนของปัญหา และยอมทิ้งลักษณะไหนไปในฐานะสัญญาณรบกวน การเลือกลืมแบบนี้ไม่ใช่ความมักง่าย มันคือบทพิสูจน์ที่ฝังอยู่ในข้อโต้แย้งเอง ว่ารายละเอียดที่ทิ้งไปไม่มีทางกระทบคำตอบ นั่นคือเหตุผลที่ข้อโต้แย้งสองบรรทัดนี้ไม่ใช่การโกง แต่เป็นคำตอบจริง และเถียงได้ด้วยว่าสมบูรณ์กว่าการไล่ตรวจทุกเส้นทางเสียอีก การตรวจเส้นทางจำนวนจำกัดไม่เคยตัดเส้นทางที่ยังนึกไม่ถึงออกไปได้ ข้อโต้แย้งเรื่องคู่คี่ของ Euler ตัดทุกเส้นทางออกพร้อมกัน ตลอดไป โดยโครงสร้างของมันเอง
รูปแบบการแทนปัญหาคืออะไรกันแน่
ความยากจริงเกือบทั้งหมดของปัญหาอยู่ที่การตัดสินว่าอะไรนับเป็นสถานะและอะไรนับเป็นท่า บทที่ 00 แนะนำแนวคิดที่ยืมจากงานของ Allen Newell กับ Herbert Simon ปี 1972 ซึ่งทำให้พื้นที่ปัญหา (problem space) เป็นรูปนัยไว้แล้วว่า ปัญหาใดก็อธิบายได้ด้วยเซตของสถานะ (state) เซตของท่าที่ถูกกติกาสำหรับย้ายจากสถานะหนึ่งไปอีกสถานะ สถานะตั้งต้น และเป้าหมาย สะพานของ Euler ทำให้เห็นชัดว่า*โลกไม่เคยยื่นคำอธิบายนี้ให้เรา* ต้องมีใครสักคน — บ่อยครั้งคือตัวเราเอง บ่อยครั้งโดยไม่รู้ตัว — ตัดสินว่าอะไรนับเป็น "สถานะ" และอะไรนับเป็น "ท่า" และความยากอาศัยอยู่ตรงการตัดสินนั้นเอง
รูปแบบการแทนปัญหา (representation) ในความหมายทางเทคนิค คือการเลือกสามอย่าง: ความต่างระหว่างสถานการณ์อันไหนที่จะติดตามในฐานะ*สถานะ*คนละสถานะ การแปลงระหว่างสถานะอันไหนที่จะเรียกว่า*ท่า*ที่ถูกกติกา และอะไรที่จะนับเป็น*เป้าหมาย* — รูปแบบปลายทางที่ปิดการค้นหา ก่อน Euler representation ที่แฝงอยู่ในปริศนาสะพานแยกสถานะด้วย*ตำแหน่งทางกายภาพที่แน่นอน*: ถนนเส้นไหน สะพานไหนใต้ฝ่าเท้า หันหน้าไปทางไหน ภายใต้ representation นั้น พื้นที่ปัญหาใหญ่โต เพราะเส้นทางสองเส้นที่ต่างกันแค่การเดินอ้อมลานบ้านโดยไม่มีนัยสำคัญ ก็นับเป็นคนละสถานะที่ต้องพิจารณาแยกกัน representation ของ Euler แยกสถานะด้วย*สะพานที่ยังไม่ได้ข้ามเหลืออยู่กี่สะพาน และคนเดินยืนอยู่บนผืนดินไหนตอนนี้*เท่านั้น คำอธิบายแบบนี้ถือว่าทุกเส้นทางอ้อมภายในผืนดินเดียวกันคือสถานะเดียวกัน เพราะสำหรับคำถามที่ถามอยู่ มันคือสถานะเดียวกันจริง เขาไม่ได้ทำให้ปัญหาง่ายลงด้วยการเมินความยาก เขาพิสูจน์อย่างถูกต้องว่าสิ่งที่ดูเหมือนความยากก้อนใหญ่นั้นไม่เคยเกี่ยวกับคำตอบเลยตั้งแต่แรก
การเปลี่ยนกรอบที่ดีต่างจากการโบกมือลอยๆ ตรงวินัยข้อนี้ และควรพูดออกมาตรงๆ เพราะมันจะกลับมาในเสื้อผ้าชุดอื่นทุกบทหลังจากนี้ โยนข้อมูลที่*ไม่ควร*โยนทิ้ง ปัญหาไม่ได้เล็กลง — มันพัง ให้คำตอบผิดอย่างมั่นใจ หรือไม่ให้คำตอบเลย เก็บข้อมูลที่*ไม่ต้องใช้*ไว้ คำตอบไม่ได้รอบคอบขึ้น — พื้นที่ค้นหาแค่ใหญ่เกินจำเป็น representation ที่ถูกต้องคืออันที่เก็บความต่างที่เป้าหมายขึ้นอยู่กับมันจริงไว้พอดี และยุบทุกความต่างที่ไม่เปลี่ยนคำตอบให้เหลือสถานะเดียว การหาเส้นแบ่งนั้น — เก็บอะไร ทิ้งอะไร — ไม่ใช่ขั้นตอนกลไกที่มอบให้ขั้นตอนวิธีทำแทนได้ อย่างที่อาลักษณ์ของ Ahmes มอบเลขคณิตให้วิธีวางค่าลอง (false position) มันใกล้กับการตัดสินด้วยวิจารณญาณมากกว่า Euler ตัดสินถูกในกรณีนี้ และอย่างที่บทถัดๆ ไปจะแสดง คนฉลาดมากตัดสินผิดมาหลายต่อหลายครั้ง ก่อนจะมีคนอื่นหาเส้นตัดที่ถูกเจอ
ห้องเรียนที่เปลี่ยนรูปทรงอยู่เรื่อย
Carl Friedrich Gauss เล่ากันว่าทำท่าชนิดเดียวกันในสเกลเล็กกว่ามาก ตอนเป็นเด็กนักเรียนที่ Braunschweig ช่วงใดช่วงหนึ่งในทศวรรษ 1780 ครูคนหนึ่ง — เบื่อ หรืออยากได้ความเงียบ แล้วแต่สำนวนที่อ่าน — สั่งงานจุกจิกให้ทั้งชั้นบวกจำนวนเต็มทุกจำนวนตั้งแต่ 1 ถึง 100 เรื่องเล่าว่า Gauss ตัวน้อยให้คำตอบที่ถูก 5,050 แทบจะทันที ขณะที่เพื่อนร่วมชั้นยังทดเลขกันอยู่ วิธีของเขาตามที่เล่ากันทั่วไป: จับคู่จำนวนจากปลายทั้งสองข้างของรายการ — 1 กับ 100, 2 กับ 99, 3 กับ 98 — ทุกคู่บวกกันได้ค่าเดียวกันคือ 101 คู่แบบนั้นมีห้าสิบคู่ ห้าสิบคูณ 101 เท่ากับ 5,050 การบวกเรียงกันหนึ่งร้อยครั้งยุบลงเหลือการคูณครั้งเดียว
นี่คือการเปลี่ยนกรอบจริงและใช้ได้ผล ควรเดินดูให้ละเอียด เพราะโครงสร้างของมันเหมือน Euler ทุกประการ ต่างกันแค่สเกล representation แบบซื่อของ "บวกจำนวน 1 ถึง 100" มองปัญหาเป็น*ลำดับ*: ยอดสะสมที่เพิ่มทีละนิด หนึ่งร้อยก้าวจากต้นจนจบ — พื้นที่ปัญหาที่ยาว ผอม และเรียงตามลำดับโดยเลี่ยงไม่ได้ representation ของ Gauss มองจำนวนร้อยตัวเดียวกันเป็น*คู่ที่ไม่เรียงลำดับ*ห้าสิบคู่ โดยอาศัยข้อเท็จจริงว่าการบวกไม่สนใจว่าอินพุตมาถึงตามลำดับไหน จัดจำนวนใหม่รอบผลบวกของคู่แทนที่จะรอบลำดับของมัน ก็คือโยนข้อมูล (ว่าจำนวนไหนมา "ก่อน") ที่เป้าหมาย — ยอดรวม — ไม่เคยต้องใช้ทิ้งไป แล้วแทนการเดินร้อยก้าวด้วยการกระโดดครั้งเดียว
มีเหตุผลหนักแน่นให้สงสัยว่าเรื่องฉบับเจาะจงเห็นภาพชัดนี้ไม่ใช่บันทึกที่ตรงกับห้องเรียนจริงในทศวรรษ 1780 — และตรงนี้กติกาประจำบ้านเรื่องเกร็ดที่ยังพิพาทกันต้องได้รับการเคารพ ไม่ใช่กลบให้เรียบ นักเขียนวิทยาศาสตร์ Brian Hayes ตามหาต้นตอของเรื่องนี้เพื่อคอลัมน์ใน American Scientist ปี 2006 ชื่อ "Gauss's Day of Reckoning" และสาวการปรากฏครั้งแรกเท่าที่รู้กันไปถึงชีวประวัติที่ระลึกของ Gauss ปี 1856 ที่ Wolfgang Sartorius von Waltershausen เขียนหลัง Gauss ตาย — กว่าเจ็ดสิบปีหลังเหตุการณ์ที่มันบรรยาย และอาศัยความทรงจำส่วนตัวของ Sartorius จากบทสนทนากับ Gauss ในวัยชรา ไม่ใช่บันทึกร่วมสมัยจากห้องเรียนนั้นเอง จากนั้น Hayes ไล่ตามเรื่องนี้ผ่านการเล่าซ้ำหลายสิบสำนวนในยุคหลัง และพบว่ารายละเอียดเลื่อนไหลจากฉบับหนึ่งสู่อีกฉบับ: จำนวนที่บวกกันเปลี่ยน ชื่อครูและแรงจูงใจของครูเปลี่ยน และวิธีที่ยกให้เป็นของ Gauss ก็ไม่ใช่เล่ห์จับคู่เสมอไป — บางฉบับให้เขาใช้ทางลัดเชิงเลขคณิตอีกแบบไปเลย แม้จะเกี่ยวข้องกัน (Hayes, "Gauss's Day of Reckoning," American Scientist, 2006) ข้อสรุปที่ซื่อตรงไม่ใช่ "เรื่องนี้เท็จ" — อะไรทำนองนั้นน่าจะเกิดขึ้นจริง และ Gauss มีสัมผัสเชิงจำนวนแบบนี้มาตั้งแต่เด็กโดยปฏิเสธไม่ได้ — แต่คือฉบับคมกริบราวภาพยนตร์ที่คนส่วนใหญ่เล่าต่อกันนั้น ผ่านการเล่าซ้ำมาหนึ่งร้อยเจ็ดสิบปีจนสะอาดเกินกว่าหลักฐานทางประวัติศาสตร์จะรองรับ อย่างที่บทที่ 00 เกริ่นผ่านไปแล้ว ความระมัดระวังชุดเดียวกับที่ใช้กับ Alexander ที่กอร์เดียมใช้ที่นี่ด้วย: เรื่องหนึ่งเป็นจริงในเชิงการสอนและตรวจสอบไม่ได้ในเชิงชีวประวัติพร้อมกันได้ และหนังสือที่ว่าด้วยการคิดให้ชัดควรพูดออกมาตรงๆ แทนที่จะแกล้งทำเป็นอื่น
คณิตศาสตร์รอดพ้นความไม่แน่นอนนั้นมาได้ และมันไม่ต้องอาศัยเด็กนักเรียนคนนั้นให้มีอยู่จริงเพื่อบอกประเด็นของมัน ไม่ว่าเด็กเก้าขวบจะทำให้ห้องเรียนที่ Braunschweig ตะลึงในทศวรรษ 1780 จริงหรือไม่ เล่ห์จับคู่ก็คือการสาธิตสเกลเล็กที่สะอาดของท่าที่บทนี้พูดถึงพอดี: ปัญหาที่ดูเรียงลำดับและช้าภายใต้ representation หนึ่ง (ยอดสะสม บวกร้อยครั้ง) กลายเป็นปฏิบัติการเร็วครั้งเดียวภายใต้อีก representation หนึ่ง (ห้าสิบคู่ที่ผลบวกคงที่ คูณครั้งเดียว) เลขคณิตข้างใต้ไม่ได้เปลี่ยนเลยเพื่อให้เป็นแบบนั้นได้ เปลี่ยนแค่การจัดวางที่ใช้มอง
สะพานของ Descartes
ระบบพิกัดที่ René Descartes วางไว้ในภาคผนวก La Géométrie ปี 1637 อาจเป็นการเปลี่ยน representation ที่ให้ผลผลิตสูงที่สุดชิ้นเดียวในประวัติศาสตร์คณิตศาสตร์ บทที่ 01 แนะนำเขาไปแล้วในฐานะชายที่ไล่ล่าวิธีสากลสำหรับการค้นพบทุกชนิด ผลลัพธ์เชิงเทคนิคชิ้นนี้จากการไล่ล่านั้นสมควรได้รับการดูใกล้ๆ ตรงนี้ ด้วยเหตุผลนั้นเอง
ก่อน Descartes เรขาคณิตกับพีชคณิตเป็นกล่องเครื่องมือสองกล่องแยกกัน ตอบคำถามสองชนิดแยกกัน ในทางปฏิบัติแทบทุกกรณี เรขาคณิตในธรรมเนียมของ Euclid ทำงานกับรูป — วงกลม เส้น สามเหลี่ยม — จัดการด้วยการสร้างที่ให้ความรู้สึกทางกายภาพด้วยวงเวียนกับไม้บรรทัด แล้วพิสูจน์เรื่องของรูปเหล่านั้นผ่านโซ่ข้อโต้แย้งเชิงตรรกะที่ยึดกับรูปวาด พีชคณิตทำงานกับสัญลักษณ์และสมการ จัดการด้วยกฎเชิงสัญลักษณ์ แทบไม่ผูกกับภาพใด ในทางเรขาคณิต วงกลมคือ "เซตของจุดทั้งหมดที่อยู่ห่างจากจุดศูนย์กลางเป็นระยะคงที่" — นิยามที่วาดได้ แต่คำนวณด้วยยาก นวัตกรรมของ Descartes คือตรึงเส้นอ้างอิงตั้งฉากกันคู่หนึ่ง — ที่วันนี้เรียกว่าแกน — แล้วอธิบายทุกจุดบนระนาบด้วยระยะทางตามแกนแต่ละแกน (La Géométrie, Britannica) พอทุกจุดเป็นคู่ตัวเลข ทุกเส้นโค้งที่ผ่านจุดเหล่านั้นก็เป็นสมการที่โยงตัวเลขเข้าด้วยกัน และกลับกันด้วย: วงกลมวงเดิมตอนนี้คือทุกคู่ (x, y) ที่สอดคล้องกับ x² + y² = r² เท่านั้นเอง การหาว่าเส้นโค้งสองเส้นตัดกันตรงไหน — คำถามที่เคยต้องอาศัยการสร้างเชิงเรขาคณิตอย่างมีชั้นเชิง ต่างกันไปทุกคู่รูปทรง — กลายเป็นการแก้สมการสองสมการพร้อมกันครั้งเดียวอย่างกลไก เทคนิคเดียวกันไม่ว่าเส้นโค้งคู่นั้นจะเป็นวงกลม พาราโบลา หรือรูปทรงที่ไม่เคยมีใครวาดคู่กันสำเร็จมาก่อน
นี่คือการเปลี่ยน representation ในความหมายเดียวกับ Euler เพียงแต่เล็งไปที่ทั้งวิชา ไม่ใช่ปริศนาข้อเดียว "สถานะ" ของปัญหาเรขาคณิต — จุด เส้นโค้ง จุดตัด — ถูกอธิบายใหม่เป็นวัตถุเชิงพีชคณิต และ "ตัวดำเนินการ" (operator) — สร้างเส้นนี้ แบ่งครึ่งมุมนั้น — ถูกอธิบายใหม่เป็นการจัดการเชิงพีชคณิต: แทนค่า แยกตัวประกอบ แก้สมการ ปัญหาที่ต้านการสร้างเชิงเรขาคณิตมาหลายศตวรรษ — รวมถึงบางข้อ อย่างการแบ่งมุมใดๆ เป็นสามส่วน ที่เครื่องมือของนักเรขาคณิตกรีกแก้ไม่ได้จริง และพิสูจน์ได้ก็ต่อเมื่อ*ใช้*กลไกพีชคณิตชุดเดียวกันนี้อีกสองศตวรรษให้หลัง — จู่ๆ ก็มีภาษากลางที่เป็นระบบให้เข้าโจมตี สองวิชาที่พัฒนาแทบเป็นอิสระต่อกันมาสองพันปี กลายเป็นวิชาที่ทำเลขชุดเดียวกันใต้ศัพท์คนละชุด หลังการเปลี่ยนกรอบครั้งเดียว บทที่ 04 ถึง 06 พึ่งการหลอมรวมนี้ทุกครั้งที่เอื้อมไปคว้าแคลคูลัสหรือพีชคณิตเชิงเส้นมาแก้ปัญหาที่ตั้งต้นในรูปเรขาคณิตล้วนหรือการจัดหมู่ล้วน กลไกเหล่านั้นไม่มีที่ยืนเลย ถ้าไม่มีพิกัดของ Descartes รองอยู่ข้างใต้
ชายผู้หันหลังให้คาน
ไม่ใช่ทุกการเปลี่ยนกรอบในประวัติศาสตร์ที่หนังสือเล่มนี้เล่า ที่มาจากนักคณิตศาสตร์กับปากกา ค่ำวันที่ 20 ตุลาคม 1968 ที่ Estadio Olímpico Universitario ในเม็กซิโกซิตี ชาวอเมริกันวัยยี่สิบเอ็ดปีชื่อ Dick Fosbury คว้าเหรียญทองโอลิมปิกกระโดดสูงด้วยสิ่งที่ไม่มีคู่แข่งจริงจังคนไหนเคยทำในระดับนั้น: เขาข้ามคานด้วยหลัง หัวและไหล่ขึ้นก่อน แอ่นกระดูกสันหลังจนแผ่นหลังหันลงหาพื้นเบื้องล่าง
Fosbury ไม่ได้ตั้งใจจะปฏิวัติกีฬาของตัวเองตั้งแต่แรก ตอนเป็นนักเรียนมัธยมที่ Medford รัฐ Oregon หลังเสีย Greg น้องชายไปกับอุบัติเหตุจากคนเมาแล้วขับ เขาหันมาเล่นกรีฑาส่วนหนึ่งเพื่อให้ตัวเองมีอะไรยึดไว้ และกระโดดสูงได้ย่ำแย่ด้วยเทคนิคมาตรฐานของยุคนั้น คือท่า "straddle" ที่นักกระโดดข้ามคานโดยคว่ำหน้า หมุนขาข้างหนึ่งข้ามไปก่อน ด้วยท่า straddle Fosbury ข้ามระดับห้าฟุตไม่ผ่านเป็นประจำ — ความสูงที่แทบไม่พอให้ผ่านเกณฑ์ลงแข่ง (Smithsonian, "The Fosbury Flop") ฤดูใบไม้ผลิปี 1963 กลางการแข่งและกลางความล้มเหลว เขาเปลี่ยนท่าทางร่างกายด้วยสัญชาตญาณ ไม่ใช่ความจงใจ: แทนที่จะหมุนคว่ำหน้าข้ามคาน เขาแอ่นหลังข้ามไป แล้วลงพื้นด้วยคอและไหล่ คำบรรยายภาพในหนังสือพิมพ์ท้องถิ่นฉบับหนึ่งเมื่อปีถัดมาเห็นว่ามันเหมือน "ปลาดิ้นอยู่ในเรือ" — และชื่อนั้นก็ติดมาถึงวันนี้ (Smithsonian, "The Fosbury Flop")
การเปลี่ยนกรอบตรงนี้ต้องพูดให้แม่น เพราะบรรยายหลวมเกินไปได้ง่ายว่าเป็นแค่ "ลองอะไรใหม่ๆ" เทคนิค straddle ยอมรับเป้าหมายที่ระบุไว้โดยนัยว่า เอาทั้งตัวที่เคลื่อนไปข้างหน้าและหมุนอยู่ ผ่านคานที่ยกสูงไปให้สะอาด — แล้วมองการพัฒนาทุกอย่างเป็นการค้นหาภายในกรอบตายตัวนั้น: วิ่งเข้าเร็วขึ้น ขายืดหยุ่นขึ้น หมุนไวขึ้น ท่า flop ของ Fosbury ใช้ข้อเท็จจริงทางฟิสิกส์ที่ straddle วางทิ้งไว้บนโต๊ะ: จุดศูนย์กลางมวลของนักกระโดดไม่จำเป็นต้องข้ามคานที่ความสูงเดียวกับส่วนอื่นของร่างกาย แอ่นหลังลึก ให้หัว แขน และขาห้อยต่ำกว่าแนวสันหลังที่แอ่นตอนถึงจุดสูงสุด *จุดศูนย์กลางมวล*ของนักกระโดดท่า flop ก็ผ่าน*ใต้*คานได้ ทั้งที่ทุกส่วนของร่างกายผ่านเหนือคานตามตัวอักษร — ในทางหลักการ นักกระโดดจึงข้ามคานความสูงหนึ่งได้ด้วยพลังงานรวมน้อยกว่าเทคนิคที่จุดศูนย์กลางมวลต้องยกขึ้นเหนือคานตรงๆ (Stanford, "The Physics of the Fosbury Flop") นี่ไม่ใช่การเปลี่ยนความพยายามหรือพรสวรรค์ มันคือการเปลี่ยนว่า "การข้ามคาน" ได้รับอนุญาตให้แปลว่าอะไร — นิยามสถานะที่ถูกกติกาของปัญหาเสียใหม่ ในจุดที่กรอบของ straddle เองไม่เคยตั้งคำถาม
การเปลี่ยนกรอบครั้งนี้รอดมาได้เพราะบางอย่างใน*สภาพแวดล้อม*เปลี่ยนไปก่อน โดยไม่เกี่ยวกับความฉลาดของนักกระโดดสูงคนไหนเลย นี่คือจุดสำคัญ หลุมลงพื้นของกระโดดสูงตามธรรมเนียม ตลอดเกือบทั้งศตวรรษที่ยี่สิบ คือแอ่งทรายหรือขี้กบตื้นๆ — พอใช้สำหรับนักกระโดดท่า straddle ที่ลงด้วยเท้าหรือข้างลำตัว แต่ถึงตายสำหรับคนที่ลงด้วยหัวและคอด้วยความเร็ว เบาะโฟมหนาที่แพร่เข้าไปในโครงการกรีฑาของมหาวิทยาลัยและโรงเรียนมัธยมอเมริกันช่วงทศวรรษ 1960 — ต้นแบบของเบาะ "Port-A-Pit" ที่นักประดิษฐ์ Donald Wallace Gordon ทำขายในภายหลัง — คือสิ่งเดียวที่ทำให้การลงพื้นแบบหันหลังเอาหัวลงรอดตายได้ โรงเรียนมัธยมของ Fosbury เองเป็นหนึ่งในที่ที่รับเบาะแบบนั้นมาใช้ค่อนข้างเร็ว โค้ชของเขาตกใจกับท่าที่เขาลงพื้น จึงจัดการให้โรงเรียนได้รับโฟมที่มหาวิทยาลัยแห่งหนึ่งในท้องถิ่นปลดจากหลุมที่อัปเกรดแล้ว (Smithsonian, "The Fosbury Flop") เปลี่ยน representation ของการกระโดดโดยไม่เปลี่ยนพื้นที่ลง ไอเดียเดียวกันก็เป็นแค่วิธีหักคอตัวเองอย่างรวดเร็ว รายละเอียดนี้ควรนั่งอยู่กับมันสักพัก: บางที operator ที่มีให้ใช้ — ท่าที่ถูกกติกาซึ่งสภาพแวดล้อมอนุญาต — ไม่ใช่ข้อเท็จจริงตายตัวของธรรมชาติ แต่เพิ่งเกิด ขึ้นกับเงื่อนไข และเปลี่ยนได้ ส่วนหนึ่งของการหาเส้นทางที่สั้นกว่าคือถามว่า operator ที่ถูกมองเป็นของตายตัวมาตลอดนั้น แท้จริงเป็นแค่ความเคยชินที่คนอื่นแก้ได้หรือเปล่า
Fosbury ยังลำบากต่อแม้หลังการทะลุทะลวงปี 1963 — โค้ชมหาวิทยาลัยของเขาเองที่ Oregon State ตอนแรกดันเขากลับไปหาท่า straddle เพราะกังวลว่า flop สอนให้สม่ำเสมอไม่ได้ Fosbury เกือบเสียทุนการศึกษาเพราะผลงานไม่คงเส้นคงวา ก่อนฤดูกาล 1968 ที่ทะลุทะลวงจะปิดด้วยแชมป์ Pac-8 แชมป์ NCAA และในที่สุดคือเม็กซิโกซิตี ที่เขาข้าม 2.24 เมตรคว้าเหรียญทองโอลิมปิกพร้อมสถิติโอลิมปิก ด้วยเทคนิคที่ในเวลานั้นเขายังเป็นคู่แข่งคนเดียวในสนามที่ใช้ (World Athletics, "50 years since the day Dick Fosbury revolutionised the high jump") เขาไม่เคยกระโดดสูงกว่าคืนนั้นอีก และไม่จำเป็น สำหรับข้อเสนอที่หนังสือเล่มนี้วางไว้: ภายในสี่ปี ที่โอลิมปิก Munich ปี 1972 นักกีฬา 28 คนจาก 40 คนในรอบชิงกระโดดสูงชายใช้เทคนิคของเขาในรูปแบบใดรูปแบบหนึ่ง พอถึงปี 1980 ท่า straddle ก็หายจากการแข่งขันระดับสูงแทบสิ้นเชิง (World Athletics; Smithsonian, "The Fosbury Flop") วงการผู้เชี่ยวชาญใช้เวลาหลายทศวรรษค้นให้หนักขึ้นภายใน representation เดียวของ "จะกระโดดอย่างไร" คนนอกคนหนึ่งเปลี่ยน representation ครั้งเดียว พื้นที่ค้นหาของทั้งวงการก็เปลี่ยนรูปถาวรรอบคำตอบของเขา
ทำไมการเปลี่ยนกรอบถึงรู้สึกเหมือนการโกง
การเปลี่ยนกรอบที่แท้จริงมัก*ไม่*รู้สึกเหมือนงาน "จริง" ในสาขาที่ถูกเปลี่ยนกรอบ ทั้งในสายตาคนดูและแม้แต่คนที่ทำเอง นี่คือเส้นด้ายที่ลอดอยู่ใต้จดหมายของ Euler ตำนาน Gauss พิกัดของ Descartes และการทะยานเอาหลังขึ้นก่อนของ Fosbury และควรเรียกชื่อมันตรงๆ เพราะมันจะกลับมาซ้ำตลอดหนังสือเล่มนี้ Euler พูดออกมาเองเป็นลายลักษณ์อักษรถึงคำตอบของตัวเอง — มัน "แทบไม่เกี่ยวข้องกับคณิตศาสตร์" Valery Brumel คู่แข่งเจ้าของสถิติโลกของ Fosbury เอง ถูกอ้างคำพูดในเวลานั้นว่า flop คือ "ความผิดปกติ" ไม่ใช่ความก้าวหน้าเชิงเทคนิค การเปลี่ยนกรอบมักไม่ดูเหมือนการเอาชนะความยากที่มีอยู่ของสาขา แต่ดูเหมือนการปฏิเสธจะสู้กับมันตามกติกาของมันเอง — ซึ่งในความหมายหนึ่งก็ใช่ ความยากที่ผู้ปฏิบัติในสาขาใช้เวลาหลายปีเรียนรู้ที่จะสู้ คือความยากที่การเปลี่ยนกรอบที่ดีทำให้ไม่เกี่ยวข้องอีกต่อไปพอดี และไม่มีเหตุผลที่ผู้ปฏิบัติซึ่งเชี่ยวชาญการสู้จะต้องเป็นคนแรกที่มองออกว่าการสู้นั้นไม่จำเป็นตั้งแต่แรก
ชุดเครื่องมือทางทฤษฎีสำคัญด้วยเหตุนี้ ไม่ใช่ของประดับ representation เป็นของที่เจาะจงและเรียกชื่อได้ — การเลือกสถานะ การเลือก operator การเลือกเป้าหมาย — และคำถามว่า "ตอนนี้ใช้ representation อะไรอยู่ และเลือกมันเองหรือรับมรดกมา" เป็นคำถามรูปธรรมที่ถามซ้ำได้ ไม่ใช่คำเรียกร้องลอยๆ ให้ "คิดนอกกรอบ" สถานะของ Euler คือผืนดินกับการข้ามสะพาน ไม่ใช่ถนน สถานะของ Gauss คือคู่ ไม่ใช่ลำดับ สถานะของ Descartes คือคู่พิกัด ไม่ใช่รูปเรขาคณิต สถานะของ Fosbury คือจุดศูนย์กลางมวล ไม่ใช่ร่างกายที่มองเป็นก้อนแข็งก้อนเดียวหันไปทางตายตัว ทุกกรณี ความยากของปัญหาตั้งต้นกลายเป็นผลพลอยของ representation ที่ไม่เคยตรวจสอบ อย่างน้อยก็บางส่วน — และทุกกรณี พอ representation ใหม่แจงออกมา งานที่เหลือก็สั้นเมื่อเทียบกัน ช่องว่างนั้น — ค้นหามหาศาลก่อนเปลี่ยนกรอบ เดินสั้นๆ หลังจากนั้น — คือเส้นทางที่สั้นที่สุดที่ชื่อหนังสือเล่มนี้สัญญาไว้ บทที่ 03 จะหันไปหาเทคนิคที่จงใจและสอนกันได้ ซึ่งหลายธรรมเนียมสร้างขึ้นตั้งแต่นั้นเพื่อหาการเปลี่ยนกรอบอย่างตั้งใจ แทนที่จะรอให้ Euler, Gauss หรือ Fosbury สักคนเดินสะดุดเข้าไปเจอ
ท่าประจำบท
Move 02 — เปลี่ยน representation จนความยากละลาย
- ถามว่าอนุญาตให้โยนอะไรทิ้งได้บ้าง Euler ทิ้งถนนทุกเส้นใน Königsberg และเก็บไว้แค่ว่าสะพานไหนแตะผืนดินไหน ก่อนจะค้นหาให้หนักขึ้นภายใน representation ที่ยาก ให้ถามว่ารายละเอียดอันไหนของมันที่เป้าหมายขึ้นอยู่กับมันจริงๆ — แล้วพิสูจน์ อย่าแค่สมมติ ว่าที่เหลือทิ้งได้อย่างปลอดภัย
- ถามว่ากำลังแยกอะไรออกจากกันโดยไม่จำเป็น เล่ห์จับคู่ของ Gauss ใช้ได้เพราะการบวกไม่สนใจลำดับ "ลำดับ" เป็นความเคยชินของ representation ไม่ใช่ข้อเรียกร้องของเลขคณิต มองหาโครงสร้างที่กรอบปัจจุบันซ่อนไว้ด้วยการยืนกรานเรื่องการจัดวาง — ลำดับ ทิศทาง การเรียง — ที่เป้าหมายไม่เคยต้องการจริงๆ
- ตรวจว่ากฎของสภาพแวดล้อมตายตัวจริง หรือแค่ไม่มีใครตั้งคำถาม การเปลี่ยนกรอบการกระโดดของ Fosbury เป็นไปได้ก็ต่อเมื่อเบาะโฟมมาแทนแอ่งทรายแล้ว — operator ภายนอก ไม่ใช่ในหัว ที่ต้องเปลี่ยนก่อน เมื่อการเปลี่ยนกรอบดูเหมือนติดขัดในทางกายภาพหรือทางปฏิบัติ ให้ถามว่าข้อจำกัดที่ขวางอยู่นั้นเป็นกฎธรรมชาติ หรือเป็นความเคยชินของสภาพแวดล้อมที่แก้ได้
- เตรียมใจว่ามันจะรู้สึกไม่ชอบธรรม Euler เรียกการทะลุทะลวงของตัวเองว่าแทบไม่ใช่คณิตศาสตร์ ถ้าการเปลี่ยนกรอบไม่ได้กระตุกความรู้สึก "นั่นไม่ใช่การแก้ปัญหาจริงๆ นี่" ออกมาจากคนที่รู้จักสาขานั้นดี แม้แต่วูบเดียว มันอาจยังตัดไม่ลึกพอ
ต่อไป — บทที่ 03 · ยุค heuristic: จะเกิดอะไรขึ้นเมื่อนักแก้ปัญหาเลิกรอให้การเปลี่ยนกรอบมาถึงโดยบังเอิญ แล้วเริ่มสร้างวิธีที่จงใจและสอนกันได้ขึ้นมาหามันอย่างตั้งใจ
บทถัดไป · 4 / 1203 · ยุค heuristic