Математикадан республикалық олимпиада, 2008-2009 оқу жылы, 11 сынып
Комментарий/решение:
Из условия следует что количество всех "расстояний" равно 6.
Пусть на плоскости имеется четыре точки A,B,C,D и (данный четырёхугольник выпуклый ,доказательство для невыпуклого случая эквивалентна) расстояние 5 из 6 отрезков, нечетные числа.
Без ограничения общности пусть AB=2a+1,BC=2y+1,CD=2x+1,AD=2b+1,AC=2z+1 нечётные числа, тогда докажем что BD ни нечётное число.
Из теоремы косинусов
cos∠ACD=(2x+1)2+(2z+1)2−(2b+1)22(2x+1)(2z+1) и
cos∠ACB=(2y+1)2+(2z+1)2−(2a+1)22(2y+1)(2z+1) учитывая cos∠DCB=cos∠ACD⋅cos∠ACB−sin∠ACD⋅sin∠ACB и для краткости записи пусть
2b+2z−2x+1=a1, 2b+2x−2z+1=a2, 2x+2z−2b+1=a3, 2b+2x+2z+3=a4, 2a+2z−2y+1=a5, 2a+2y−2z+1=a6, 2y+2z−2a+1=a7, 2a+2y+2z+3=a8
Значит BD2=(2x+1)2+(2y+1)2+√a1 a2 a3 a4 a5 a6 a7 a8−((2x+1)2+(2z+1)2−(2b+1)2)((2y+1)2+(2z+1)2−(2a+1)2)2(2z+1)2
Если число извлекается из квадратного корня, то выражение под корнем, всегда можно сгруппировать в произведение отдельных квадратов.
1)
Предварительно рассмотрим случаи
a) если x=z=a, b=y тогда ABCD параллелограмм, и по свойству для диагоналей AC2+BD2=2(AD2+AB2) или AC^2+BD^2 \equiv 0 \ \mod \ 4 что невозможно, так как диагонали нечётные, значит BD не целое.
b) Если x=y, \ a=b тогда BD^2=\dfrac{((2z+1)^2-4(b-x)^2)(4(b+x+1)^2-(2z+1)^2)}{(2z+1)^2}
так как первый множитель меньше знаменателя, тогда возможны случаи
1. (b+x+1)^2 делится на (2z+1)^2 пусть их частное равно d , но тогда если первый множитель полный квадрат определённого нечётного числа, то второй множитель должен быть полным квадратом нечетного числа 4d-1=(2l+1)^2 что невозможно.
2. Равенство двух множителей в числителе так же невозможна, так как 2z+1 нечётна.
3. Пусть 2z+1=p_{1} \ p_{2} ... p_{n} если первый множитель числителя делиться на один из множителей числа (2z+1)^2 равному P_{1}, то второй множитель числителя делится на дополняющего его до (2z+1)^2 соотвественно множителя P_{2}, и так как 4 число четное, тогда пусть частные (b-x)^2 при делений на P_{1} и (b+x+1)^2 на P_{2} равны w,v соотвественно, тогда BD^2=(P_{2}-4w)(4v-P_{1}) если P_{2}-4w=(2N_{1}+1)^2 и 4v-P_{1}=(2N_{2}+1)^2 то суммируя P_{2}-P_{1}+4v-4w=(2N_{1}+1)^2+(2N_{2}+1)^2
отметим что P_{2}-P_{1} всегда можно представить в виде p_{\alpha_{1}} \cdot p_{\alpha_{2}} \cdot p_{\alpha_{3}} ... ((p_{alpha_{n}}...)^2-1) если один только один множителей P_{1},P_{2} содержит квадрат и p_{beta_{1}} \cdot p_{beta_{2}} \cdot p_{beta_{3}}...((p_{beta_{m}}..)^2-(p_{beta_{n}}...)^2)
если оба , то есть разность всегда будет делится на 4 что невозможно, так как сумма квадратов двух нечётных чисел не делятся на 4.
Значит BD не целое.
4. Если 4(b+x+1)^2-(2z+1)^2=(2z+1)((2z+1)^2-4(b-x)^2) выражая
(2z+1)^2=\dfrac{4(b-x)^2-1 + \sqrt{(1-4(b-x)^2)^2+16(b+x+1)^2}}{2}
Тогда по неравенству треугольников 2z+1+2b>2x, \ 2z+1+2x>2b, \ 2(b+x+1)>2z+1 подставляя выраженное, для первого и второго и третьего получаем b \leq -\dfrac{1}{2}, x<-\dfrac{1}{2} \cup b>-\dfrac{1}{2}, x \in R и b \geq -\dfrac{1}{2}, x>\dfrac{1}{2} \cup b<-\dfrac{1}{2}, x \in R и третье b>-\dfrac{1}{2}, x>-\dfrac{1}{2} объединяя выходит что система решений не имеет. Случаи когда 4(b+x+1)^2-(2z+1)^2=(2z+1)((2z+1)^2-4(b-x)^2)^{2n-1} аналогичен.
c)
b+x=a+y (можно подставить и y=b+x-a и преобразовать) но для ясности происходящего, заметим что в этом случае ГМТ всех таких точек B,D есть - Эллипс, фокусы которого расположены в точках A,C.
Пусть AC=k, \ AB=n, CD=t, AD=m поместив точки A(-\dfrac{k}{2},0), \ C(\dfrac{k}{2},0) тогда уравнение данного эллипса примет вид \dfrac{x^2}{(m+t)^2}+\dfrac{y^2}{(m+t)^2-k^2}=\dfrac{1}{4} тогда найдя координаты точек D(\dfrac{m^2-t^2}{2k}, \ \dfrac{\sqrt{(m+t-k)(m-t+k)(k-m+t)(k+m+t)}}{2k}) и B(\dfrac{(2n-m-t)(m+t)}{2k}, -\dfrac{\sqrt{(m+t-k)(m+t+k)(k-m+2n-t)(k+m-2n+t)}}{2k}) откуда
BD^2=\dfrac{4(m+t)^2(m-n)^2+(m+t-k)(m+t+k)(\sqrt{(m-t+k)(k-m+t)}+\sqrt{(k-m+2n-t)(k+m-2n+t)})^2}{4k^2} рассмотрим такой случай, когда выражения под квадратными корнями полные квадраты нечетного числа, иначе BD очевидно не целое. Пусть выражения под корнем слева направо соответственно равны x_{1}^2,x_{2}^2,x_{3}^2,x_{4}^2 тогда выражая через k=\dfrac{x_{1}^2+x_{3}^2}{2}, \ n=\dfrac{x_{3}^2-x_{1}^2+2m}{2}, \ t=\dfrac{x_{2}^2-x_{1}^2+2m}{2}
Значит BD^2=\dfrac{(x_{3}^2-x_{1}^2)^2(x_{2}^2-x_{1}^2+4m)^2+(4m-2x_{1}^2)(2x_{2}^2+4m)(x_{1}x_{2}+x_{3}x_{4})^2}{4(x_{1}^2+x_{2}^2)^2}
Учитывая что x_{1}^2+x_{2}^2=x_{3}^2+x_{4}^2=2k тогда их можно представить в виде x_{1}=ad+bc, \ x_{2}=ac-bd, \ x_{3}=ad-bc, \ x_{4}=ac+bd (не путать с изначальными обозначениями) где a,b,c,d целые и где только одно из чисел четное, так как выражения выше нечетные числа, подставляя найденные значения и преобразовывая получаем BD^2=\dfrac{c^2d^2(8m(((ac-bd)^2-(ad+bc)^2)+2m)-4cd(a(ac-bd)-b(bc+ad))(a(ad+bc)+b(ac-bd)))}{(c^2+d^2)^2} пусть BD=v тогда выражая m как квадратное уравнение относительно m получаем
m=\dfrac{((ad+bc)^2-(ac-bd)^2)cd \pm (c^2+d^2)\sqrt{c^2d^2(a^2-b^2)+v^2}}{4cd}
Рассмотрим случай когда a четное, так как если одно из чисел c,d будет четным, то m не будет целым.
Значит (cd(a^2-b^2))^2 будет нечётным, пусть (cd(a^2-b^2))^2+v^2=z^2 тогда (cd(a^2-b^2))^2=(z-v)(z+v) так как v по условия должно быть нечетным, значит z - четное, пусть
z-v=p_{1} \cdot p_{2} ... p_{n} где p_{1},p_{2},...,p_{n} простые делители числа слева, значит z-v+z+v=2z=p_{1}p_{2}...p_{n}(1+((p_{1}p_{2}...p_{n})^{\alpha-1} \cdot P)^2) сумма двух квадратов нечетных чисел можно представит в виде 2(2w+1) откуда z нечётное, противоречие.
Значит BD не может быть нечётным.
d) случай когда z+x=a+y невозможен, так как если y=z+x-a то подставляя и сохраняя те же обозначения, получаем
BD^2=t^2+(k+t-n)^2+\dfrac{(2x+1)(4z+2x+3)\sqrt{(4z-2x+1)(4a-2x+1)(2x-4a+4z+1)(2x+1)}}{2k^2} но выражения под корнем не могут быть квадрантами нечётных чисел, так как суммы квадратов двух нечётных чисел не делится на 4, а случай когда некоторые числа равны между собой, приводит к рассмотренным уже случаям.
2)
Так как a_{1}+a_{2}+a_{3}=a_{4}
Если a_{1}=t_{1}^2, \ a_{2}=t_{2}^2, \ a_{3}=t_{3}^2 пусть тогда a_{4}=t_{4}^2 то есть должно выполнятся условие t_{1}^2+t_{2}^2+t_{3}^2=t_{4}
t_{1}^2+t_{2}^2=(t_{4}-t_{3})(t_{4}+t_{3}) учитывая нечетность всех чисел t_{1}^2+t_{2}^2 \equiv 0 \ mod \ 4 что невозможно так как t_{1}^2+t_{2}^2=4A+2 аналогично и с остальными четырьмя , значит случай когда все множители являются квадратами нечётных чисел невозможен.
3) Непосредственно решение следует из того что, некоторые числа a_{1},...a_{8} надо будет приравнивать между собой , а остальные допускать как полные квадраты, которые и будут приводит нас к рассмотренным случаям выше.
Возможно, что при неправильном наборе формул, они будут
доредактированы модератором. При этом содержание не будет меняться.