Математикадан республикалық олимпиада, 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) или AC2+BD2≡0 mod 4 что невозможно, так как диагонали нечётные, значит BD не целое.
b) Если x=y, a=b тогда BD2=((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=p1 p2...pn если первый множитель числителя делиться на один из множителей числа (2z+1)2 равному P1, то второй множитель числителя делится на дополняющего его до (2z+1)2 соотвественно множителя P2, и так как 4 число четное, тогда пусть частные (b−x)2 при делений на P1 и (b+x+1)2 на P2 равны w,v соотвественно, тогда BD2=(P2−4w)(4v−P1) если P2−4w=(2N1+1)2 и 4v−P1=(2N2+1)2 то суммируя P2−P1+4v−4w=(2N1+1)2+(2N2+1)2
отметим что P2−P1 всегда можно представить в виде pα1⋅pα2⋅pα3...((palphan...)2−1) если один только один множителей P1,P2 содержит квадрат и pbeta1⋅pbeta2⋅pbeta3...((pbetam..)2−(pbetan...)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=4(b−x)2−1+√(1−4(b−x)2)2+16(b+x+1)22
Тогда по неравенству треугольников 2z+1+2b>2x, 2z+1+2x>2b, 2(b+x+1)>2z+1 подставляя выраженное, для первого и второго и третьего получаем b≤−12,x<−12∪b>−12,x∈R и b≥−12,x>12∪b<−12,x∈R и третье b>−12,x>−12 объединяя выходит что система решений не имеет. Случаи когда 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(−k2,0), C(k2,0) тогда уравнение данного эллипса примет вид x2(m+t)2+y2(m+t)2−k2=14 тогда найдя координаты точек D(m2−t22k, √(m+t−k)(m−t+k)(k−m+t)(k+m+t)2k) и B((2n−m−t)(m+t)2k,−√(m+t−k)(m+t+k)(k−m+2n−t)(k+m−2n+t)2k) откуда
BD2=4(m+t)2(m−n)2+(m+t−k)(m+t+k)(√(m−t+k)(k−m+t)+√(k−m+2n−t)(k+m−2n+t))24k2 рассмотрим такой случай, когда выражения под квадратными корнями полные квадраты нечетного числа, иначе BD очевидно не целое. Пусть выражения под корнем слева направо соответственно равны x21,x22,x23,x24 тогда выражая через k=x21+x232, n=x23−x21+2m2, t=x22−x21+2m2
Значит BD2=(x23−x21)2(x22−x21+4m)2+(4m−2x21)(2x22+4m)(x1x2+x3x4)24(x21+x22)2
Учитывая что x21+x22=x23+x24=2k тогда их можно представить в виде x1=ad+bc, x2=ac−bd, x3=ad−bc, x4=ac+bd (не путать с изначальными обозначениями) где a,b,c,d целые и где только одно из чисел четное, так как выражения выше нечетные числа, подставляя найденные значения и преобразовывая получаем BD2=c2d2(8m(((ac−bd)2−(ad+bc)2)+2m)−4cd(a(ac−bd)−b(bc+ad))(a(ad+bc)+b(ac−bd)))(c2+d2)2 пусть BD=v тогда выражая m как квадратное уравнение относительно m получаем
m=((ad+bc)2−(ac−bd)2)cd±(c2+d2)√c2d2(a2−b2)+v24cd
Рассмотрим случай когда a четное, так как если одно из чисел c,d будет четным, то m не будет целым.
Значит (cd(a2−b2))2 будет нечётным, пусть (cd(a2−b2))2+v2=z2 тогда (cd(a2−b2))2=(z−v)(z+v) так как v по условия должно быть нечетным, значит z - четное, пусть
z−v=p1⋅p2...pn где p1,p2,...,pn простые делители числа слева, значит z−v+z+v=2z=p1p2...pn(1+((p1p2...pn)α−1⋅P)2) сумма двух квадратов нечетных чисел можно представит в виде 2(2w+1) откуда z нечётное, противоречие.
Значит BD не может быть нечётным.
d) случай когда z+x=a+y невозможен, так как если y=z+x−a то подставляя и сохраняя те же обозначения, получаем
BD2=t2+(k+t−n)2+(2x+1)(4z+2x+3)√(4z−2x+1)(4a−2x+1)(2x−4a+4z+1)(2x+1)2k2 но выражения под корнем не могут быть квадрантами нечётных чисел, так как суммы квадратов двух нечётных чисел не делится на 4, а случай когда некоторые числа равны между собой, приводит к рассмотренным уже случаям.
2)
Так как a1+a2+a3=a4
Если a1=t21, a2=t22, a3=t23 пусть тогда a4=t24 то есть должно выполнятся условие t21+t22+t23=t4
t21+t22=(t4−t3)(t4+t3) учитывая нечетность всех чисел t21+t22≡0 mod 4 что невозможно так как t21+t22=4A+2 аналогично и с остальными четырьмя , значит случай когда все множители являются квадратами нечётных чисел невозможен.
3) Непосредственно решение следует из того что, некоторые числа a1,...a8 надо будет приравнивать между собой , а остальные допускать как полные квадраты, которые и будут приводит нас к рассмотренным случаям выше.
Возможно, что при неправильном наборе формул, они будут
доредактированы модератором. При этом содержание не будет меняться.