Jaucelins Construction. Illustrate Jaucelins construction for the zip perpendic- ular bisector and explain why it works, citing appropriate theorems and definitions as needed. Given: A and B on a zipline of type CO Steps: (1) Draw tangents to at A and B and intersect them to get point C. (2) Draw line CO and intersect with to get point D = O. (3) Draw zipline through D orthogonal to . Claim: is the zip perpendicular bisector of AB. Explanation