So I am working on rebuilding my hot tub siding and want to convert the rounded corners to flat surfaces, but need to determine the width across. Of course the easy answer is measure it, but I wanted to figure it out mathematically and was having trouble figuring it out. It would look something like:
I'm looking to find the length of the red line. My current measurements put the radius at 6.5 inches. How would I go about doing this?


This is the side of regular $Octagon$: