LINUX.ORG.RU
решено ФорумTalks

[нужен могз] Эллипс


0

1

Собственно придумал много всего уже, а вот доказать, что на эллипсе, что заданным ax^2+by^2=c , где a, b,c - рациональные, есть рациональная точка - не могу. Помоги, умный ЛОР, а то мозг уже не думает. Спасибо заранее :)

Ничего не понял. Нужно доказать, что любая точка, принадлежащая эллипсу имеет рациональные координаты?

Raving_Zealot ★★
()
Ответ на: комментарий от Raving_Zealot

Нет, нужно доказать. что такая существует, хоть одна.

thelonelyisland ★★★
() автор топика
	m^2 - рациональное число 
	m+n - рациональное число 
	m*n - рациональное число 

	при условии, что m и n являются рациональными числами

		следовательно, m*n+n^2 - рациональное число 
CYB3R ★★★★★
()
Ответ на: комментарий от Raving_Zealot

Нужно доказать, что любая точка, принадлежащая эллипсу, имеет рациональные координаты?

Это было бы неправдой.

anonymfus ★★★★
()

Собственно придумал много всего уже, а вот доказать, что на эллипсе, что заданным ax^2+by^2=c , где a, b,c - рациональные, есть рациональная точка - не могу.

Это потому, что утверждение неверно.

dikiy ★★☆☆☆
()
Ответ на: комментарий от thelonelyisland

Тред перечитай.

я тебе еще раз повторяю, существуют такие эллиптические кривые, на которых нет _ни одной_ рациональной точки.

dikiy ★★☆☆☆
()
Ответ на: комментарий от thelonelyisland

С рациональными коэффициентами? Пример в студию.

x^2+y^2=3

доказать можно с помощью аргументов чет-нечет

dikiy ★★☆☆☆
()

Преобразовал задачу до:

Дано натуральные a и b
Доказать, что найдутся целые x, y и z, что:
ax² + by² = z²

segfault ★★★★★
()
Ответ на: комментарий от dikiy

x^2+y^2=3

короче, предполагаем, что x=a/b, y=c/d и более не сократимы;

переводим в уравнение

x^2+y^2=3z^2 (это уже другие переменные: x=ad, y=cb, z=bd)

показываем, что x,y должны по крайней мере делится на три с помощью z=sqrt((x^2+y^2)/3)

отсюда x=3k, y=3p => 3(k^2+p^2)=z^2

ну отсюда показываем, что z должно делится на три.

Получаем что ad, cb, bd делятся на три => либо a/b сократимо, либо c/d сократимо. мы пришли к противоречию.

</thread>

dikiy ★★☆☆☆
()
Ответ на: комментарий от segfault

А как из того, что x²+y² кратно 3 следует, что x и y кратны 3 по отдельности?

представь x=3k, x=3k+1, x=3k+2. возведи в квадрат, посмотри что получается. попробуй сложить пару чисел по типу:

(3k)^2+(3k+1)^2

dikiy ★★☆☆☆
()
Ответ на: комментарий от thelonelyisland

В общем, квадрат натурального числа дает от деления на 3 остатки 1 или 0. Таким образом, сумма двух квадратов дает 0, 1 (в 2 случаях) или 2. Ноль - когда оба по нулю, т.е. когда оба кратны 3.

segfault ★★★★★
()
Ответ на: комментарий от dikiy

Спасибо, кстати. Пошел думать над условием когда она есть. :)

thelonelyisland ★★★
() автор топика
Ответ на: комментарий от dikiy

я тебе еще раз повторяю, существуют такие эллиптические кривые, на которых нет _ни одной_ рациональной точки.

Всё замечательно, кроме одного: эллипс и эллиптическая кривая — разные вещи. А так всё правильно.

Miguel ★★★★★
()
Ответ на: комментарий от Miguel

я тебе еще раз повторяю, существуют такие эллиптические кривые, на которых нет _ни одной_ рациональной точки.

Всё замечательно, кроме одного: эллипс и эллиптическая кривая — разные вещи. А так всё правильно.

Вот очень хочеться пять копеек вставить, да?

PS эллипс есть эллиптическая кривая.

dikiy ★★☆☆☆
()
Ответ на: комментарий от dikiy

Вот очень хочеться пять копеек вставить, да?

Ну да. Algebra nazi, всё такое.

PS эллипс есть эллиптическая кривая.

Нет.

Miguel ★★★★★
()
Ответ на: комментарий от Miguel

PS эллипс есть эллиптическая кривая.

Нет.

таки ты прав. /me закурил вики. Я таки путал кривую второго порядка с эллиптической кривой.

dikiy ★★☆☆☆
()

Ничё не понял.
Эллипсы не нужны.

//Ну если только разрабам презервативов.

amorpher ★★★★★
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.