MathDB
IMC2015, problem 4

Source: IMC2015

July 29, 2015
number theorytrig identitiescollege contestsIMC2015

Problem Statement

Determine whether or not there exist 15 integers m1,,m15m_1,\ldots,m_{15} such that~ \displaystyle \sum_{k=1}^{15}\,m_k\cdot\arctan(k) = \arctan(16). \eqno(1)
(Proposed by Gerhard Woeginger, Eindhoven University of Technology)