Home Competitions Putnam 2016 A3
Suppose that f f f is a function from R \mathbb{R} R to R \mathbb{R} R such that f ( x ) + f ( 1 − 1 x ) = arctan x f(x) + f\left( 1 - \frac{1}{x} \right) = \arctan x f ( x ) + f ( 1 − x 1 ) = arctan x for all real x ≠ 0 x \neq 0 x = 0 . (As usual, y = arctan x y = \arctan x y = arctan x means − π / 2 < y < π / 2 -\pi/2 < y < \pi/2 − π /2 < y < π /2 and tan y = x \tan y = x tan y = x .) Find ∫ 0 1 f ( x ) d x . \int_0^1 f(x) dx. ∫ 0 1 f ( x ) d x .
Curated text Kedlaya Putnam archive . Quoted with source.
Solutions
Human solution Solution 1 by Kiran Kedlaya and Lenny Ng
The terms of the source let olymmath link to this solution but not copy it. Read the solution (Kedlaya Putnam archive).
Locator putnam/2016/a3 · Tag 2TCMH109M0 · Edit this page on GitHub · Keys: j next, k previous