Loading [MathJax]/jax/output/SVG/jax.js

Математикадан республикалық олимпиада, 2008-2009 оқу жылы, 11 сынып


Кез келген екі нүктенің ара қашықтығы бүтін тақ сан болатындай етіп, жазықтықта төрт нүкте таңдап алуға болмайтынын дәлелдеңіз.
посмотреть в олимпиаде

Комментарий/решение:

  1
6 года 5 месяца назад #

Из условия следует что количество всех "расстояний" равно 6.

Пусть на плоскости имеется четыре точки A,B,C,D и (данный четырёхугольник выпуклый ,доказательство для невыпуклого случая эквивалентна) расстояние 5 из 6 отрезков, нечетные числа.

Без ограничения общности пусть AB=2a+1,BC=2y+1,CD=2x+1,AD=2b+1,AC=2z+1 нечётные числа, тогда докажем что BD ни нечётное число.

Из теоремы косинусов

cosACD=(2x+1)2+(2z+1)2(2b+1)22(2x+1)(2z+1) и

cosACB=(2y+1)2+(2z+1)2(2a+1)22(2y+1)(2z+1) учитывая cosDCB=cosACDcosACBsinACDsinACB и для краткости записи пусть

2b+2z2x+1=a1, 2b+2x2z+1=a2, 2x+2z2b+1=a3, 2b+2x+2z+3=a4, 2a+2z2y+1=a5, 2a+2y2z+1=a6, 2y+2z2a+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+BD20 mod 4 что невозможно, так как диагонали нечётные, значит BD не целое.

b) Если x=y, a=b тогда BD2=((2z+1)24(bx)2)(4(b+x+1)2(2z+1)2)(2z+1)2

так как первый множитель меньше знаменателя, тогда возможны случаи

1. (b+x+1)2 делится на (2z+1)2 пусть их частное равно d , но тогда если первый множитель полный квадрат определённого нечётного числа, то второй множитель должен быть полным квадратом нечетного числа 4d1=(2l+1)2 что невозможно.

2. Равенство двух множителей в числителе так же невозможна, так как 2z+1 нечётна.

3. Пусть 2z+1=p1 p2...pn если первый множитель числителя делиться на один из множителей числа (2z+1)2 равному P1, то второй множитель числителя делится на дополняющего его до (2z+1)2 соотвественно множителя P2, и так как 4 число четное, тогда пусть частные (bx)2 при делений на P1 и (b+x+1)2 на P2 равны w,v соотвественно, тогда BD2=(P24w)(4vP1) если P24w=(2N1+1)2 и 4vP1=(2N2+1)2 то суммируя P2P1+4v4w=(2N1+1)2+(2N2+1)2

отметим что P2P1 всегда можно представить в виде pα1pα2pα3...((palphan...)21) если один только один множителей P1,P2 содержит квадрат и pbeta1pbeta2pbeta3...((pbetam..)2(pbetan...)2)

если оба , то есть разность всегда будет делится на 4 что невозможно, так как сумма квадратов двух нечётных чисел не делятся на 4.

Значит BD не целое.

  2
6 года 5 месяца назад #

4. Если 4(b+x+1)2(2z+1)2=(2z+1)((2z+1)24(bx)2) выражая

(2z+1)2=4(bx)21+(14(bx)2)2+16(b+x+1)22

Тогда по неравенству треугольников 2z+1+2b>2x, 2z+1+2x>2b, 2(b+x+1)>2z+1 подставляя выраженное, для первого и второго и третьего получаем b12,x<12b>12,xR и b12,x>12b<12,xR и третье b>12,x>12 объединяя выходит что система решений не имеет. Случаи когда 4(b+x+1)2(2z+1)2=(2z+1)((2z+1)24(bx)2)2n1 аналогичен.

c)

b+x=a+y (можно подставить и y=b+xa и преобразовать) но для ясности происходящего, заметим что в этом случае ГМТ всех таких точек 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)2k2=14 тогда найдя координаты точек D(m2t22k, (m+tk)(mt+k)(km+t)(k+m+t)2k) и B((2nmt)(m+t)2k,(m+tk)(m+t+k)(km+2nt)(k+m2n+t)2k) откуда

BD2=4(m+t)2(mn)2+(m+tk)(m+t+k)((mt+k)(km+t)+(km+2nt)(k+m2n+t))24k2 рассмотрим такой случай, когда выражения под квадратными корнями полные квадраты нечетного числа, иначе BD очевидно не целое. Пусть выражения под корнем слева направо соответственно равны x21,x22,x23,x24 тогда выражая через k=x21+x232, n=x23x21+2m2, t=x22x21+2m2

Значит BD2=(x23x21)2(x22x21+4m)2+(4m2x21)(2x22+4m)(x1x2+x3x4)24(x21+x22)2

Учитывая что x21+x22=x23+x24=2k тогда их можно представить в виде x1=ad+bc, x2=acbd, x3=adbc, x4=ac+bd (не путать с изначальными обозначениями) где a,b,c,d целые и где только одно из чисел четное, так как выражения выше нечетные числа, подставляя найденные значения и преобразовывая получаем BD2=c2d2(8m(((acbd)2(ad+bc)2)+2m)4cd(a(acbd)b(bc+ad))(a(ad+bc)+b(acbd)))(c2+d2)2 пусть BD=v тогда выражая m как квадратное уравнение относительно m получаем

m=((ad+bc)2(acbd)2)cd±(c2+d2)c2d2(a2b2)+v24cd

Рассмотрим случай когда a четное, так как если одно из чисел c,d будет четным, то m не будет целым.

Значит (cd(a2b2))2 будет нечётным, пусть (cd(a2b2))2+v2=z2 тогда (cd(a2b2))2=(zv)(z+v) так как v по условия должно быть нечетным, значит z - четное, пусть

zv=p1p2...pn где p1,p2,...,pn простые делители числа слева, значит zv+z+v=2z=p1p2...pn(1+((p1p2...pn)α1P)2) сумма двух квадратов нечетных чисел можно представит в виде 2(2w+1) откуда z нечётное, противоречие.

Значит BD не может быть нечётным.

пред. Правка 2   1
6 года 5 месяца назад #

d) случай когда z+x=a+y невозможен, так как если y=z+xa то подставляя и сохраняя те же обозначения, получаем

BD2=t2+(k+tn)2+(2x+1)(4z+2x+3)(4z2x+1)(4a2x+1)(2x4a+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=(t4t3)(t4+t3) учитывая нечетность всех чисел t21+t220 mod 4 что невозможно так как t21+t22=4A+2 аналогично и с остальными четырьмя , значит случай когда все множители являются квадратами нечётных чисел невозможен.

3) Непосредственно решение следует из того что, некоторые числа a1,...a8 надо будет приравнивать между собой , а остальные допускать как полные квадраты, которые и будут приводит нас к рассмотренным случаям выше.