A construction of the double-angle trigonometric formulaehttps://orcid.org/0000-0002-1430-1635peechoon.toh@nie.edu.sgPee Choon Toh