เส้นตัดสองเส้น ในเรขาคณิตแบบยุคลิด จุดตัดระหว่างเส้นตรงหนึ่งกับอีกเส้นตรงหนึ่ง อาจเป็นเซตว่าง จุด เดียวหรือเส้นตรงอีกเส้น หนึ่ง (ถ้าเส้นตรงทั้งสองทับกัน) การแยกแยะกรณีเหล่านี้และการหาจุดตัด มีประโยชน์ในหลายด้าน เช่นกราฟิกคอมพิวเตอร์ การวางแผนการเคลื่อนที่ และการตรวจจับการชน กัน
ในปริภูมิยุคลิด ถ้าเส้นตรงสองเส้นไม่อยู่ในระนาบเดียวกัน เส้นตรงทั้ง สองจะไม่มีจุดตัดกัน[ 1 ] และเรียกว่าเส้นเฉียง อย่างไรก็ตาม ถ้าเส้นตรงทั้งสองอยู่ในระนาบเดียวกัน จะมีสามความเป็นไปได้: ถ้าเส้นตรงทั้งสองทับกัน (เป็นเส้นตรงเดียวกัน) เส้นตรงทั้งสองจะมีจุดร่วมกันทั้งหมดจำนวนอนันต์ ถ้าเส้นตรงทั้งสองแตกต่างกันแต่มีทิศทางเดียวกัน จะเรียกว่าเส้นตรงขนานกัน และไม่มีจุดร่วมกัน มิฉะนั้น เส้นตรงทั้งสองจะมีจุดตัดกันเพียงจุดเดียว ซึ่งเรียกว่าเซตเดี่ยว เช่น{ เอ } {\displaystyle \{A\}} .
เรขาคณิตนอกยุคลิด อธิบายพื้นที่ซึ่งเส้นตรงหนึ่งอาจไม่ขนานกับเส้นตรงอื่นใด เช่น ทรงกลม และพื้นที่ซึ่งเส้นตรงหลายเส้นที่ผ่านจุดเดียวอาจขนานกับเส้นตรงอื่นได้ทั้งหมด ใน เรขาคณิต ทรงกลม และ วงรี เส้นตรงทุกคู่จะตัดกัน ในขณะที่ใน เรขาคณิต ไฮเปอร์ โบลิก จะมีเส้นตรงที่แตกต่างกันจำนวนอนันต์ที่ผ่านจุดที่กำหนดซึ่งไม่ตัดกับเส้นตรงที่กำหนด[ 2 ] [ 3 ] [ 4 ] เรขาคณิตเชิงโปรเจกทีฟเป็นกรอบการทำงานที่เป็นเอกภาพซึ่งสามารถอธิบายพฤติกรรมที่แตกต่างกันเหล่านี้ได้โดยการขยายแนวคิดของการตัดกันให้รวมถึงจุดในอุดมคติ เพื่อให้เส้นตรงที่แตกต่างกันสองเส้นใดๆ ตัดกันที่จุดเดียวเท่านั้น[ 5 ]
เงื่อนไขที่จำเป็น สำหรับการตัดกันของเส้นตรงสองเส้นคือ เส้นตรงทั้งสองต้องอยู่ในระนาบเดียวกันกล่าว คือ ต้องไม่ใช่เส้นตรงเฉียง การที่เงื่อนไขนี้เป็นจริงเทียบเท่ากับทรงสี่เหลี่ยมด้าน เท่าที่มีจุดยอดสองจุดบนเส้นตรงเส้นหนึ่งและสองจุดบนเส้นตรงอีกเส้นหนึ่ง ซึ่งถือว่าเป็น ทรงสี่เหลี่ยมด้านเท่า เสื่อมสภาพ ในแง่ที่มีปริมาตร เป็นศูนย์ สำหรับรูปแบบทางพีชคณิตของเงื่อนไขนี้ โปรดดูที่เส้นตรงเฉียง § การทดสอบความ เฉียง
กำหนดจุดสองจุดบนแต่ละเส้น ก่อนอื่นเราพิจารณาจุดตัดของเส้นตรงL และL ในปริภูมิสองมิติ โดยที่เส้นตรงL ถูกกำหนดโดยจุดสองจุดที่แตกต่างกัน( x , y ) และ( x , y ) และเส้นตรงL ถูกกำหนดโดยจุดสองจุดที่แตกต่างกัน ( x , y ) และ( x , y ) [ 6 ]
จุดตัดP ของเส้นตรงL และL สามารถกำหนดได้โดยใช้ดีเทอร์มิแนน ต์
พี x = | | x 1 y 1 x 2 y 2 | | x 1 1 x 2 1 | | x 3 y 3 x 4 y 4 | | x 3 1 x 4 1 | | | | x 1 1 x 2 1 | | y 1 1 y 2 1 | | x 3 1 x 4 1 | | y 3 1 y 4 1 | | พี y = | | x 1 y 1 x 2 y 2 | | y 1 1 y 2 1 | | x 3 y 3 x 4 y 4 | | y 3 1 y 4 1 | | | | x 1 1 x 2 1 | | y 1 1 y 2 1 | | x 3 1 x 4 1 | | y 3 1 y 4 1 | | {\displaystyle P_{x}={\frac {\begin{vmatrix}{\begin{vmatrix}x_{1}&y_{1}\\x_{2}&y_{2}\end{vmatrix}}&{\begin{vmatrix}x_{1}&1\\x_{2}&1\end{vmatrix}}\\\\{\begin{vmatrix}x_{3}&y_{3}\\x_{4}&y_{4}\end{vmatrix}}&{\begin{vmatrix}x_{3}&1\\x_{4}&1\end{vmatrix}}\end{vmatri x}}{\begin{vmatrix}{\begin{vmatrix}x_{1}&1\\x_{2}&1\end{vmatrix}}&{\begin{vmatrix}y_{1}&1\\y_{2}&1\end{vmatrix}}\\\\{\begin{vmatrix}x_{3}&1\\x_{4}&1\end{vmatrix}}&{\begin{vmatrix}y_{3}&1\\y_{4}&1\end{vmatrix}}\end{vmatrix}}}\,\!\qquad P_{y}={\frac {\begin{vmatrix}{\begin{vmatrix}x_{1}&y_{1}\\x_{2}&y_{2}\end{vmatrix}}&{\begin{vmatrix}y_{1}&1\\y_{2}&1\end{vmatrix}}\\\\{\begin{vmatrix}x_{3}&y_{3}\\x_{4}&y_{4}\end{vmatrix}}&{\begin{vmatrix}y_{3}&1\\y_{4}&1\end{vmatrix}}\end{vmat rix}}{\begin{vmatrix}{\begin{vmatrix}x_{1}&1\\x_{2}&1\end{vmatrix}}&{\begin{vmatrix}y_{1}&1\\y_{2}&1\end{vmatrix}}\\\\{\begin{vmatrix}x_{3}&1\\x_{4}&1\end{vmatrix}}&{\begin{vmatrix}y_{3}&1\\y_{4}&1\end{vmatrix}}\end{vmatrix}}}\,\!} สามารถเขียนค่ากำหนดได้ดังนี้:
พี x = ( x 1 y 2 − y 1 x 2 ) ( x 3 − x 4 ) − ( x 1 − x 2 ) ( x 3 y 4 − y 3 x 4 ) ( x 1 − x 2 ) ( y 3 − y 4 ) − ( y 1 − y 2 ) ( x 3 − x 4 ) พี y = ( x 1 y 2 − y 1 x 2 ) ( y 3 − y 4 ) − ( y 1 − y 2 ) ( x 3 y 4 − y 3 x 4 ) ( x 1 − x 2 ) ( y 3 − y 4 ) − ( y 1 − y 2 ) ( x 3 − x 4 ) {\displaystyle {\begin{aligned}P_{x}&={\frac {(x_{1}y_{2}-y_{1}x_{2})(x_{3}-x_{4})-(x_{1}-x_{2})(x_{3}y_{4}-y_{3}x_{4})}{(x_{1}-x_{2})(y_{3}-y_{4})-(y_{1}-y_{2})(x_{3}-x_{4})}}\\[4px]P_{y}&={\frac {(x_{1}y_{2}-y_{1}x_{2})(y_{3}-y_{4})-(y_{1}-y_{2})(x_{3}y_{4}-y_{3}x_{4} )}{(x_{1}-x_{2})(y_{3}-y_{4})-(y_{1}-y_{2})(x_{3}-x_{4})}}\end{aligned}}} เมื่อเส้นตรงทั้งสองขนานกันหรือทับกัน ตัวส่วนจะมีค่าเป็นศูนย์
กำหนดจุดสองจุดบนแต่ละส่วนของเส้นตรง จุดตัดข้างต้นเป็นจุดตัดสำหรับเส้นตรงที่มีความยาวอนันต์ซึ่งกำหนดโดยจุดต่างๆ ไม่ใช่ส่วนของเส้นตรง ระหว่างจุด และสามารถสร้างจุดตัดที่ไม่ปรากฏอยู่ในส่วนของเส้นตรงทั้งสองเส้นได้ เพื่อหาตำแหน่งของจุดตัดเทียบกับส่วนของเส้นตรง เราสามารถกำหนดเส้นตรงL และL ในรูปของ พารามิเตอร์ เบซิเยร์ ระดับแรก ได้:
แอล 1 = [ x 1 y 1 ] + ที [ x 2 − x 1 y 2 − y 1 ] , แอล 2 = [ x 3 y 3 ] + คุณ [ x 4 − x 3 y 4 − y 3 ] {\displaystyle L_{1}={\begin{bmatrix}x_{1}\\y_{1}\end{bmatrix}}+t{\begin{bmatrix}x_{2}-x_{1}\\y_{2}-y_{1}\end{bmatrix}},\qquad L_{2}={\begin{bmatrix}x_{3}\\y_{3}\end{bmatrix}}+u{\begin{bmatrix}x_{4}-x_{3}\\y_{4}-y_{3}\end{bmatrix}}} (โดยที่t และu เป็นจำนวนจริง) จุดตัดของเส้นตรงจะพบได้จากค่าt หรือu ค่าใดค่าหนึ่งต่อไปนี้ โดยที่
ที = | x 1 − x 3 x 3 − x 4 y 1 − y 3 y 3 − y 4 | | x 1 − x 2 x 3 − x 4 y 1 − y 2 y 3 − y 4 | = ( x 1 − x 3 ) ( y 3 − y 4 ) − ( y 1 − y 3 ) ( x 3 − x 4 ) ( x 1 − x 2 ) ( y 3 − y 4 ) − ( y 1 − y 2 ) ( x 3 − x 4 ) {\displaystyle t={\frac {\begin{vmatrix}x_{1}-x_{3}&x_{3}-x_{4}\\y_{1}-y_{3}&y_{3}-y_{4}\end{vmatrix}}{\be จิน{vmatrix}x_{1}-x_{2}&x_{3}-x_{4}\\y_{1}-y_{2}&y_{3}-y_{4}\end{vmatrix}}}={\frac {(x_{1}-x_{3})(y_{3}-y_{4})-(y_{1}-y_{3})(x_{3}-x_{4})}{(x_{1}-x_{2})(y_{3}-y_{4})-(y_{1}-y_{2})(x_{3}-x_{4})}}} และ
คุณ = − | x 1 − x 2 x 1 − x 3 y 1 − y 2 y 1 − y 3 | | x 1 − x 2 x 3 − x 4 y 1 − y 2 y 3 − y 4 | = − ( x 1 − x 2 ) ( y 1 − y 3 ) − ( y 1 − y 2 ) ( x 1 − x 3 ) ( x 1 − x 2 ) ( y 3 − y 4 ) − ( y 1 − y 2 ) ( x 3 − x 4 ) , {\displaystyle u=-{\frac {\begin{vmatrix}x_{1}-x_{2}&x_{1}-x_{3}\\y_{1}-y_{2}&y_{1}-y_{3}\end{vmatrix}}{\be จิน{vmatrix}x_{1}-x_{2}&x_{3}-x_{4}\\y_{1}-y_{2}&y_{3}-y_{4}\end{vmatrix}}}=-{\frac {(x_{1}-x_{2})(y_{1}-y_{3})-(y_{1}-y_{2})(x_{1}-x_{3})}{(x_{1}-x_{2})(y_{3}-y_{4})-(y_{1}-y_{2})(x_{3}-x_{4})}},} กับ
( พี x , พี y ) = ( x 1 + ที ( x 2 − x 1 ) , y 1 + ที ( y 2 − y 1 ) ) หรือ ( พี x , พี y ) = ( x 3 + คุณ ( x 4 − x 3 ) , y 3 + คุณ ( y 4 − y 3 ) ) {\displaystyle (P_{x},P_{y})={\bigl (}x_{1}+t(x_{2}-x_{1}),\;y_{1}+t(y_{2}-y_{1}){\bigr )}\quad {\text{หรือ}}\quad (P_{x},P_{y})={\bigl (}x_{3}+u(x_{4}-x_{3}),\;y_{3}+u(y_{4}-y_{3}){\bigr )}} จะมีจุดตัดหาก0 ≤ t ≤ 1 และ0 ≤ u ≤ 1 จุดตัดจะอยู่ภายในส่วนของเส้นตรงแรกหาก0 ≤ t ≤ 1 และจะอยู่ภายในส่วนของเส้นตรงที่สองหาก0 ≤ u ≤ 1 อสมการเหล่านี้สามารถทดสอบได้โดยไม่ต้องหาร ทำให้สามารถตรวจสอบการมีอยู่ของจุดตัดของส่วนของเส้นตรงได้อย่างรวดเร็วก่อนที่จะคำนวณจุดที่แน่นอน[ 7 ]
ในกรณีที่ส่วนของเส้นตรงทั้งสองใช้แกน x ร่วมกัน และx 2 = x 1 + 1 {\displaystyle x_{2}=x_{1}+1} ,ที {\displaystyle t} และคุณ {\displaystyle u} ทำให้ง่ายขึ้นเป็น ที = คุณ = y 1 − y 3 y 1 − y 2 − y 3 + y 4 , {\displaystyle t=u={\frac {y_{1}-y_{3}}{y_{1}-y_{2}-y_{3}+y_{4}}},} กับ ( พี x , พี y ) = ( x 1 + ที , y 1 + ที ( y 2 − y 1 ) ) หรือ ( พี x , พี y ) = ( x 1 + ที , y 3 + ที ( y 4 − y 3 ) ) . {\displaystyle (P_{x},P_{y})={\bigl (}x_{1}+t,\;y_{1}+t(y_{2}-y_{1}){\bigr )}\quad {\text{or}}\quad (P_{x},P_{y})={\bigl (}x_{1}+t,\;y_{3}+t(y_{4}-y_{3}){\bigr )}.}
กำหนดสมการเส้นตรงสองสมการ พิกัดx และy ของจุดตัดของเส้นตรงสองเส้นที่ไม่เป็นเส้นตรงแนวตั้ง สามารถหาได้ง่ายๆ โดยใช้การแทนค่าและการจัดเรียงใหม่ดังต่อไปนี้
สมมติว่าเส้นตรงสองเส้นมีสมการy = ax + c และy = bx + d โดยที่a และb คือความชัน (ความลาดชัน) ของเส้นตรง และc และd คือจุด ตัดแกน y ของเส้นตรง ณ จุดที่เส้นตรงทั้งสองตัดกัน (ถ้ามี) พิกัด y ของทั้งสองเส้น จะเท่ากัน ดังนั้นจึงมีความเท่าเทียมกันดังต่อไปนี้:
เอ x + ค = ข x + ง . {\displaystyle ax+c=bx+d.} เราสามารถจัดเรียงนิพจน์นี้ใหม่เพื่อดึงค่าของ x ออกมาได้
เอ x − ข x = ง − ค , {\displaystyle ax-bx=d-c,} และด้วยเหตุนี้
x = ง − ค เอ − ข . {\displaystyle x={\frac {d-c}{a-b}}.} ในการหา พิกัด y สิ่งที่เราต้องทำก็คือแทนค่าx ลงในสมการเส้นตรงใดสมการหนึ่งจากสองสมการ ตัวอย่างเช่น แทนค่าลงในสมการแรก:
y = เอ ง − ค เอ − ข + ค . {\displaystyle y=a{\frac {d-c}{a-b}}+c.} ดังนั้น จุดตัดคือ
พี = ( ง − ค เอ − ข , เอ ง − ค เอ − ข + ค ) . {\displaystyle P=\left({\frac {d-c}{a-b}},a{\frac {d-c}{a-b}}+c\right).} โปรดสังเกตว่า ถ้าa = b เส้นตรงทั้งสองจะขนานกัน และไม่ตัดกัน เว้นแต่ว่าc = d ด้วย ซึ่งในกรณีนี้เส้นตรงทั้งสองจะทับกันและตัดกันทุกจุด
การใช้พิกัดเอกพันธุ์ โดยการใช้พิกัดเอกพันธุ์ จุดตัดของเส้นตรงสองเส้นที่กำหนดโดยปริยายสามารถหาได้ค่อนข้างง่าย ใน 2 มิติ ทุกจุดสามารถกำหนดได้ว่าเป็นภาพฉายของจุด 3 มิติ ซึ่งกำหนดเป็นสามพิกัดเรียงลำดับ( x , y , w ) การแมปจากพิกัด 3 มิติไปยังพิกัด 2 มิติคือ(x′, y′) = (x/w, y / w ) เราสามารถ แปลง จุด 2 มิติ เป็น พิกัด เอก พันธุ์ได้โดยกำหนดให้ เป็น( x , y , w )
สมมติว่าเราต้องการหาจุดตัดของเส้นตรงอนันต์สองเส้นในปริภูมิ 2 มิติ ซึ่งกำหนดเป็นa x + b y + c = 0 และa x + b y + c = 0 เราสามารถแทนเส้นตรงทั้งสองนี้ในพิกัดเส้นตรง ได้ เป็น U = ( a , b , c ) และU = ( a , b , c ) จุดตัดP ′ ของเส้นตรงทั้งสองจะกำหนดได้ง่ายๆ ดังนี้[ 8 ]
พี ′ = ( เอ พี , ข พี , ค พี ) = ยู 1 × ยู 2 = ( ข 1 ค 2 − ข 2 ค 1 , เอ 2 ค 1 − เอ 1 ค 2 , เอ 1 ข 2 − เอ 2 ข 1 ) {\displaystyle P'=(a_{p},b_{p},c_{p})=U_{1}\times U_{2}=(b_{1}c_{2}-b_{2}c_{1},a_{2}c_{1}-a_{1}c_{2},a_{1}b_{2}-a_{2}b_{1})} ถ้าc = 0 เส้นทั้งสองจะไม่ตัดกัน
มากกว่าสองบรรทัด การตัดกันของเส้นตรงสองเส้นสามารถขยายความให้ครอบคลุมเส้นตรงเพิ่มเติมได้ การมีอยู่และการแสดงออกของ ปัญหาการตัดกันของเส้นตรง n เส้น มีดังต่อไปนี้
ในสองมิติ ในสองมิติ เส้นตรงมากกว่าสองเส้นแทบ จะไม่ตัดกันที่จุดเดียวเลย เพื่อตรวจสอบว่าเส้นตรงเหล่านั้นตัดกันหรือไม่ และถ้าตัดกัน จะหาจุดตัดได้อย่างไร ให้เขียน สมการที่ i ( i = 1, …, n ) ดังนี้
[ เอ ฉัน 1 เอ ฉัน 2 ] [ x y ] = ข ฉัน , {\displaystyle {\begin{bmatrix}a_{i1}&a_{i2}\end{bmatrix}}{\begin{bmatrix}x\\y\end{bmatrix}}=b_{i},} และนำสมการเหล่านี้มาเรียงต่อกันในรูปแบบเมทริกซ์ดังนี้
เอ ว = ข , {\displaystyle \mathbf {A} \mathbf {w} =\mathbf {b} ,} โดยที่ แถวที่ i ของเมทริกซ์A ขนาด n × 2 คือ[ a , a ] , w คือเวกเตอร์ขนาด 2 × 1 [ x ] และ องค์ประกอบที่ i ของเวกเตอร์คอลัมน์b คือb ถ้าA มีคอลัมน์ที่เป็นอิสระต่อกันอันดับ ของมัน คือ 2 ดังนั้นถ้าและเฉพาะเมื่อ อันดับของเมทริกซ์เสริม [ A | b ] ก็เป็น 2 ด้วย จะมีคำตอบของสมการเมทริกซ์และจุดตัดของเส้นตรงทั้งn เส้น จุดตัด ถ้ามีอยู่ จะกำหนดโดย
ว = เอ จี ข = ( เอ ที เอ ) − 1 เอ ที ข , {\displaystyle \mathbf {w} =\mathbf {A} ^{\mathrm {g} }\mathbf {b} =\left(\mathbf {A} ^{\mathsf {T}}\mathbf {A} \right)^{-1}\mathbf {A} ^{\mathsf {T}}\mathbf {b} ,} โดยที่A g คือเมทริกซ์ผกผันทั่วไปของมัวร์-เพนโรส ของA (ซึ่งมีรูปแบบดังที่แสดงไว้ เนื่องจากA มีอันดับคอลัมน์เต็ม) หรืออีกวิธีหนึ่ง สามารถหาคำตอบได้โดยการแก้สมการอิสระสองสมการใดๆ ร่วมกัน แต่ถ้าอันดับของA เป็นเพียง 1 แล้ว ถ้าอันดับของเมทริกซ์เสริมเป็น 2 จะไม่มีคำตอบ แต่ถ้าอันดับของเมทริกซ์เสริมเป็น 1 เส้นทั้งหมดจะทับซ้อนกัน
ในสามมิติ วิธีการข้างต้นสามารถขยายไปสู่สามมิติได้อย่างง่ายดาย ในสามมิติหรือมากกว่านั้น เส้นตรงสองเส้นแทบจะไม่ตัดกันเลย คู่ของเส้นตรงที่ไม่ขนานกันและไม่ตัดกันเรียกว่าเส้นเฉียง แต่ถ้าหากมีการตัดกันเกิดขึ้น ก็สามารถหาจุดตัดได้ดังนี้
ในสามมิติ เส้นตรงจะถูกแทนด้วยจุดตัดของระนาบสองระนาบ โดยแต่ละระนาบมีสมการในรูปแบบ
[ เอ ฉัน 1 เอ ฉัน 2 เอ ฉัน 3 ] [ x y z ] = ข ฉัน . {\displaystyle {\begin{bmatrix}a_{i1}&a_{i2}&a_{i3}\end{bmatrix}}{\begin{bmatrix}x\\y\\z\end{bmatrix}}=b_{i}.} ดังนั้น เส้นตรงจำนวนn เส้น สามารถแทนได้ด้วยสมการ2n สม การ ใน เวกเตอร์พิกัด 3 มิติw :
เอ ว = ข {\displaystyle \mathbf {A} \mathbf {w} =\mathbf {b} } โดยที่A คือ2n × 3 และb คือ2n × 1 เช่นเดียวกับก่อนหน้านี้ จะมีจุดตัดที่ไม่ซ้ำกันเพียงจุดเดียวก็ต่อเมื่อA มีอันดับคอลัมน์เต็ม และเมทริกซ์เสริม[ A | b ] ไม่มี อันดับ คอลัมน์เต็ม และจุดตัดที่ไม่ซ้ำกันนั้น หากมีอยู่ จะกำหนดโดย
ว = ( เอ ที เอ ) − 1 เอ ที ข . {\displaystyle \mathbf {w} =\left(\mathbf {A} ^{\mathsf {T}}\mathbf {A} \right)^{-1}\mathbf {A} ^{\mathsf {T}}\mathbf {b} .}
จุดที่ใกล้ที่สุดกับเส้นเฉียง PQ คือระยะทางที่สั้นที่สุดระหว่างเส้นเฉียง AB และ CD ซึ่งตั้งฉากกับทั้ง AB และ CD ในมิติสองมิติขึ้นไป เรามักจะสามารถหาจุดที่อยู่ใกล้กันที่สุดกับเส้นตรงสองเส้นขึ้นไปในแง่ของกำลังสองน้อยที่สุด ได้
ในสองมิติ ในกรณีสองมิติ ขั้นแรก ให้แทนเส้นตรงi ด้วยจุดp บนเส้นตรง และเวกเตอร์ปกติ หน่วย n̂ ที่ตั้งฉากกับเส้นตรงนั้น นั่นคือ ถ้าx และx เป็นจุดบนเส้นตรง 1 แล้ว ให้p = x และให้
n ^ 1 := [ 0 − 1 1 0 ] x 2 − x 1 ‖ x 2 − x 1 ‖ {\displaystyle \mathbf {\hat {n}} _{1}:={\begin{bmatrix}0&-1\\1&0\end{bmatrix}}{\frac {\mathbf {x} _{2}-\mathbf {x} _{1}}{\|\mathbf {x} _{2}-\mathbf {x} _{1}\|}}} ซึ่งเป็นเวกเตอร์หน่วยตามแนวเส้นตรง โดยหมุนไปเป็นมุมฉาก
ระยะห่างจากจุดx ไปยังเส้นตรง( p , n̂ ) กำหนดโดย
ง ( x , ( พี , n ^ ) ) = | ( x − พี ) ⋅ n ^ | = | ( x − พี ) ที n ^ | = | n ^ ที ( x − พี ) | = ( x − พี ) ที n ^ n ^ ที ( x − พี ) . {\displaystyle d{\bigl (}\mathbf {x} ,(\mathbf {p} ,\mathbf {\hat {n}} ){\bigr )}={\bigl |}(\mathbf {x} -\mathbf {p} )\cdot \mathbf {\hat {n}} {\bigr |}=\left|(\mathbf {x} -\mathbf {p} )^{\mathsf {T}}\mathbf {\hat {n}} \right|=\left|\mathbf {\hat {n}} ^{\mathsf {T}}(\mathbf {x} -\mathbf {p} )\right|={\sqrt {(\mathbf {x} -\mathbf {p} )^{\mathsf {T}}\mathbf {\hat {n}} \mathbf {\hat {n}} ^{\mathsf {T}}(\mathbf {x} -\mathbf {p} )}}.} ดังนั้น ระยะทางยกกำลังสองจากจุดx ไปยังเส้นตรง คือ
ง ( x , ( พี , n ^ ) ) 2 = ( x − พี ) ที ( n ^ n ^ ที ) ( x − พี ) . {\displaystyle d{\bigl (}\mathbf {x} ,(\mathbf {p} ,\mathbf {\hat {n}} ){\bigr )}^{2}=(\mathbf {x} -\mathbf {p} )^{\mathsf {T}}\left(\mathbf {\hat {n}} \mathbf {\hat {n}} ^{\mathsf {T}}\right)(\mathbf {x} -\mathbf {p} ).} ผลรวมของกำลังสองของระยะทางไปยังเส้นหลายเส้นคือฟังก์ชันต้นทุน :
อี ( x ) = ∑ ฉัน ( x − พี ฉัน ) ที ( n ^ ฉัน n ^ ฉัน ที ) ( x − พี ฉัน ) . {\displaystyle E(\mathbf {x} )=\sum _{i}(\mathbf {x} -\mathbf {p} _{i})^{\mathsf {T}}\left(\mathbf {\hat {n}} _{i}\mathbf {\hat {n}} _{i}^{\mathsf {T}}\right)(\mathbf {x} -\mathbf {p} _{i}).} สามารถจัดเรียงใหม่ได้ดังนี้:
อี ( x ) = ∑ ฉัน x ที n ^ ฉัน n ^ ฉัน ที x − x ที n ^ ฉัน n ^ ฉัน ที พี ฉัน − พี ฉัน ที n ^ ฉัน n ^ ฉัน ที x + พี ฉัน ที n ^ ฉัน n ^ ฉัน ที พี ฉัน = x ที ( ∑ ฉัน n ^ ฉัน n ^ ฉัน ที ) x − 2 x ที ( ∑ ฉัน n ^ ฉัน n ^ ฉัน ที พี ฉัน ) + ∑ ฉัน พี ฉัน ที n ^ ฉัน n ^ ฉัน ที พี ฉัน . {\displaystyle {\begin{aligned}E(\mathbf {x} )&=\sum _{i}\mathbf {x} ^{\mathsf {T}}\mathbf {\hat {n}} _{i}\mathbf {\hat {n}} _{i}^{\mathsf {T}}\mathbf {x} -\mathbf {x} ^{\mathsf {T}}\mathbf {\hat {n}} _{i}\mathbf {\hat {n}} _{i}^{\mathsf {T}}\mathbf {p} _{i}-\mathbf {p} _{i}^{\mathsf {T}}\mathbf {\hat {n}} _{i}\mathbf {\hat {n}} _{i}^{\mathsf {T}}\mathbf {x} +\mathbf {p} _{i}^{\mathsf {T}}\mathbf {\hat {n}} _{i}\mathbf {\hat {n}} _{i}^{\mathsf {T}}\mathbf {p} _{i}\\&=\mathbf {x} ^{\mathsf {T}}\left(\sum _{i}\mathbf {\hat {n}} _{i}\mathbf {\hat {n}} _{i}^{\mathsf {T}}\right)\mathbf {x} -2\mathbf {x} ^{\mathsf {T}}\left(\sum _{i}\mathbf {\hat {n}} _{i}\mathbf {\hat {n}} _{i}^{\mathsf {T}}\mathbf {p} _{i}\right)+\sum _{i}\mathbf {p} _{i}^{\mathsf {T}}\mathbf {\hat {n}} _{i}\mathbf {\hat {n}} _{i}^{\mathsf {T}}\mathbf {p} _{i}.\end{aligned}}} ในการหาค่าต่ำสุด เราทำการหาอนุพันธ์เทียบกับx แล้วกำหนดให้ผลลัพธ์เท่ากับเวกเตอร์ศูนย์:
∂ อี ( x ) ∂ x = 0 = 2 ( ∑ ฉัน n ^ ฉัน n ^ ฉัน ที ) x − 2 ( ∑ ฉัน n ^ ฉัน n ^ ฉัน ที พี ฉัน ) {\displaystyle {\frac {\partial E(\mathbf {x} )}{\partial \mathbf {x} }}={\boldsymbol {0}}=2\left(\sum _{i}\mathbf {\hat {n}} _{i}\mathbf {\hat {n}} _{i}^{\mathsf {T}}\right)\mathbf {x} -2\left(\sum _{i}\mathbf {\hat {n}} _{i}\mathbf {\hat {n}} _{i}^{\mathsf {T}}\mathbf {p} _{i}\right)} ดังนั้น
( ∑ ฉัน n ^ ฉัน n ^ ฉัน ที ) x = ∑ ฉัน n ^ ฉัน n ^ ฉัน ที พี ฉัน {\displaystyle \left(\sum _{i}\mathbf {\hat {n}} _{i}\mathbf {\hat {n}} _{i}^{\mathsf {T}}\right)\mathbf {x} =\sum _{i}\mathbf {\hat {n}} _{i}\mathbf {\hat {n}} _{i}^{\mathsf {T}}\mathbf {p} _{i}} และดังนั้น
x = ( ∑ ฉัน n ^ ฉัน n ^ ฉัน ที ) − 1 ( ∑ ฉัน n ^ ฉัน n ^ ฉัน ที พี ฉัน ) . {\displaystyle \mathbf {x} =\left(\sum _{i}\mathbf {\hat {n}} _{i}\mathbf {\hat {n}} _{i}^{\mathsf {T}}\right)^{-1}\left(\sum _{i}\mathbf {\hat {n}} _{i}\mathbf {\hat {n}} _{i}^{\mathsf {T}}\mathbf {p} _{i}\right).}
ในมิติมากกว่าสองมิติ แม้ว่าn̂ จะไม่สามารถนิยามได้อย่างชัดเจนในมิติมากกว่าสองมิติ แต่ก็สามารถขยายไปสู่จำนวนมิติใดๆ ได้โดยสังเกตว่าn̂ n̂ T เป็นเพียงเมทริกซ์สมมาตร ที่มี ค่าไอเกน ทั้งหมดเป็นหนึ่ง ยกเว้นค่าไอเกนศูนย์ในทิศทางตามแนวเส้นตรง ซึ่งให้ค่าเซมิ-นอร์ม ของระยะห่างระหว่างp กับจุดอื่นที่ให้ระยะห่างจากเส้นตรง ในจำนวนมิติใดๆ ถ้าv̂ เป็นเวกเตอร์หน่วยตาม แนว เส้นตรงที่ i แล้ว
n ^ ฉัน n ^ ฉัน ที {\displaystyle \mathbf {\hat {n}} _{i}\mathbf {\hat {n}} _{i}^{\mathsf {T}}} กลายเป็นฉัน − วี ^ ฉัน วี ^ ฉัน ที {\displaystyle \mathbf {I} -\mathbf {\hat {v}} _{i}\mathbf {\hat {v}} _{i}^{\mathsf {T}}} โดยที่I คือเมทริกซ์เอกลักษณ์ และดังนั้น[ 9 ]
x = ( ∑ ฉัน ฉัน − วี ^ ฉัน วี ^ ฉัน ที ) − 1 ( ∑ ฉัน ( ฉัน − วี ^ ฉัน วี ^ ฉัน ที ) พี ฉัน ) . {\displaystyle x=\left(\sum _{i}\mathbf {I} -\mathbf {\hat {v}} _{i}\mathbf {\hat {v}} _{i}^{\mathsf {T}}\right)^{-1}\left(\sum _{i}\left(\mathbf {I} -\mathbf {\hat {v}} _{i}\mathbf {\hat {v}} _{i}^{\mathsf {T}}\right)\mathbf {p} _{i}\right).}
การอนุมานทั่วไป ในการหาจุดตัดของชุดเส้นตรง เราจะคำนวณจุดที่มีระยะห่างน้อยที่สุดจากเส้นตรงเหล่านั้น แต่ละเส้นตรงถูกกำหนดโดยจุดกำเนิดa และเวกเตอร์ทิศทางหน่วยn̂ กำลังสองของระยะห่างจากจุด p ไปยัง เส้นตรงเส้นใดเส้นหนึ่งนั้นหาได้จากทฤษฎีบทพีทาโกรัส:
ง ฉัน 2 = ‖ พี − เอ ฉัน ‖ 2 − ( ( พี − เอ ฉัน ) ที n ^ ฉัน ) 2 = ( พี − เอ ฉัน ) ที ( พี − เอ ฉัน ) − ( ( พี − เอ ฉัน ) ที n ^ ฉัน ) 2 {\displaystyle d_{i}^{2}=\left\|\mathbf {p} -\mathbf {a} _{i}\right\|^{2}-\left(\left(\mathbf {p} -\mathbf {a} _{i}\right)^{\mathsf {T}}\mathbf {\hat {n}} _{i}\right)^{2}=\left(\mathbf {p} -\mathbf {a} _{i}\right)^{\mathsf {T}}\left(\mathbf {p} -\mathbf {a} _{i}\right)-\left(\left(\mathbf {p} -\mathbf {a} _{i}\right)^{\mathsf {T}}\mathbf {\hat {n}} _{i}\right)^{2}} โดยที่( p − a ) T n̂ คือการฉายภาพของp − a บนเส้นตรงi ผลรวมของระยะทางจากสี่เหลี่ยมจัตุรัสไปยังเส้นตรงทั้งหมดคือ
∑ ฉัน ง ฉัน 2 = ∑ ฉัน ( ( พี − เอ ฉัน ) ที ( พี − เอ ฉัน ) − ( ( พี − เอ ฉัน ) ที n ^ ฉัน ) 2 ) {\displaystyle \sum _{i}d_{i}^{2}=\sum _{i}\left({\left(\mathbf {p} -\mathbf {a} _{i}\right)^{\mathsf {T}}}\left(\mathbf {p} -\mathbf {a} _{i}\right)-{\left(\left(\mathbf {p} -\mathbf {a} _{i}\right)^{\mathsf {T}}\mathbf {\hat {n}} _{i}\right)^{2}}\right)} เพื่อลดรูปนิพจน์นี้ เราจึงทำการหาอนุพันธ์ของ นิพจน์นี้เทียบกับp
∑ ฉัน ( 2 ( พี − เอ ฉัน ) − 2 ( ( พี − เอ ฉัน ) ที n ^ ฉัน ) n ^ ฉัน ) = 0 {\displaystyle \sum _{i}\left(2\left(\mathbf {p} -\mathbf {a} _{i}\right)-2\left(\left(\mathbf {p} -\mathbf {a} _{i}\right)^{\mathsf {T}}\mathbf {\hat {n}} _{i}\right)\mathbf {\hat {n}} _{i}\right)={\boldsymbol {0}}} ∑ ฉัน ( พี − เอ ฉัน ) = ∑ ฉัน ( n ^ ฉัน n ^ ฉัน ที ) ( พี − เอ ฉัน ) {\displaystyle \sum _{i}\left(\mathbf {p} -\mathbf {a} _{i}\right)=\sum _{i}\left(\mathbf {\hat {n}} _{i}\mathbf {\hat {n}} _{i}^{\mathsf {T}}\right)\left(\mathbf {p} -\mathbf {a} _{i}\right)} ซึ่งส่งผลให้
( ∑ ฉัน ( ฉัน − n ^ ฉัน n ^ ฉัน ที ) ) พี = ∑ ฉัน ( ฉัน − n ^ ฉัน n ^ ฉัน ที ) เอ ฉัน {\displaystyle \left(\sum _{i}\left(\mathbf {I} -\mathbf {\hat {n}} _{i}\mathbf {\hat {n}} _{i}^{\mathsf {T}}\right)\right)\mathbf {p} =\sum _{i}\left(\mathbf {I} -\mathbf {\hat {n}} _{i}\mathbf {\hat {n}} _{i}^{\mathsf {T}}\right)\mathbf {a} _{i}} โดยที่I คือเมทริกซ์เอกลักษณ์ นี่คือเมทริกซ์Sp = C ซึ่งมีคำตอบคือp = S + C โดย ที่S + คือเมทริกซ์ผกผันเทียม ของS
เรขาคณิตนอกยุคลิด จากซ้ายไปขวา: เรขาคณิตแบบยุคลิด, เรขาคณิตทรงกลม และเรขาคณิตแบบไฮเปอร์โบลิก ในเรขาคณิตทรงกลม เส้นจะถูกแทนด้วยวงกลมใหญ่[ 10 ] ซึ่งกำหนดโดยจุดตัดของทรงกลมเอส 2 = { x ∈ อาร์ 3 : ‖ x ‖ = อาร์ } {\displaystyle S^{2}=\{x\in \mathbb {R} ^{3}:\|x\|=R\}} โดยมีระนาบผ่านจุดกำเนิด[ 2 ]
จุดตัดของวงกลมใหญ่สองวงบนทรงกลม วงกลมใหญ่ สอง วง ที่วางอยู่ในระนาบเดียวกัน โดยมีเวกเตอร์ตั้งฉากหน่วยเป็นหนึ่งn ^ 1 {\displaystyle \mathbf {\hat {n}} _{1}} และn ^ 2 {\displaystyle \mathbf {\hat {n}} _{2}} ตัดกันที่จุดตรงข้ามสองจุด ซึ่ง (จนถึงการทำให้เป็นมาตรฐาน) สามารถแสดงได้โดย[ 11 ] [ 12 ]
x = ± n 1 × n 2 ‖ n 1 × n 2 ‖ {\displaystyle \mathbf {x} =\pm {\frac {\mathbf {n} _{1}\times \mathbf {n} _{2}}{\|\mathbf {n} _{1}\times \mathbf {n} _{2}\|}}}
เส้นตรงทุกคู่จะตัดกันที่จุดตรงข้ามสองจุด ดังนั้นจึงไม่มีเส้นขนานในเรขาคณิตทรงกลม[ 13 ]
ในเรขาคณิตวงรี พื้นที่อาจถือได้ว่าเป็นผลหารของเรขาคณิตทรงกลมซึ่งจุดตรงข้ามกันจะถูกระบุ เส้นในเรขาคณิตนี้สอดคล้องกับวงกลมใหญ่โดยถือว่าจุดตรงข้ามกันเทียบเท่ากัน ดังนั้นเส้นแต่ละคู่จึงตัดกันที่จุดเดียวเท่านั้น[ 2 ] แตกต่างจากเรขาคณิตทรงกลม การระบุนี้ขจัดความแตกต่างระหว่างจุดตัดทั้งสอง ทำให้เกิดพื้นที่จำกัดแต่ไม่มีขอบเขตโดยไม่มีเส้นขนาน[ 4 ]
ในเรขาคณิตไฮเปอร์โบลิก พฤติกรรมการตัดกันของเส้นตรงจะแตกต่างจากเรขาคณิตยุคลิดและเรขาคณิตโค้งบวก[ 2 ] เมื่อกำหนดเส้นตรงℓ {\displaystyle \ell } และจุดหนึ่งพี ∉ ℓ {\displaystyle P\not \in \ell } มีเส้นตรงที่แตกต่างกันจำนวนอนันต์อยู่มากมายผ่านพี {\displaystyle P} ที่ไม่ตัดกันℓ {\displaystyle \ell } [ 10 ] เส้นสองเส้นอาจตัดกันที่จุดเดียวพอดี ขนานกันแบบเชิงเส้นกำกับ หรือขนานกันมากเป็นพิเศษ (ไม่ทับซ้อนกับเส้นตั้งฉากร่วม) พฤติกรรมนี้สะท้อนถึงความโค้งเกาส์เซียนเชิงลบคง ที่ เค < 0 {\displaystyle K<0} ของพื้นที่ไฮเปอร์โบลิก และความล้มเหลวของสมมติฐานเส้นขนานแบบยุคลิด ดังนั้น การตัดกันของเส้นตรงจึงไม่ได้รับการรับประกันและขึ้นอยู่กับ ความสัมพันธ์ของ การเกิดร่วมกัน ของเรขาคณิตมากกว่าระยะทางเมตริกเพียงอย่างเดียว[ 14 ] [ 15 ]
ในเรขาคณิตเชิงโปรเจกทีฟ เส้นตรงสองเส้นที่แตกต่างกันจะตัดกันที่จุดเดียวเท่านั้นโดยการสร้าง ซึ่งทำได้โดยการเชื่อมต่อจุดอุดมคติ (จุดที่อนันต์) เพื่อให้เส้นขนานในเรขาคณิตแบบยุคลิดมาบรรจบกันที่จุดโปรเจกทีฟจุดเดียว[ 4 ] เส้นตรงถูกจำลองเป็นปริภูมิย่อยเชิงโปรเจกทีฟหนึ่งมิติ และความสัมพันธ์ของการตกกระทบเป็นพื้นฐาน ในขณะที่แนวคิดเรื่องระยะทาง มุม และความโค้งไม่ใช่ ดังนั้นเรขาคณิตเชิงโปรเจกทีฟจึงเป็นกรอบการทำงานที่เป็นเอกภาพซึ่งสามารถศึกษาเรขาคณิตแบบยุคลิด วงรี และไฮเปอร์โบลิกได้ผ่านแบบจำลองเชิงโปรเจกทีฟที่เหมาะสม[ 16 ]
ลิงก์ภายนอก ระยะห่างระหว่างเส้นและส่วนของเส้นตรง พร้อมจุดที่ใกล้ที่สุดที่เข้าใกล้กัน ( เก็บถาวรเมื่อ 2012-02-27 ที่ Wayback Machine) สามารถใช้ได้กับสอง สาม หรือมากกว่าสองมิติ