21 For any real number x, if cos(asinx)>sin(bcosx), prove that a2+b2<4π2 (1975 Kyiv Mathematical Olympiad Problem)
Solution
21. By contradiction. Assume a2+b2⩾4π2, since asinx+bcosx=a2+b2sin(x+φ), where φ is a fixed real number depending only on a,b, such that cosφ=a2+b2a,sinφ=a2+b2b.
Since a2+b2⩾2π, there exists a real number x0 such that a2+b2sin(x0+φ)=2π, i.e., asinx0+bcosx0=2π
This implies cos(asinx0)>sin(bcosx0), which contradicts the assumption. Therefore, a2+b2<4π2.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.