рднрд┐рдиреНрди рддреБрд▓рдирд╛ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХреНрдпрд╛ рд╣реИ?
рдпрд╣ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдЖрдкрдХреЛ рдмрддрд╛рддрд╛ рд╣реИ рдХрд┐ рджреЛ рднрд┐рдиреНрдиреЛрдВ рдореЗрдВ рд╕реЗ рдХреМрди-рд╕реА рдмрдбрд╝реА рд╣реИ тАФ рдпрд╛ рд╡реЗ рдмрд░рд╛рдмрд░ рд╣реИрдВ тАФ рдФрд░ рдЗрд╕рдХреЗ рд▓рд┐рдП рдЖрдкрдХреЛ рд╣рд╛рде рд╕реЗ рд╕рдорд╛рди рд╣рд░ (common denominator) рдирд┐рдХрд╛рд▓рдиреЗ рдХреА рдЬрд╝рд░реВрд░рдд рдирд╣реАрдВ рдкрдбрд╝рддреАред рдмрд╕ рд╣рд░ рднрд┐рдиреНрди рдХрд╛ рдЕрдВрд╢ рдФрд░ рд╣рд░ рджрд░реНрдЬ рдХрд░реЗрдВ, рдФрд░ рдпрд╣ рдХреНрд░реЙрд╕-рдЧреБрдгрди (cross-multiplication) рдХреА рд╕рдмрд╕реЗ рднрд░реЛрд╕реЗрдордВрдж рдФрд░ рддреЗрдЬрд╝ рд╡рд┐рдзрд┐ рд╕реЗ \(\frac{a}{b}\) рдХреА рддреБрд▓рдирд╛ \(\frac{c}{d}\) рд╕реЗ рддреБрд░рдВрдд рдХрд░ рджреЗрдЧрд╛ред
рдЗрд╕рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ
рдкрд╣рд▓реА рднрд┐рдиреНрди рдХрд╛ рдЕрдВрд╢ (a) рдФрд░ рд╣рд░ (b) рднрд░реЗрдВ, рдлрд┐рд░ рджреВрд╕рд░реА рднрд┐рдиреНрди рдХрд╛ рдЕрдВрд╢ (c) рдФрд░ рд╣рд░ (d)ред рдкрд░рд┐рдгрд╛рдо рдореЗрдВ рджрд┐рдЦреЗрдЧрд╛ рдХрд┐ рдкрд╣рд▓реА рднрд┐рдиреНрди рджреВрд╕рд░реА рд╕реЗ рдмрдбрд╝реА рд╣реИ, рдЫреЛрдЯреА рд╣реИ рдпрд╛ рдмрд░рд╛рдмрд░ тАФ рд╕рд╛рде рд╣реА рд╣рд░ рднрд┐рдиреНрди рдХрд╛ рджрд╢рдорд▓рд╡ рдорд╛рди рдФрд░ рдирд┐рд░реНрдгрдп рдореЗрдВ рдЗрд╕реНрддреЗрдорд╛рд▓ рд╣реБрдЖ рдХреНрд░реЙрд╕ рдЧреБрдгрдирдлрд▓ рднреА рджрд┐рдЦрд╛рдИ рджреЗрдЧрд╛ред
рд╕реВрддреНрд░ рдХреЛ рд╕рдордЭреЗрдВ
\(\frac{a}{b}\) рдФрд░ \(\frac{c}{d}\) рдХреА рддреБрд▓рдирд╛ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдЖрдк рджреЛрдиреЛрдВ рдХреЛ рд╕рдорд╛рди рд╣рд░ \(b\cdot d\) рдкрд░ рд▓рд╛ рд╕рдХрддреЗ рд╣реИрдВред рддрдм рдЕрдВрд╢ рдмрди рдЬрд╛рддреЗ рд╣реИрдВ \(a\cdot d\) рдФрд░ \(c\cdot b\)ред рдпрд╛рдиреА рдкреВрд░реА рддреБрд▓рдирд╛ рд╕рд┐рд░реНрдлрд╝ \(a\cdot d - c\cdot b\) рдХреЗ рдЪрд┐рд╣реНрди (sign) рдХреЛ рдЬрд╛рдБрдЪрдиреЗ рддрдХ рд╕рд┐рдордЯ рдЬрд╛рддреА рд╣реИ:
$$\frac{a}{b} \;?\; \frac{c}{d} \iff \operatorname{sign}(a\cdot d - c\cdot b)$$
$$\frac{a}{b} > \frac{c}{d} \iff a\cdot d > c\cdot b$$
рдпрджрд┐ рдпрд╣ рдзрдирд╛рддреНрдордХ рд╣реИ рддреЛ \(\frac{a}{b}\) рдмрдбрд╝реА рд╣реИ, рдЛрдгрд╛рддреНрдордХ рд╣реИ рддреЛ \(\frac{c}{d}\) рдмрдбрд╝реА рд╣реИ, рдФрд░ рд╢реВрдиреНрдп рд╣реИ рддреЛ рджреЛрдиреЛрдВ рдмрд░рд╛рдмрд░ рд╣реИрдВред рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдЛрдгрд╛рддреНрдордХ рд╣рд░ рд╣реЛрдиреЗ рдкрд░ рдЪрд┐рд╣реНрди рдХреЛ рд╕рдорд╛рдпреЛрдЬрд┐рдд рдХрд░рдХреЗ рд╕рд╣реА рдирддреАрдЬрд╛ рджреЗрддрд╛ рд╣реИред
рд╣рд▓ рдХрд┐рдпрд╛ рдЧрдпрд╛ рдЙрджрд╛рд╣рд░рдг
\(\frac{1}{2}\) рдФрд░ \(\frac{2}{3}\) рдХреА рддреБрд▓рдирд╛ рдХрд░реЗрдВред рдХреНрд░реЙрд╕-рдЧреБрдгрди рдХрд░реЗрдВ:
$$a\cdot d = 1\times 3 = 3 \qquad c\cdot b = 2\times 2 = 4$$
рдЪреВрдБрдХрд┐ \(3 - 4 = -1\) рдЛрдгрд╛рддреНрдордХ рд╣реИ, рдЗрд╕рд▓рд┐рдП \(\frac{1}{2} < \frac{2}{3}\)ред рджрд╢рдорд▓рд╡ рдореЗрдВ рджреЗрдЦреЗрдВ рддреЛ \(0.5 < 0.6667\) тАФ рдкреБрд╖реНрдЯрд┐ рд╣реЛ рдЧрдИред
рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдкреНрд░рд╢реНрди
рд╕рдорд╛рди рд╣рд░ рдирд┐рдХрд╛рд▓рдиреЗ рдХреЗ рдмрдЬрд╛рдп рдХреНрд░реЙрд╕-рдЧреБрдгрди рдХреНрдпреЛрдВ? рдХреНрд░реЙрд╕-рдЧреБрдгрди рдЙрддрдирд╛ рд╣реА рд╕рд╣реА рд╣реИ, рд▓реЗрдХрд┐рди рдЗрд╕рдореЗрдВ рд╕рд┐рд░реНрдлрд╝ рджреЛ рдЧреБрдгрдирдлрд▓ рдЪрд╛рд╣рд┐рдП, рдЬрд┐рд╕рд╕реЗ рдпрд╣ рддреЗрдЬрд╝ рдФрд░ рдЧрд▓рддреА рдХреА рдХрдо рд╕рдВрднрд╛рд╡рдирд╛ рд╡рд╛рд▓рд╛ рд╣реЛрддрд╛ рд╣реИред
рдХреНрдпрд╛ рдпрд╣ рдЛрдгрд╛рддреНрдордХ рднрд┐рдиреНрдиреЛрдВ рдХреЛ рд╕рдВрднрд╛рд▓ рд╕рдХрддрд╛ рд╣реИ? рд╣рд╛рдБред рдпрджрд┐ рдХреЛрдИ рд╣рд░ рдЛрдгрд╛рддреНрдордХ рд╣реЛ рддреЛ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рддреБрд▓рдирд╛ рдХреЗ рдЪрд┐рд╣реНрди рдХреЛ рд╕рдорд╛рдпреЛрдЬрд┐рдд рдХрд░ рджреЗрддрд╛ рд╣реИ рддрд╛рдХрд┐ рдирддреАрдЬрд╛ рд╕рд╣реА рд░рд╣реЗред
рдЕрдЧрд░ рджреЛрдиреЛрдВ рднрд┐рдиреНрди рдмрд░рд╛рдмрд░ рд╣реЛрдВ рддреЛ? рдЬрдм \(a\cdot d - c\cdot b\) рд╢реВрдиреНрдп рд╣реЛрддрд╛ рд╣реИ, рддреЛ рджреЛрдиреЛрдВ рднрд┐рдиреНрди рдПрдХ рд╣реА рдорд╛рди рджрд░реНрд╢рд╛рддреА рд╣реИрдВ рдФрд░ рдкрд░рд┐рдгрд╛рдо "First = Second" рдмрддрд╛рддрд╛ рд╣реИред