Форум мехмата МГУ по высшей математике
| Пользователям: | Аксиома — это истина, на которую не хватило доказательств. |
Форумы > Математика > Высшая математика > Тема > Страница 4 |
Объявления | Последний пост | |
---|---|---|
Правила и принципы форума «Высшая математика» | 28.10.2009 15:17 | |
Открыта свободная публикация вакансий для математиков | 26.09.2019 16:34 | |
Книги по математике и экономике в добрые руки! | 10.08.2023 09:45 |
06.12.2012 11:21 Дата регистрации: 15 лет назад Посты: 2 928 | Приношу извинения Я не возражал против соединения знаков плюс и минус, выражающего единый процесс для двух сходных, хотя и различных ситуаций. В действительности я просто не заметил, что дробь в уравнении (3) из Вашего поста "А время гонит лошадей" (А. Пушкин) возводится в квадрат. По этой причине счел это ур-е ошибочным и просто постарался восстановить ход вычислений и дошел в своем посте до того же уравнения. Кроме того я не усмотрел, как из полученного уравнения следует четность $с$, но теперь и это не актуально, т.к. г. Kitonum обнаружил для этого весьма убедительный ход. Действительно, в равенстве $4c^4=(a+b+c)(a+b-c)(-a+b+c)(a-b+c)$ справа стоит четное число, и, т.к. все сомножители имеют одинаковую четность, то число справа делится на 16. |
06.12.2012 14:59 Дата регистрации: 14 лет назад Посты: 459 | Интересная форма Уважаемый anton25, Вы затронули интересный вопрос! На мой взгляд, любителя математики, Ваше уравнение имеет красивый "симметрический" вид и заслуживает подробного изучения: Так, если ввести обозначения подобные Вашим: $a+b+c=2s$ $a+b-c=2x$ $a-b+c= 2y$ $-a+b+c=2z$ То оно преобразуется в уравнение: $4c^4=16xyzs$ Где новые переменные связаны соотношением $x+y+z=s$ $с$ выражается через новые как $c=y+z$ Таким образом приходим к тому что: $(y+z)^4=(s-x)^4=4xyzs$ Справа стоит простая симметрическая форма от четырёх переменных $x,y,z,s$ степени $4$ , которые связаны соотношением $s=x+y+z$ |
14.12.2012 23:06 Дата регистрации: 13 лет назад Посты: 780 | ... Извиняюсь за отсутствие (был сильно занят) Вид действительно красивый, только толку от него было не много, разве что это уравнение сводится к другому от которого вышел таки толк (об этом позже), но, как оказалось, то новое уравнение можно было получить и иными способами (например, из одного из соотношений уважаемого Yog-urt-а). Тем не менее это уравнение не имеет решений в натуральных числах (в копилку коллекционерам ). Судя по всему, интерес к теме к сожалению потерян, но все же хотелось бы поставить твердую точку и адекватно ее завершить (чтобы в новый год без долгов ). По существу следующее доказательство опирается на идеи уважаемого Yog-urt-а о спуске и применении пифагоровых троек (возможно, что доказательства Yog-urt-a и это и вовсе эквивалентны): |
14.12.2012 23:15 Дата регистрации: 13 лет назад Посты: 780 | Доказательство # Произведя в уравнении $4c^4=(a+b+c)(a+c-b)(a+b-c)(b+c-a)$ (оно получается из формул для площадей через основание и равную ему высоту ($c$) и через формулу Герона (см. ссылку у уважаемого Yog-urt-a)) замены $X=a+c-b$, $Y=b+c-a$ и $Z=a+b-c$, получим уравнение $4XYZ^2+4(X+Y)XYZ-(X+Y)^4=0$ ($X,Y,Z\inN$) из которого: $Z=\frac{(X+Y)\sqrt{(XY)^2+XY(X+Y)^2}-(X+Y)XY}{2XY}$, где (1) $(XY)^2+XY(X+Y)^2=XY(X^2+3XY+Y^2)=N^2$ ($N\inN$) Если $НОД(X,Y)=q$, то $X=qX_1$, $Y=qY_1$ где $X_1,Y_1$ - в.п. (взаимно просты). Тогда (1) можно записать как $X_1Y_1(X_1^2+3X_1Y_1+Y_1^2)=N_1^2$. Т.к. числа $X_1,Y_1,X_1^2+3X_1Y_1+Y_1^2$ - попарно в.п., то каждое из них является полным квадратом, т.е. $X_1=x^2$, $Y_1=y^2$ и $X_1^2+3X_1Y_1+Y_1^2=p^2$, откуда получаем уравнение: (2) $x^4+3x^2y^2+y^4=p^2$ ($x,y$ - в.п.). Очевидно, разрешимость в натуральных числах уравнения (2) равносильна существованию искомого треугольника. Предположим, что (2) имеет решение в натуральных числах. Пусть $(x_0;\,y_0)$ - такое решение (2), что $p\inN$ - минимально. Положим $y_0$ - нечетное число (числа $x_0,y_0$ в.п. и значит хотя бы одно из них нечетно). Тогда из (2) получаем (3) $x_0^2=\frac{\sqrt{5y_0^4+4p^2}-3y_0^2}{2}$, где $5y_0^4+4p^2=A^2$ или $(A-2p)(A+2p)=5y_0^4$ ($A\inN$). Заметим, что $A$ и $p$ не делятся на $5$ (в противном случае $НОД(p,y_0)\ge5$, а они в.п.), откуда следует взаимная простота чисел $A-2p$ и $A+2p$ ($НОД(A-2p,\,A+2p)$ - делитель $p,\,5y_0^4$ одновременно). Тогда $A=\frac{5d_1^4+d_2^4}{2}$, где $d_1d_2=y_0$ ($d_1,\,d_2$ - в.п.), подставив значения для $A$ в (3) получим: $5d_1^4+d_2^4-6d_1^2d_2^2-4x_0^2=0$. Из последнего равенства находим (4) $d_2^2=3d_1^2\pm2\sqrt{d_1^4+x_0^2}$, где $d_1^4+x_0^2=B^2$ или $(B-x_0)(B+x_0)=d_1^4$ ($B\inN$). $d_1$ - нечетное число (т.к. $y_0$ - нечетно), следовательно, числа $B-x_0$ и $B+x_0$ взаимно просты ($НОД(B-x_0,\,B+x_0)$ - делитель $x_0,\,d_1$ одновременно). Тогда $B=\frac{d_3^4+d_4^4}{2}$, где $d_3d_4=d_1$ ($d_3$ и $d_4$ - в.п.). Из последних равенств (4) примет вид $d_2^2=3d_3^2d_4^2\pm(d_3^2+d_4^2)$. Равенство со знаком "+" выполняться не может, т.к. противоречит минимальности $p$ ($d_2\ley_0<p$), откуда имеем $3d_3^2d_4^2-d_3^4-d_4^4=d_2^2$ или (5) $(d_3d_4)^2=(d_3^2-d_4^2)^2+d_2^2$ Здесь уже не удалось обойтись без пифагоровых троек. Поскольку $d_2,d_3,d_4$ попарно взаимно просты и нечетны ($y_0$ - нечетно), то параметры пифагоровой тройки для (5) выглядят так (6) $\left\{\begin{array}{cc}d_3^2-d_4^2=2mn,\\d_3d_4=m^2+n^2.\end{array}$ Далее, если $m=0$ или $n=0$, то $d_3=d_4=d_2=d_1=B=1$ и $x_0=0\notinN$. Если же $mn\ne0$, то из (6) получаем $d_4^2=\sqrt{m^4+n^4+3m^2n^2}-mn$, где (7) $m^4+n^4+3m^2n^2=C^2$ ($C\inN$) Тогда $C^2=(m^2+n^2)^2+m^2n^2=d_3^2d_4^2+\left(\frac{d_3^2-d_4^2}{2}\right)^2=\left(\frac{d_3^2+d_4^2}{2}\right)^2\le(d_3^2d_4^2)^2=d_1^4\ley_0^4<p^2$, что противоречит минимальности $p$. Т.о. целочисленного треугольника с равными длинами одной из сторон и высоты к этой стороне - не существует! # Свиду вроде все нормально, но если у кого-нибудь будет свободное время, то просьба просмотреть на предмет возможных логических ошибок. P.S. Что касается общего вопроса о кратности длин основания и высоты, то такое вполне возможно. Примеры: 1) $a=3$, $b=25$, $c=26$, $h_a=24$ и $\frac{h_a}{a}=8$ 2) $a=600$, $b=409$, $c=241$, $h_a=120$ и $\frac{a}{h_a}=5$ 3) $a=120$, $b=101$, $c=29$, $h_a=20$ и $\frac{a}{h_a}=6$ |
16.12.2012 00:40 Дата регистрации: 12 лет назад Посты: 176 | О свойствах треугольника, которого нет... Я тоже должен извиниться за задержку с сообщениями по данной теме – совсем нет времени. С доказательством Anton”а25 ознакомился, детально разобрать все не получилось, но изъянов не увидел. Детализировать свое доказательство в силу его прозрачности желания не было. Как мне представляется, по рассмотрению основных случаев эти доказательства близки, хотя по ходу и приемам существенно различны. Так, Anton25 довольно просто закрыл случай, соответствующий моему уравнению (10), а для доказательства неразрешимости уравнения (11) использовал заранее полученные свойства входящих в него переменных. Как будто все ОК, но мне еще нужно «проникнуться»… Далее я приведу детализацию доказательства своих простых случаев в целях 1) показать, что они элементарны, 2) несколько систематизировать системы (из двух) неразрешимых уравнений, связанных с пифагоровыми тройками (и вытекающих из решения данной задачи), 3) обратить внимание на более общую задачу перечисления (и сведения к базовым) разрешимых и неразрешимых систем уравнений такого типа. Итак, доказательство несушествования искомого треугольника было сведено к доказательству неразрешимости уравнения (пост “А время гонит лошадей» (А.Пушкин)) $ (8) $ $ (x^2-v^2)(y^2+u^2)=2xyuv, $ которое, в свою очередь, свелось к доказательству неразрешимости двух систем уравнений: $ (10) $ $ (x^2-v^2)= 2yu, (y^2+u^2)=xv $ - 1-й случай $ (11) $ $ (x^2-v^2)= yu, (y^2+u^2)=2xv $ - 2-й случай Кроме того, 1-й случай был сведен к системе уравнений $ (12) $ $ 2st=yu; s^2-t^2=y^2+u^2 , $ и затем к двум подслучаям: 1.1 $ (s_g^2-t_u^2) $ и $ (4 s_g^2+ t_u^2) $ сократимы, тогда $ (18) $ $ s_u^2+t_g^2=s_g^2, s_u^2-4t_g^2= t_u^2. $ 1.2 $ (s_g^2-t_u^2) $ и $ (4 s_g^2+ t_u^2) $ несократимы, тогда $ (19) $ $ s_u^2=4 s_g^2+ t_u^2, t_g^2=s_g^2-t_u^2. $ Далее простое завершение. Случай 1.1. Распишем пифагоровы тройки для уравнений (18) (повторение переменных из раннего сообщения к путанице не приведет). Из (18) $ s_u=m_1^2- n_1^2, t_g=2m_1n_1; s_u=m_2^2+ n_2^2, t_g=m_2n_2, $ т. е. $ m_1^2- n_1^2=m_2^2+ n_2^2 $ и $ 2m_1n_1=m_2n_2,$ Как видно, полученная система уравнений соответствует уравнениям (12). Как было отмечено ранее / Случай 1.2. Перепишу ранее сформулированное утверждение, которое напрямую указывает на неразрешимость уравнения (19) и завершает доказательство несуществования искомого треугольника для случая 1. Его доказательство может выступить в виде простой школьной задачи. Утверждение 1. Система уравнений $ (20) $ $ 4q^2+w^2=d^2, q^2-w^2=e^2. $ неразрешима в натуральных числах. Случай 2. (повторяем предложения случая 1, но с соответствующими нюансами). С учетом того, что $ y, u $– нечетные числа и введя в (11) обозначения: $ (x+v)=s, (x-v)=t, x=(s+t)/2, v=(s-t)/2, $ получим эквивалентную (11) систему уравнений $ (21) $ $ st=yu; s^2-t^2=2(y^2+u^2), $ причем $ s, t $– несократимы. Распределим делители чисел $ s, t $ на две группы (у каждого числа) следующим образом: $ (22) $ $ s=s_ys_u, t=t_yt_u; y=s_yt_y, u=s_ut_u, $ причем все числа $ s_y, s_u, t_y, t_u $ попарно несократимы. Во втором уравнении системы (21) перегруппируем слагаемые, приведя к виду $ s^2 -2u^2=2y^2+t^2, $ после чего с учетом представления чисел (22) придем к соотношениям: $ s_y^2s_u^2- 2s_u^2t_u^2=2 s_y^2t_y^2+ t_y^2t_u^2$ $ (23) $ $ s_u^2(s_y^2-2t_u^2)=t_y^2(2s_y^2+ t_u^2). $ В зависимости от сократимости или несократимости чисел $ (s_y^2-2t_u^2), (2s_y^2+ t_u^2) $ имеем два случая. Случай 2.1. Пусть$ (s_y^2-2t_u^2) $ и $ (2s_y^2+ t_u^2) $ сократимы на некоторое число $ p. $ Тогда $ s_y^2-2t_u^2=k_1p, 2s_y^2+t_u^2=k_2p, $ откуда $ 5s_y^2= (k_1+ 2k_2)p, $ откуда $ p=5, $ так как в противном случае $ s_y^2 $ и $ t_u^2 $ сократимы. С учетом этого из (23) $ (24) $ $ 5s_u^2=2 s_y^2+ t_u^2, 5t_y^2=s_y^2-2t_u^2. $ Путем линейных преобразований уравнений (24) легко получить: $ (25) $ $ 2s_u^2+t_y^2=s_y^2, s_u^2-2t_y^2=t_u^2. $ Переписываемое ниже ранее сформулированное утверждение напрямую указывает на неразрешимость уравнения (25) и завершает доказательство несуществования искомого треугольника для случая 2.1. Утверждение 2. Система уравнений $ q^2-2w^2=d^2, 2q^2+w^2=e^2 $ неразрешима в натуральных числах. (Доказывается легко. Может использоваться в виде простой школьной задачи). Случай 2.2. Пусть $ (s_y^2-2t_u^2) $ и $ (2s_y^2+ t_u^2) $ несократимы. Тогда из (23) $ s_u^2=2 s_y^2+ t_u^2, t_y^2=s_y^2-2t_u^2. $ Неразрешимость данного уравнения в натуральных числах вытекает из утверждения 2. Все варианты исчерпаны – треугольник с указанными свойствами не существует. Немного «по поводу» 1. Хоть доказательство громоздкое, но рассуждения во всех случаях однотипны и просты. 2. По вопросу о существовании треугольника с длиной высоты, кратной длине основания. Когда я ставил об этом вопрос (на предмет обобщения задачи), то, конечно, имел в виду («но забыл упомянуть») разрешимость уравнения (8) с коэффициентами в правой части 1,2,4,… Оно соответствует треугольникам с дополнительным свойством: рассматриваемая высота разбивает этот треугольник на два целочисленных треугольника. Тогда все встает на свои места. 3. Тема с треугольниками также неисчерпаема, как и многое другое. Задачи не сложные, инструмент понятен и бесхитростен. Может порадовать только завершение процесса. Но радость сильно омрачается при осознании того, что намного более значимые, красивые, задачи с уникальными решениями необоснованно опять отодвинуты с оформлением. |
16.12.2012 23:23 Дата регистрации: 13 лет назад Посты: 780 | ... Да, действительно просто. При первом взгляде на систему в утверждении 2 показалось что нужно горы свернуть чтобы доказать ее неразрешимость, но при попытке наступил просто настоящий шок когда все доказательство уложилось в одну строчку . Неразрешимость системы (20) все же не так очевидна, хотя и справедлива. Доказательство очень хорошее, интересное и поучительное и, что действительно поражает, пришло сходу (при просмотре темы) автору (Yog-urt) как нечто элементарное. Насчет того, что задача не интересна, я не соглашусь. Лично у меня много сомнений было насчет несуществования (особенно после того как нашлись различные примеры целочисленных треугольников с целочисленной высотой в которых основание было кратно высоте, а также примеры в которых высота была кратна основанию и все с разными отношениями). Да и потом задача (точнее разные к ней подходы) принесла больше дюжины различных типов уравнений и систем неразрешимых в натуральных числах или имеющих особые решения. Так или иначе, поздравляю уважаемого Yog-urt-а, а также всех участников темы с закрытием вопроса! |
17.12.2012 01:33 Дата регистрации: 12 лет назад Посты: 176 | Закрыть нельзя продолжать!!! Большое спасибо, уважаемый Антон (Anton25), за внимание, оптимизм, интерес и устремленность к знаниям. Это все не только стимулирует (в хорошем смысле), но и обнадеживает… На сайт, где предварительно было опубликовано доказательство с обнаруженной вами ошибкой, я сообщил о решении этой задачи на нашем форуме - свое пообещал при наличии времени систематизировать и представить, а по поводу вашего отметил что «Anton25 свое решение разместил в абсолютно кондиционном виде». Ваше решение логично и математически выдержано. Когда я просматриваю его ход, то удивляюсь тому, откуда вы знали эту дорогу. Ведь по всем направлениям были кучи дорожек с десятками вариантов дискриминантов, которые представлялись квадратами натуральных чисел, и все вели в никуда. Относительно завершения… Со временем я стал осторожничать и все чаще прибегаю к сослагательным наклонениям (например, вместо поеду – планирую поехать). Смотрю на формулу (20) и начинаю сомневаться, а действительно ли разность квадратов нечетных чисел делится на 8 или меня уже повело. Если делится, то почему в доказательстве утверждения 1 должно быть больше полстрочки? Вот и мучаюсь сомнениями… Тем не менее, с радостью принимаю и присоединяюсь к поздравлениям по поводу закрытия вопроса. --------------------------------- PS. Маленький комментарий по поводу «сходу» и «элементарное». Не совсем так. До выхода с тем сообщением я, конечно, проработал задачу и нашел простое (по сути) доказательство, В то же время я понимал, что его систематизация и доходчивое изложение с кучей случаев, переменных, индексов и степеней потребует значительных усилий. Так и получилось. Один вариант «с упрощением» (который я уже раньше «проходил») как-то вернулся (в ночь перед перелетом) как «озарение»... Как говорил один мой добрый учитель (когда ошибался), «и на старуху бывает проруха…». С пожеланиями всем участникам форума здоровья, счастья, удачи!!! С наступающими праздниками! Yog-urt Редактировалось 3 раз(а). Последний 17.12.2012 03:03. |
18.12.2012 13:09 Дата регистрации: 17 лет назад Посты: 97 | Так решена ли исходная задача? В сообщении anton25 приведен пример, в котором длины сторон треугольника имеют значения: $a=3, b=25, c=26,$ а высота $h=24$. Это тупоугольный треугольник, и высота опущена не на сторону $a$, а на ее продолжение. Да, получается два Пифагоровых треугольника: $(7,24,25)$ и $(10,24,26)$, но никакого деления стороны (а не ее продолжения) на целочисленные отрезки нет. Хотя само по себе решение оригинальное, но задачи с иными исходными условиями. |
18.12.2012 15:01 Дата регистрации: 14 лет назад Посты: 459 | ... Скачать Serpinskii-V-Pifagorovy-treugolniki.djvu с WebFile.RU Может кто-то не читал. |
22.12.2012 03:30 Дата регистрации: 12 лет назад Посты: 176 | Доказательство (которое пришло само по себе) Доказательство несуществования треугольника свелось к доказательству неразрешимости двух систем уравнений: (10) $ (x^2-v^2)= 2yu, (y^2+u^2)=xv $, (11) $ (x^2-v^2)= yu, (y^2+u^2)=2xv $. При этом будем использовать Утверждение 1. Система уравнений $ 4q^2+w^2=d^2, q^2-w^2=e^2. $ неразрешима в натуральных числах. Доказательство неразрешимости (10), (11). Используя алгебраическое тождество и (10), получим систему уравнений $ 4(xv)^2+(x^2-v^2)^2=(x^2+v^2)^2, (xv)^2-(x^2-v^2)^2=(y^2-u^2)^2, $ которая, как следует из утверждения 1, неразрешима в натуральных числах. Следовательно, и система (10) неразрешима в натуральных числах. Аналогично из (11) получим систему уравнений $ 4(xv)^2+(x^2-v^2)^2=(x^2+u^2)^2, (xv)^2-(x^2-v^2)^2=[(y^2-u^2)/2]^2, $ в которой в силу нечетности $ y, u $ правая часть последнего уравнения является квадратом натурального числа. В силу утверждения 1 данная система уравнений неразрешима в натуральных числах. Следовательно, и система (11) неразрешима в натуральных числах. |
22.12.2012 19:58 Дата регистрации: 13 лет назад Посты: 780 | ... Интересный ход! Только нужно отметить, что $x\nev$ (это, конечно, очевидно, но чисто для формальности), иначе новые системы имели бы бесконечно много натуральных решений. Насчет утверждения 1 Ну не знаю. Может быть я в упор чего-то не замечаю (со мной бывает), но у меня не выходит в строчку, а скорее наоборот относительно громоздкое доказательство неразрешимости получается (правда я схитрил и использовал принцип из известной анекдота о вытаскивании гвоздя, наполовину забитого в стену: "... забьем гвоздь в стену до конца и воспользуемся решением предыдущей задачи", т.е. я показал, что разрешимость этой системы равносильна разрешимости уравнения $x^4+3x^2y^2+y^4=p^2$ и сослался на то, что уже доказывал ). Конечно, если $w$ и $d$ - нечетные числа, то все очевидно и делимость на 8 прокатывает, но каким образом тогда отбрасывается случай $w$ - четное, $q$ - нечетное? Далее, Исходная задача: Здесь нет ни слова о кратности и пример относится уже к другой задаче. Если же Вам кажется, что исходная задача решалась исключительно для тупоугольных треугольников, то Вы невнимательно смотрели тему. У уважаемого Yog-urt-а случаю треугольников с острыми углами при основании отвечает соотношение (8), а случаю треугольников с тупым углом при основании - соотношение (9) (см. пост "А время гонит лошадей (А.С. Пушкин)" стр.3 темы) и эти два соотношения, как отмечает Yog-urt, эквивалентны с точностью до обозначений. Я опирался на формулы для площади треугольника, которые всегда имеют один и тот же вид какой бы ни был треугольник. P.S. Большое спасибо за ссылку, уважаемый Ishan. P.S.2 У меня вчера свет на 6 часов вырубился (серьезно), правы оказались Майя! Поздравляю с новой эпохой всех переживших конец света! |
22.12.2012 23:16 Дата регистрации: 12 лет назад Посты: 176 | Детали несуществующего треугольника Поскольку 0 не натуральное число, то этот случай я и не оговаривал. Раз разность квадратов чисел в первом уравнении делится на 8, то $q$ – нечетным быть не может. Наверное, у всех такое бывает. И даже, когда уверен и сотню раз проверил, все равно есть сомнения, пока другие не посмотрят со своей стороны. Поэтому, чтобы доказательство было не в виде путеводителя, я его в следующем сообщении привожу полностью. Тем более, что я его подготовил в связи со своим обещанием представить на форум, где эта задача была поставлена ранее. Хотя оно уже предельно простое, у меня остается мысль о том, что его можно еще проще провести без представления чисел пифагоровыми тройками. Конечно, я ничего не доказываю, по-видимому, запущенный вычислительный процесс сам отрабатывает в фоновом режиме. Это к сожалению, потому что такие процессы нужно направлять на решение полезных задач. И еще – в связи с полезными и интересными советами, которые высказали Anton25 и Museum, я посмотрел вопрос о построении целочисленных треугольников на целочисленной решетке. Действительно, любой треугольник, расположенный одной стороной на линии сетки, можно повернуть и растянуть его так, что он займет «общее положение», (т. е. никакая сторона не будет лежать на линии сетки). Разумеется, есть такие треугольники, которые нельзя, только повернув, разместить в «общее положение» (например, со сторонами 3, 4, 5). А наоборот, можно ли найти такой треугольник, расположенный в общем положении, который, только повернув (даже не масштабируя), нельзя уложить на линию сетки? Оказалось, что… |
22.12.2012 23:23 Дата регистрации: 12 лет назад Посты: 176 | Доказательство Условие существования треугольника определяется решением следующей системы уравнений в натуральных числах: $ (1) \;\;\;\;\; a^2 =c^2+z_1^2, $ $ (2) \;\;\;\;\; b^2 =c^2+z_2^2 ,$ $ (3) \;\;\;\;\;z_1 \pm z_2=с. $ В доказательстве будет использоваться следующее Утверждение 1. Система уравнений $ (4) \;\;\;\;\;4q^2+w^2=d^2, \;\; q^2-w^2=e^2 $ неразрешима в натуральных числах. Это утверждение достаточно доказать для несократимых чисел $ q,w, $ иначе их можно сократить и придти к такому же уравнению с несократимыми числами. Но если $ q,w $ несократимы, то уравнения в (4) несовместимы, так из первого следует, что q - четно, а из второго, что нечетно. # Далее натуральность рассматриваемых чисел подразумевается без специальных оговорок. Доказательство неразрешимости системы уравнений (1)-(3). Будем считать, что каждое из уравнений (1)-(3) несократимо, поскольку, если сократимо хотя бы одно из них, то сократимы с этим же коэффициентом все уравнения (1)-(3). При этом их можно сократить и получить аналогичные уравнения с меньшими значениями неизвестных чисел. Предположим, что уравнения (1)-(3) разрешимы. Тогда, подставляя (3) в (1) и (2), имеем $ (5) \;\;\;\;\; a^2 –z_2^2=2z_1(z_1\pm z_2) $ $ (6) \;\;\;\;\; b^2 –z_1^2=2z_2(z_1\pm z_2) $ Поскольку левые и правые части (5), (6) делятся на 8, и либо $z_1$ , либо $z_2 $ нечетно, то число $z_1\pm z_2=c $ . четно. С учетом четности числа c запишем условия выполнимости уравнений (1), (2) через параметры пифагоровых троек: $ c=2m_1n_1,\;\; z_1=m_1^2-n_1^2 $ $ c=2m_2n_2,\;\; z_2=m_2^2-n_2^2 $ При этом в соответствии с (3) $ (7) \;\;\;\;\; (m_1^2-n_1^2) \pm (m_2^2-n_2^2) =2m_1n_1$ Общее представление двух пар чисел $ (m_1,n_1) $ и $ (m_2,n_2) $ , произведение каждой из которых равно $ c/2, $ имеет вид $ m_1=xy, \;\; n_1=uv;\;\;\;\; m_2=xu, \;\; n_2=yv. $ Подставляя эти значения в (7), получим $ ((xy)^2- (uv)^2) \pm ((xu)^2-(yv)^2)=2xyuv, $ Из последних соотношений при разложении их левых частей на множители получим два уравнения: $ (8) \;\;\;\;\; (x^2-v^2)(y^2+u^2)=2xyuv. $ $ (9) \;\;\;\;\; (x^2+v^2)(y^2-u^2)=2xyuv. $ Как установлено, для существования треугольника с требуемыми свойствами необходимо и достаточно существование решения данных уравнений в натуральных числах $ x, y, u, v. $ Поскольку эти уравнения эквивалентны с точностью до обозначения переменных, то вопрос об их разрешимости рассмотрим лишь для уравнения (8). При этом можно считать, что числа $ x, v $ и $ y, u $ в (8) попарно несократимы, иначе их можно сократить и получить такое же уравнение в несократимом виде. При этом условии, как легко видеть, сомножители в левой части уравнения (8) также несократимы. С учетом рассмотренного имеем следующие свойства чисел в уравнении (8): а) все делители числа $ (x^2-v^2) $ являются делителями числа $ 2yu $ все делители числа $ yu $ являются делителями числа $ (x^2-v^2); $ б) все делители числа $ (y^2+u^2) $ являются делителями числа $ 2xv, $ все делители числа $ xv $ являются делителями числа $ (y^2+u^2); $ в) только одно из чисел $ (x^2-v^2), (y^2+u^2) $ является четным. Эти утверждения позволяют представить уравнение (8) в виде 2-х вариантов системы двух уравнений: $ (10) \;\;\;\;\; (x^2-v^2)= 2yu,\;\; (y^2+u^2)=xv, $ $ (11) \;\;\;\;\; (x^2-v^2)= yu,\;\; (y^2+u^2)=2xv. $ Используя алгебраическое тождество и уравнения (10), получим систему уравнений $ 4(xv)^2+(x^2-v^2)^2=(x^2+v^2)^2, (xv)^2-(x^2-v^2)^2=(y^2-u^2)^2, $ которая, как следует из утверждения 1, неразрешима в натуральных числах. Следовательно, и система (10) неразрешима в натуральных числах. Аналогично из (11) получим систему уравнений $ 4(xv)^2+(x^2-v^2)^2=(x^2+u^2)^2, (xv)^2-(x^2-v^2)^2=[(y^2-u^2)/2]^2, $ в которой в силу нечетности $ y, u $ правая часть последнего уравнения является квадратом натурального числа. В силу утверждения 1 данная система уравнений неразрешима в натуральных числах. Следовательно, и система (11) неразрешима в натуральных числах. Из неразрешимости систем уравнений (10) и (11) следует неразрешимость уравнений (1)-(3) и несуществование искомого треугольника. # |
22.12.2012 23:43 Дата регистрации: 13 лет назад Посты: 780 | Совсем запутался я Разность квадратов будет делиться на 8 если заведомо положить, что $w$ и $d$ - нечетные числа, но это не обязательно. Почему не рассматривается случай когда $w$ оказывается четным и при этом не нарушается взаимная простота $w$ и $q$, например $q=3$, $w=8$, т.е. $4\cdot3^2+8^2=10^2$? В этом случае нечетность $q$, которая следует из второго уравнения сохраняется и противоречия не выходит Редактировалось 2 раз(а). Последний 22.12.2012 23:47. |
23.12.2012 00:46 Дата регистрации: 12 лет назад Посты: 176 | Как раз тот случай А я-то думаю, чего здесь непонятно? Конечно, эта посылка (о том, что из 1-го уравнения вытекает четность q) не верна и док-во утверждения 1 требует коррекции. А жаль, это был лучший из всех вариантов. Спасибо! |
23.12.2012 13:00 Дата регистрации: 15 лет назад Посты: 160 | Примеры делимости Уважаемые господа, Привожу примеры целочисленности значений сторон треугольника и его высоты и делимости строны высотой на целочисленные отрезки: 1. стороны:$a=35, b=75, c=100$ высота $h=21$ Высота $h$ делит сторону $c$ на отрезки $k=28, m=72.$ 2. стороны:$a=55, b=183, c=224$ высота $h=33$ Высота $h$ делит сторону $c$ на отрезки $k=44, m=180.$ Значения высот $h$ и отрезков $k, m$ содержат общий сомножитель, но отрезки не кратны высоте. Значения высот $h$ и сторон $a, b$ содержат общий сомножитель, но стороны не кратны высоте. Редактировалось 1 раз(а). Последний 23.12.2012 13:19. |
23.12.2012 13:58 Дата регистрации: 14 лет назад Посты: 459 | ну и что здесь такого Подобные примеры Вам неоднократно приводили. Может быть Вам, как эксперту, видна красивая взаимосвязь простых чисел, скрытая в соотношении сторон и высот. Поясните для простых смертных подробнее, пожалуйста. Заранее благодарен. |
26.12.2012 12:32 Дата регистрации: 12 лет назад Посты: 176 | Доказательство неразрешимости системы уравнений Поправил и размещаю доказательство утверждения, которое выделил из задачи о треугольнике. Во-первых, это утверждение и его доказательство имеют самостоятельный интерес, во-вторых, с использованием утверждения задача о треугольнике (эта и подобные) решается «в лет», в-третьих, доказательство допускает простые обобщения на ряд других систем уравнений (есть простые и интересные примеры). Для исправления некорректности, которую отметил в моем предыдущем варианте Anton25, потребовалось рассмотреть упущенный в предыдущем варианте важный случай. Приводимое ниже доказательство использует стандартный подход, который я приводил в этой теме ранее. Прошу проверить корректность рассуждений. Утверждение 1. Система уравнений $ (1) \;\;\;\;\;4q^2+w^2=d^2, \;\; q^2-w^2=e^2 $ неразрешима в натуральных числах. Доказательство Предположим противное (числа $ q, w, d, e $ – удовлетворяют уравнению (1)), причем, не нарушая общности, будем считать, что $ q, w $ и $ d, e – $ попарно несократимые числа и, кроме того, что данный набор решений из всех возможных наборов решений содержит наименьшее число $ w. $ Из второго уравнения следует, что $ q $ – нечетное число. При этом с учетом того, что разность квадратов нечетных чисел делится на 8, из первого уравнения можно заключить, что $ w$ и $ d $ – четные числа. Подставляя в (1) $ w = 2r , d = 2s $ получим эквивалентную систему уравнений: $ (2) \;\;\;\;\; q^2+r^2=s^2 , \;\; q^2 – 4r^2=e^2 , $ где $ r $ – четно, а $ s, e $ – нечетны. Представим числа $ q, r $ через пифагоровы тройки: $ (3) \;\;\;\;\; q=m_1^2 – n_1^2= m_2^2 + n_2^2 , \;\;\;\;\;r= 2m_1 n_1= m_2 n_2, $ где $ m_1, n_1 $ и $ m_ 2, n_2 $ попарно несократимы. Пусть $ m_1=s_1s_2 , \;\; n_1=t_1t_2 , \;\; m_2=2s_1t_1 , \;\; n_2=s_2t_2 , $ (это общее c точностью до обозначения чисел представление попарно несократимых пар чисел с заданными для пар произведениями). С учетом этого из (3) $ (4) \;\;\;\;\; s_1^2s_2^2-t_1^2t_2^2=4s_1^2t_1^2+s_2^2t_2^2\;\;\;\;\; r=2s_1s_2t_1t_2, $ и после преобразований $ (5) \;\;\;\;\; s_1^2 (s_2^2-4 t_1^2)= t_2^2(s_2^2+ t_1^2) . $ Возможны два случая. 1. Если $ s_2^2-4 t_1^2 $ и $ s_2^2+ t_1^2 $ сократимы (например, общий делитель $ p$), то, очевидно, $ p=5. $ В этом случае из (5) получаем уравнения $ 5 s_1^2 = s_2^2+ t_1^2 , \;\; 5 t_2^2= s_2^2-4 t_1^2 , $ которые линейными преобразованиями приводятся к виду $ (6) \;\;\;\;\; 4s_1^2+ t_2^2= s_2^2, \;\; s_1^2- t_2^2= t_1^2. $ Последние уравнения эквивалентны исходной системе уравнений (1), при этом $ t_2 \sim w $ и $ t_2 < w, $ что противоречит допущению (о минимальности $ w$) и свидетельствует о неразрешимости системы уравнений (1) в данном случае. 2. Если $ s_2^2-4 t_1^2 $ и $ s_2^2+ t_1^2 $ несократимы, то $ s_1^2 = s_2^2+ t_1^2 , \;\; t_2^2= s_2^2-4 t_1^2 , $ т. е. также получена система уравнений, эквивалентная (2) и исходной системе, при этом $ 2t_1 \sim w $ и $ 2t_1 < w. $ Таким образом, система уравнений (1) неразрешима, ч. т. д. # Редактировалось 1 раз(а). Последний 26.12.2012 13:08. |
26.12.2012 19:37 Дата регистрации: 11 лет назад Посты: 3 | Задачку решите плииз В параллелограмме ABCD AB=4см, AD=7см, уголA=60градусов. Диагонали параллелограмма пересекаются в точке O, отрезок OM перпендикулярен плоскости ABC и OM=5 см. Определите длины отрезков MC и MD Тут ужасные числа получается, там где с дробью огромной получается округляйте Спасибо за внимание |
26.12.2012 19:40 Дата регистрации: 15 лет назад Посты: 13 190 | А можно не округлять, а то я не умею? |
Copyright © 2000−2023 MathForum.Ru & MMOnline.Ru Разработка, поддержка и дизайн — MMForce.Net |