Для плоская кривая C и заданная фиксированная точка О , то уравнение педали кривой - это отношение между р и п куда р это расстояние от О в точку на C и п перпендикулярное расстояние от О к касательная линия к C в точку. Смысл О называется точка педали и ценности р и п иногда называют координаты педали точки относительно кривой и точки педали. Также полезно измерить расстояние до О к нормальному п c { displaystyle p_ {c}} (в контрпедальная координата ), хотя это не самостоятельная величина и относится к ( р , п ) { Displaystyle (г, р)} в качестве п c := р 2 − п 2 { displaystyle p_ {c}: = { sqrt {r ^ {2} -p ^ {2}}}} .
Некоторые кривые имеют особенно простые уравнения педали, и знание уравнения педали кривой может упростить вычисление некоторых ее свойств, таких как кривизна. Эти координаты также хорошо подходят для решения определенных типов силовых задач в классическая механика и небесная механика .
Уравнения
Декартовы координаты За C приведены в прямоугольные координаты к ж (Икс , у ) = 0, а при О за начало отсчета, координаты педали точки (Икс , у ) даются:[1]
р = Икс 2 + у 2 { displaystyle r = { sqrt {x ^ {2} + y ^ {2}}}} п = Икс ∂ ж ∂ Икс + у ∂ ж ∂ у ( ∂ ж ∂ Икс ) 2 + ( ∂ ж ∂ у ) 2 . { displaystyle p = { frac {x { frac { partial f} { partial x}} + y { frac { partial f} { partial y}}} { sqrt { left ({ frac { partial f} { partial x}} right) ^ {2} + left ({ frac { partial f} { partial y}} right) ^ {2}}}}.} Уравнение педали можно найти, исключив Икс и у из этих уравнений и уравнения кривой.
Выражение для п можно упростить, если уравнение кривой записать в однородные координаты введя переменную z , так что уравнение кривой имеет вид грамм (Икс , у , z ) = 0. Значение п тогда дается[2]
п = ∂ грамм ∂ z ( ∂ грамм ∂ Икс ) 2 + ( ∂ грамм ∂ у ) 2 { displaystyle p = { frac { frac { partial g} { partial z}} { sqrt { left ({ frac { partial g} { partial x}} right) ^ {2} + left ({ frac { partial g} { partial y}} right) ^ {2}}}}} где результат оценивается при z =1
Полярные координаты За C приведены в полярные координаты к р = ж (θ), то
п = р грех ϕ { Displaystyle р = г грех фи} куда ϕ { displaystyle phi} это полярный тангенциальный угол данный
р = d р d θ загар ϕ . { displaystyle r = { frac {dr} {d theta}} tan phi.} Уравнение педали можно найти, исключив θ из этих уравнений.[3]
В качестве альтернативы, из вышесказанного мы можем найти, что
| d р d θ | = р п c п , { displaystyle left | { frac {dr} {d theta}} right | = { frac {rp_ {c}} {p}},} куда п c := р 2 − п 2 { displaystyle p_ {c}: = { sqrt {r ^ {2} -p ^ {2}}}} - "контрапедальная" координата, т.е. расстояние до нормали. Это означает, что если кривая удовлетворяет автономному дифференциальному уравнению в полярных координатах вида:
ж ( р , | d р d θ | ) = 0 , { displaystyle f left (r, left | { frac {dr} {d theta}} right | right) = 0,} его педальное уравнение становится
ж ( р , р п c п ) = 0. { displaystyle f left (r, { frac {rp_ {c}} {p}} right) = 0.} Пример В качестве примера возьмем логарифмическую спираль с углом спирали α:
р = а е потому что α грех α θ . { displaystyle r = ae ^ {{ frac { cos alpha} { sin alpha}} theta}.} Дифференцируя по θ { displaystyle theta} мы получаем
d р d θ = потому что α грех α а е потому что α грех α θ = потому что α грех α р , { displaystyle { frac {dr} {d theta}} = { frac { cos alpha} { sin alpha}} ae ^ {{ frac { cos alpha} { sin alpha} } theta} = { frac { cos alpha} { sin alpha}} r,} следовательно
| d р d θ | = | потому что α грех α | р , { displaystyle left | { frac {dr} {d theta}} right | = left | { frac { cos alpha} { sin alpha}} right | r,} и таким образом в координатах педали мы получаем
р п п c = | потому что α грех α | р , ⇒ | грех α | п c = | потому что α | п , { displaystyle { frac {r} {p}} p_ {c} = left | { frac { cos alpha} { sin alpha}} right | r, qquad Rightarrow qquad | грех альфа | p_ {c} = | cos alpha | p,} или используя тот факт, что п c 2 = р 2 − п 2 { displaystyle p_ {c} ^ {2} = r ^ {2} -p ^ {2}} мы получаем
п = | грех α | р . { Displaystyle р = | грех альфа | г.} Этот подход можно обобщить для включения автономных дифференциальных уравнений любого порядка следующим образом:[4] Кривая C который является решением п автономное дифференциальное уравнение ( п ≥ 1 { Displaystyle п geq 1} ) в полярных координатах
ж ( р , | р θ ′ | , р θ ″ , | р θ ‴ | … , р θ ( 2 j ) , | р θ ( 2 j + 1 ) | , … , р θ ( п ) ) = 0 , { displaystyle f left (r, | r '_ { theta} |, r' '_ { theta}, | r' '' _ { theta} | dots, r _ { theta} ^ {( 2j)}, | r _ { theta} ^ {(2j + 1)} |, dots, r _ { theta} ^ {(n)} right) = 0,} это кривая педали кривой, заданной в координатах педали
ж ( п , п c , п c п c ′ , п c ( п c п c ′ ) ′ , … , ( п c ∂ п ) п п ) = 0 , { displaystyle f (p, p_ {c}, p_ {c} p_ {c} ', p_ {c} (p_ {c} p_ {c}') ', dots, (p_ {c} partial _ {p}) ^ {n} p) = 0,} где дифференцирование проводится по п { displaystyle p} .
Проблемы с силой Решения некоторых силовых задач классической механики можно удивительно легко получить в координатах педали.
Рассмотрим динамическую систему:
Икс ¨ = F ′ ( | Икс | 2 ) Икс + 2 грамм ′ ( | Икс | 2 ) Икс ˙ ⊥ , { displaystyle { ddot {x}} = F ^ { prime} (| x | ^ {2}) x + 2G ^ { prime} (| x | ^ {2}) { dot {x}} ^ { perp},} описывающая эволюцию пробной частицы (с положением Икс { displaystyle x} и скорость Икс ˙ { displaystyle { dot {x}}} ) в плоскости при наличии центрального F { displaystyle F} и Лоренцу нравится грамм { displaystyle G} потенциал. Количество:
L = Икс ⋅ Икс ˙ ⊥ + грамм ( | Икс | 2 ) , c = | Икс ˙ | 2 − F ( | Икс | 2 ) , { displaystyle L = x cdot { dot {x}} ^ { perp} + G (| x | ^ {2}), qquad c = | { dot {x}} | ^ {2} - F (| x | ^ {2}),} сохраняются в этой системе.
Тогда кривая, проведенная Икс { displaystyle x} дается в координатах педали как
( L − грамм ( р 2 ) ) 2 п 2 = F ( р 2 ) + c , { displaystyle { frac { left (L-G (r ^ {2}) right) ^ {2}} {p ^ {2}}} = F (r ^ {2}) + c,} с точкой педали в начале координат. Этот факт обнаружил П. Блашке в 2017 году.[5]
Пример В качестве примера рассмотрим так называемый Проблема Кеплера , то есть проблема центральной силы, где сила изменяется обратно пропорционально квадрату расстояния:
Икс ¨ = − M | Икс | 3 Икс , { displaystyle { ddot {x}} = - { frac {M} {| x | ^ {3}}} x,} мы можем сразу прийти к решению в координатах педали
L 2 п 2 = 2 M р + c , { displaystyle { frac {L ^ {2}} {p ^ {2}}} = { frac {2M} {r}} + c,} ,куда L { displaystyle L} соответствует угловому моменту частицы и c { displaystyle c} своей энергии. Таким образом, мы получили уравнение конического сечения в координатах педали.
Наоборот, для данной кривой C , мы можем легко сделать вывод, какие силы мы должны приложить к пробной частице, чтобы двигаться по ней.
Уравнения педали для конкретных кривых
Синусоидальные спирали Для синусоидальная спираль написано в форме
р п = а п грех ( п θ ) { Displaystyle г ^ {п} = а ^ {п} грех (п тета)} полярный тангенциальный угол равен
ψ = п θ { Displaystyle psi = п тета} что дает уравнение педали
п а п = р п + 1 . { displaystyle pa ^ {n} = r ^ {n + 1}.} Уравнение педали для ряда знакомых кривых можно получить, задав п к конкретным значениям:[6]
Спирали Спиралевидная кривая формы
р = c θ α , { Displaystyle г = с тета ^ { альфа},} удовлетворяет уравнению
d р d θ = α р α − 1 α , { displaystyle { frac {dr} {d theta}} = alpha r ^ { frac { alpha -1} { alpha}},} и, таким образом, может быть легко преобразован в координаты педали как
1 п 2 = α 2 c 2 α р 2 + 2 α + 1 р 2 . { displaystyle { frac {1} {p ^ {2}}} = { frac { alpha ^ {2} c ^ { frac {2} { alpha}}} {r ^ {2 + { frac {2} { alpha}}}}} + { frac {1} {r ^ {2}}}.} Особые случаи включают:
α { displaystyle alpha} Изгиб Точка педали Педаль эк. 1 Спираль Архимеда Источник 1 п 2 = 1 р 2 + c 2 р 4 { displaystyle { frac {1} {p ^ {2}}} = { frac {1} {r ^ {2}}} + { frac {c ^ {2}} {r ^ {4}} }} −1 Гиперболическая спираль Источник 1 п 2 = 1 р 2 + 1 c 2 { displaystyle { frac {1} {p ^ {2}}} = { frac {1} {r ^ {2}}} + { frac {1} {c ^ {2}}}} 1 ⁄2 Спираль Ферма Источник 1 п 2 = 1 р 2 + c 4 4 р 6 { displaystyle { frac {1} {p ^ {2}}} = { frac {1} {r ^ {2}}} + { frac {c ^ {4}} {4r ^ {6}} }} −1 ⁄2 Lituus Источник 1 п 2 = 1 р 2 + р 2 4 c 4 { displaystyle { frac {1} {p ^ {2}}} = { frac {1} {r ^ {2}}} + { frac {r ^ {2}} {4c ^ {4}} }}
Эпи- и гипоциклоиды Для эпи- или гипоциклоиды, задаваемой параметрическими уравнениями
Икс ( θ ) = ( а + б ) потому что θ − б потому что ( а + б б θ ) { displaystyle x ( theta) = (a + b) cos theta -b cos left ({ frac {a + b} {b}} theta right)} у ( θ ) = ( а + б ) грех θ − б грех ( а + б б θ ) , { displaystyle y ( theta) = (a + b) sin theta -b sin left ({ frac {a + b} {b}} theta right),} уравнение педали относительно начала координат:[7]
р 2 = а 2 + 4 ( а + б ) б ( а + 2 б ) 2 п 2 { displaystyle r ^ {2} = a ^ {2} + { frac {4 (a + b) b} {(a + 2b) ^ {2}}} p ^ {2}} или же[8]
п 2 = А ( р 2 − а 2 ) { displaystyle p ^ {2} = A (r ^ {2} -a ^ {2})} с
А = ( а + 2 б ) 2 4 ( а + б ) б . { displaystyle A = { frac {(a + 2b) ^ {2}} {4 (a + b) b}}.} Особые случаи, полученные при установке б =а ⁄п для конкретных значений п включают:
п Изгиб Педаль эк. 1, −1 ⁄2 Кардиоидный п 2 = 9 8 ( р 2 − а 2 ) { displaystyle p ^ {2} = { frac {9} {8}} (r ^ {2} -a ^ {2})} 2, −2 ⁄3 Нефроид п 2 = 4 3 ( р 2 − а 2 ) { displaystyle p ^ {2} = { frac {4} {3}} (r ^ {2} -a ^ {2})} −3, −3 ⁄2 Дельтовидная п 2 = − 1 8 ( р 2 − а 2 ) { displaystyle p ^ {2} = - { frac {1} {8}} (r ^ {2} -a ^ {2})} −4, −4 ⁄3 Astroid п 2 = − 1 3 ( р 2 − а 2 ) { displaystyle p ^ {2} = - { frac {1} {3}} (r ^ {2} -a ^ {2})}
Другие кривые Другие уравнения педали:,[9]
Изгиб Уравнение Точка педали Педаль эк. Линия а Икс + б у + c = 0 { displaystyle ax + by + c = 0} Источник п = | c | а 2 + б 2 { displaystyle p = { frac {| c |} { sqrt {a ^ {2} + b ^ {2}}}}} Точка ( Икс 0 , у 0 ) { displaystyle (x_ {0}, y_ {0})} Источник р = Икс 0 2 + у 0 2 { displaystyle r = { sqrt {x_ {0} ^ {2} + y_ {0} ^ {2}}}} Круг | Икс − а | = р { Displaystyle | х-а | = R} Источник 2 п р = р 2 + р 2 − | а | 2 { displaystyle 2pR = r ^ {2} + R ^ {2} - | a | ^ {2}} Эвольта круга р = а потому что α , θ = загар α − α { displaystyle r = { frac {a} { cos alpha}}, theta = tan alpha - alpha} Источник п c = | а | { Displaystyle p_ {c} = | а |} Эллипс Икс 2 а 2 + у 2 б 2 = 1 { displaystyle { frac {x ^ {2}} {a ^ {2}}} + { frac {y ^ {2}} {b ^ {2}}} = 1} Центр а 2 б 2 п 2 + р 2 = а 2 + б 2 { displaystyle { frac {a ^ {2} b ^ {2}} {p ^ {2}}} + r ^ {2} = a ^ {2} + b ^ {2}} Гипербола Икс 2 а 2 − у 2 б 2 = 1 { displaystyle { frac {x ^ {2}} {a ^ {2}}} - { frac {y ^ {2}} {b ^ {2}}} = 1} Центр − а 2 б 2 п 2 + р 2 = а 2 − б 2 { displaystyle - { frac {a ^ {2} b ^ {2}} {p ^ {2}}} + r ^ {2} = a ^ {2} -b ^ {2}} Эллипс Икс 2 а 2 + у 2 б 2 = 1 { displaystyle { frac {x ^ {2}} {a ^ {2}}} + { frac {y ^ {2}} {b ^ {2}}} = 1} Фокус б 2 п 2 = 2 а р − 1 { displaystyle { frac {b ^ {2}} {p ^ {2}}} = { frac {2a} {r}} - 1} Гипербола Икс 2 а 2 − у 2 б 2 = 1 { displaystyle { frac {x ^ {2}} {a ^ {2}}} - { frac {y ^ {2}} {b ^ {2}}} = 1} Фокус б 2 п 2 = 2 а р + 1 { displaystyle { frac {b ^ {2}} {p ^ {2}}} = { frac {2a} {r}} + 1} Логарифмическая спираль р = а е θ детская кроватка α { displaystyle r = ae ^ { theta cot alpha}} полюс п = р грех α { Displaystyle п = г грех альфа} Декартово овал | Икс | + α | Икс − а | = C , { Displaystyle | х | + альфа | х-а | = С,} Фокус ( б − ( 1 − α 2 ) р 2 ) 2 4 п 2 = C б р + ( 1 − α 2 ) C р − ( ( 1 − α 2 ) C 2 + б ) , б := C 2 − α 2 | а | 2 { displaystyle { frac {(b- (1- alpha ^ {2}) r ^ {2}) ^ {2}} {4p ^ {2}}} = { frac {Cb} {r}} + (1- alpha ^ {2}) Cr - ((1- alpha ^ {2}) C ^ {2} + b), b: = C ^ {2} - alpha ^ {2} | а | ^ {2}} Кассини овал | Икс | | Икс − а | = C , { Displaystyle | х || х-а | = С,} Фокус ( 3 C 2 + р 4 − | а | 2 р 2 ) 2 п 2 = 4 C 2 ( 2 C 2 р 2 + 2 р 2 − | а | 2 ) . { displaystyle { frac {(3C ^ {2} + r ^ {4} - | a | ^ {2} r ^ {2}) ^ {2}} {p ^ {2}}} = 4C ^ { 2} left ({ frac {2C ^ {2}} {r ^ {2}}} + 2r ^ {2} - | a | ^ {2} right).} Кассини овал | Икс − а | | Икс + а | = C , { Displaystyle | х-а || х + а | = С,} Центр 2 р п р = р 4 + р 2 − | а | 2 . { displaystyle 2Rpr = r ^ {4} + R ^ {2} - | a | ^ {2}.}
Смотрите также
Рекомендации
^ Йейтс §1 ^ Эдвардс п. 161 ^ Йейтс п. 166, Эдвардс с. 162 ^ Предложение Бляшке 1 ^ Теорема Бляшке 2. ^ Йейтс п. 168, Эдвардс с. 162 ^ Эдвардс п. 163 ^ Йейтс п. 163 ^ Йейтс п. 169, Эдвардс с. 163, Блашке сек. 2.1 R.C. Йейтс (1952). «Педальные уравнения». Справочник по кривым и их свойствам . Анн-Арбор, Мичиган: Дж. У. Эдвардс. стр. 166 и сл. Дж. Эдвардс (1892). Дифференциальное исчисление . Лондон: MacMillan and Co., стр.161 ff. внешняя ссылка