MathDB
trigonometric extrapolation

Source: 2019 AIME I #8

March 14, 2019
AMCAIMEAIME I

Problem Statement

Let xx be a real number such that sin10x+cos10x=1136\sin^{10}x+\cos^{10} x = \tfrac{11}{36}. Then sin12x+cos12x=mn\sin^{12}x+\cos^{12} x = \tfrac{m}{n} where mm and nn are relatively prime positive integers. Find m+nm+n.