This is equivalent to finding the p

This is equivalent to finding the perpendicular bisector of the line segment p1p2. This can be done in four steps:

Use Axiom 1 to find the line through p1 and p2, given by P(s)=p_1+s(p_2-p_1)
Find the midpoint of pmid of P(s)
Find the vector vperp perpendicular to P(s)
The parametric equation of the fold is then:

ผลลัพธ์ (ไทย) 1:

นี้จะเท่ากับหา bisector ตั้งฉากของ p1p2 เซ็กเมนต์บรรทัด นี้สามารถทำได้ในขั้นตอนที่สี่:ใช้สัจพจน์ 1 เพื่อค้นหารายการ p1 และ p 2 โดย P(s)=p_1+s(p_2-p_1)หาจุดกึ่งกลางของ pmid P(s)ค้นหา vperp เวกเตอร์ตั้งฉาก P(s)สมการพาราเมตริกของพับอยู่แล้ว:

ผลลัพธ์ (ไทย) 2:

นี้จะเทียบเท่ากับการหา bisector ตั้งฉากของสายส่วน p1p2 ซึ่งสามารถทำได้ในขั้นตอนที่สี่: การใช้งานจริง 1 ที่จะหาสายผ่าน p1 และ p2 ที่ได้รับจาก P (s) = p_1 + s (P_2-p_1) หาจุดกึ่งกลางของ PMID ของ P (s) ค้นหา vperp เวกเตอร์ตั้งฉาก ไปที่ P (s) สมการตัวแปรของการพับเป็นแล้ว:

ผลลัพธ์ (ไทย) 3:

นี้จะเทียบเท่ากับการหาเส้นแบ่งครึ่งตั้งฉากของส่วนของเส้นตรง p1p2 . ซึ่งสามารถทำได้ในขั้นตอนที่สี่ :

ใช้สัจพจน์ 1 หาเส้นผ่าน P1 P2 และให้โดย P ( s ) = p_1 S ( p_2-p_1 )
หาจุดกึ่งกลางของ pmid P ( S )
หาเวกเตอร์ vperp ตั้งฉากกับ P ( S )
สมการพาราเมตริกของพับคือ จากนั้น :