Maths Olympiad Prep

Library / HMMT February /987 of 1302

HMMT February

Algebra Difficulty 5.5 AIME, harder Find the answer

Find all ordered triples (a,b,c)(a, b, c) of positive reals that satisfy: ⌊a⌋bc=3,a⌊b⌋c=4\lfloor a\rfloor b c=3, a\lfloor b\rfloor c=4, and ab⌊c⌋=5a b\lfloor c\rfloor=5, where ⌊x⌋\lfloor x\rfloor denotes the greatest integer less than or equal to xx.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Write p=abc,q=⌊a⌋⌊b⌋⌊c⌋p=a b c, q=\lfloor a\rfloor\lfloor b\rfloor\lfloor c\rfloor. Note that qq is an integer. Multiplying the three equations gives: p=60qp=\sqrt{\frac{60}{q}} Substitution into the first equation, p=3a⌊a⌋<3⌊a⌋+1⌊a⌋≤6p=3 \frac{a}{\lfloor a\rfloor}<3 \frac{\lfloor a\rfloor+1}{\lfloor a\rfloor} \leq 6 Looking at the last equation: p=5c⌊c⌋≥5⌊c⌋⌊c⌋≥5p=5 \frac{c}{\lfloor c\rfloor} \geq 5 \frac{\lfloor c\rfloor}{\lfloor c\rfloor} \geq 5 Here we've used ⌊x⌋≤x<⌊x⌋+1\lfloor x\rfloor \leq x<\lfloor x\rfloor+1, and also the apparent fact that ⌊a⌋≥1\lfloor a\rfloor \geq 1. Now: 5≤60q≤6125≥q≥53\begin{gathered} 5 \leq \sqrt{\frac{60}{q}} \leq 6 \\ \frac{12}{5} \geq q \geq \frac{5}{3} \end{gathered} Since qq is an integer, we must have q=2q=2. Since qq is a product of 3 positive integers, we must have those be 1,1 , and 2 in some order, so there are three cases: Case 1: ⌊a⌋=2\lfloor a\rfloor=2. By the equations, we'd need a=2330=120/9>3a=\frac{2}{3} \sqrt{30}=\sqrt{120 / 9}>3, a contradiction, so there are no solutions in this case. Case 2: ⌊b⌋=2\lfloor b\rfloor=2. We have the solution (303,302,305)\left(\frac{\sqrt{30}}{3}, \frac{\sqrt{30}}{2}, \frac{\sqrt{30}}{5}\right) Case 3: ⌊c⌋=2\lfloor c\rfloor=2. We have the solution (303,304,2305)\left(\frac{\sqrt{30}}{3}, \frac{\sqrt{30}}{4}, \frac{2 \sqrt{30}}{5}\right)

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.