MathDB
why so much counting maa

Source: 2023 AIME II Problem #7

February 16, 2023
AMCAIMEAIME II

Problem Statement

Each vertex of a regular dodecagon (12-gon) is to be colored either red or blue, and thus there are 2122^{12} possible colorings. Find the number of these colorings with the property that no four vertices colored the same color are the four vertices of a rectangle.