#0
by Ненавижу 1С
Кривая второй степени задается уравнением A*X^2+B*X*Y+C*Y^2+D*X+E*Y+F=0, где все коэффициенты рациональны Есть ли алгоритм (или формула) который отвечает на вопрос есть ли рациональные точки (точки с рациональными координатами) на этой кривой? Ну и желательно алгоритм нахождения хотя бы одной такой точки
#4
by DirecTwiX
>рациональные точки Хотя бы одна всегда будет :) Или ты имел в виде действительные??
#6
by Rie
Мысль вслух - кривая второго порядка имеет либо 0, либо бесконечное множество рациональных точек. Следующая мысль вслух - привести уравнение к каноническому виду. (Это не решение, это так, первое, что на ум пришло).
#7
by Ненавижу 1С
насчет числа точек - это верно (ну кроме вырожденных случаев, но они не интересны)
#8
by DirecTwiX
Если не брать вырожденный эллипс, то рациональные всегда будут. Кривая не может состоять только из иррациональных точек
#11
by DirecTwiX
Да, похоже я погорячился) Но всё равно что-то мне подсказывает, что у гладкой кривой бесконечное множество рациональных точек
#18
by sda553
Лень все решать, но вообщем заменой вида R=G*X+E*Y где G и E рациональны, а значит и R рационально. Так же наоборот. Такой хаменой сводим уравнение к квадратному A*R^2+B*R+C=0 И дальше наличие рациональногь корня сводится к существованию раионального дискриминанта. Затем очевидно, что раз R рационально, то и любые X Y что R=G*X+E*Y то же рациональны.
#21
by Avganec
это решаемая задача. Надо всего лишь немного подумать, вывести формулу и все. В рамках математики на поле действительных чисел она разрешима.
#22
by Avganec
может быть в 1с это и не имеет никакой применимости, но что решения этой задачи необходим всего лишь математический аппарат, а точнее извлечение квадратного корня.
#27
by sda553
Там немного другое не такое соотношение получится, что то типа A=куча всякой и фигни и в частности sqrtG E A у нас рационально по условию, казалос б и всякая фигня будет рациональна, тут скользки момент Ну то есть кореь из рационального не всегда рационален, но если мы извлекаем корень из чего то и получили рациональное, то и то из чего извлекали рационально
#28
by fedoss
да и не любое уравнение можно свести к виду A*R^2+B*R+C=0, так что сведение к такому виду с рациональными коэффициэнтами - очень частный случай
#30
by SUA
можно упростить формулу в линейным переносом центра координат на рациональные величины до AXX+BXY+CYY+D=0 c рациональными коэффициентами далее, проверить есть ли рац. точка при Y=0 (просто - квадрат ли -D/А) далее, поскольку Y=рациональное, можно обозначить X/Y=1/R получим XX(A+RB+RRC)=-D RRC+RB+(A+D/XX)=0 отсюда уже дискриминант должен быть квадратом рационального как-то так...
#36
by Avganec
решается просто. A*X^2+B*X*Y+C*Y^2+D*X+E*Y+F=0 сначала решаете это относительно одной переменной, то есть представляя, что х - переменная, а остальное параметры. первое преобразование: A*X^2 + X*(B*Y+D) + C*Y^2 + E*Y + F = 0 вычисляем дискриминант: D = (B*Y+D)^2 - 4*A*(C*Y^2+E*Y+F) вспоминаем, что дискриминант больше или равен нулю и получаем неравенство (B*Y+D)^2 - 4*A*(C*Y^2+E*Y+F) >= 0 решаем его, получаем отрезок решений для Y, а потом уже и промежуток решений для X.
#39
by Ненавижу 1С
ну а где решение то? ну даже проще, найдите по вашему алгоритму решение для X^2+Y^2=Z, где Z параметр, можно для Z=3, для начала
#43
by Avganec
решение дискриминанта уже ответ на возможность существования решения. Если дескриминант не имеет решений на поле действительных чисел, тогда и получается невозможность существования решений вообще
#47
by Avganec
хорошо. x^2 + y^2 = 3 x^2 + y^2 - 3 = 0 D = 0^2 - 4*(y^2 - 3) = 12 -4 * y^2 D >= 0 12 - 4*y^2 >= 0 3 >= y^2 y^2 <= 3 y1=sqrt y2=-sqrt есть наше решение будет лежать на промежутке от -3 до 3 возвращаемся назад: x1= sqrt(12-4*y^2)/2 x2= -sqrt(12-4*y^2)/2 все возможные решения будут равны выше, и при это y может меняться только от -3 до 3. все. это устроит?
#50
by Avganec
там только опечатка, не от -3 и до 3, а от -sqrt и до sqrt. а решений будет целая куча. если быть точным, то окружность с радиусом sqrt и центром в начале координат.
#54
by Ненавижу 1С
в задаче требовалось в поле рациональных чисел, а "поля целых чисел" вообще не существует как понятия
#55
by Avganec
вообще-то существует. но если четко необходимо на поле рациональных чисел, то тогда необходимо условие, чтобы решение квадратного неравенства было рационально - вот и все.
#56
by Ненавижу 1С
1. вообще то нет, это я тебе как математик заявляю 2. ну так что с примером, решение будет?
#57
by Avganec
1. как математик - заявляю - существует - поле целых чисел это поле натуральных чисел, ноль и поле натуральных чисел отображенное симметрично относительно нуля. в предмете числовые системы такое чудо разбирается. 2. так как единственный вариант решения y^2 <= 3 в поле рациональных чисел это 1, то получаем, что 12 - 4*y^2 = 8, а sqrt в поле рациональных чисел не существует - вот ответ, с корректировкой на поле рациональных чисел, значит не имеет.
#60
by Ненавижу 1С
1. только это не поле, это кольцо, коммутативное, целостное, но не поле )) 2. >> так как единственный вариант решения y^2 <= 3 в поле рациональных чисел это 1 рациональных чисел там гораздо-гораздо больше )) вы опять с целыми путаете
#61
by SUA
дальше уменьшение количества переменных до одной конкретно, XX+YY-3=0 XX(1+RR)=3 1+RR=3/XX RR=3/XX-1 то есть, перешли к проверке является ли 3/Х^2-1 полным квадратом для рационального X дальше уже общего решения ЕМНИП нет
#62
by Avganec
1. вот тут может и соглашусь, так как не помню этого момента. 2. согласен - опять путаю. тогда надо подумать над выходом из этого момента.
#64
by acsent
Задача о существовании хотя бы одной рациональной точки на кривой второй степени оказалась очень трудной. Первые нетривиальные продвижения в ее решении получили индийские математики Брахмагупта (VII век) и Бхаскара (XII век), а окончательный ответ был найден лишь в 1768 году французским математиком Ж.-Л. Лагранжем (1736-1813).
Тэги: Математика и алгоритмы
Ответить:
Комментарии доступны только авторизированным пользователям
Похожие вопросы 1С
В этой группе 1С
- Щелчок по ячейке отчета -> Открытие документа
- Создание макета в режиме предприятия
- СКД : как правильно вытащить реквизит?
- IBM DB-2 слишком уж большая таблица V81C_TempSpace, как быть
- СКД Дополнительные колонки в итогах таблицы
- Как программно прочитать комментарий к обработке?
- Как в ICQ для WinMobile отключить PUSH уведомления??
- СКД как обратится к реквизиту вычисляемого поля через точку?
- изменение документа в закрытом периоде
- Чем просматривать XML большого размера.
- 1с 8.2 УТ. Проблема со свободными остатками в подборе.
- Перенос партий ГТД из ТиС 7.7 в УТ 10.3
- Выгрузка из 1С в шаблон LibreOffice
- Управляемое приложение. Открыть форму обработки, заполнив реквизиты
- Возврат давальческого сырья поставщику
- не закрывается 90, 91 счет автоматически
- Итоги по столбцам в макете отчета
- Перенос данных из УСН 7.7 в БП2.0
- Тормозит терминальная сессия 1С
- v8: Оценка производительности БП 3.0 по ADPEX