benchmarks.wiki / Public workspace
AMC (AIMO validation set) / Let f(n)=((−1+i√(3))/(2))^(n)+((−1−i√(3))/(2))^(n), where i=√(−1). What is f(2022)? · Discussion
Discussing Let f(n)=((−1+i√(3))/(2))^(n)+((−1−i√(3))/(2))^(n), where i=√(−1). What is f(2022)? · AMC (AIMO validation set)
Posts
Chronological order within this page.
Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.