Figure 10 shows a regular pentagon imbedded in a regular
decagon with edges of length r1. The segments r2 and r4 and
their mirror images in a diameter 2R are the four segments
drawn from one vertex of the regular pentagon to the other
four vertices. We are to prove that