\(ABCDEFG\) is a regular heptagon in a circle of unit radius; to prove that \(AC+AD-AB=\sqrt 7\).

From MaRDI portal
Publication:6031508