The correct biconditional statement for the given conditional statement "If a polygon has five sides, then it is a pentagon" is:
A polygon has five sides if and only if it is a pentagon.
This option represents the biconditional because it combines the original statement with its converse, forming a true biconditional statement that indicates both conditions are equivalent.