Consider the following regular nonagon inscribed in a unit circle. Use the measuring tool to find the lengths of all the green segments. What is the product of these lengths? How would you begin to explain (prove) this?