Бидуга — гладкая плоская кривая, составленная из двух круговых дуг, меньших полной окружности. Одной из дуг может быть отрезок прямой. Бидуги были предложены для геометрического моделирования (построения, аппроксимации) кривых с заданными граничными точками и касательными в них. В классе бидуг эта задача имеет целое семейство решений, и требует дополнительных условий для нахождения конкретных кривых. Таковыми могут быть задание кривизны или поворота одной из дуг, фиксированная длина кривой, требование минимизации скачка кривизны в точке сопряжения, и т. п.
У бидуги зависимость k ( s ) {displaystyle k(s)} кривизны от длины дуги монотонна (так как состоит из двух постоянных участков), поэтому бидуга является простейшей спиралью.
На рис. 1 показаны шесть бидуг A J B {displaystyle AJB} . Точки A {displaystyle A} и B {displaystyle B} — начальная и конечная точки кривой, J {displaystyle J} (join) — точка гладкого сопряжения двух дуг.
Примеры 1-4 иллюстрируют короткие бидуги: они не пересекают дополнение хорды до бесконечной прямой, хотя могут пересекать саму хорду (бидуга 1). Обычно именно такие кривые являются объектами аппроксимации.
Примеры 5 и 6 иллюстрируют длинные бидуги: они пересекают дополнение хорды, то есть закручиваются вокруг одной из концевых точек.
У кривых 1, 2 и 6 точка J {displaystyle J} является точкой перегиба: в ней кривизна меняет знак (- на + у кривых 1, 2 и + на — у кривой 6).
Кривые помещены в систему координат хорды A B → {displaystyle {overrightarrow {AB}}} длины 2 c = | A B | {displaystyle ;2c=|AB|} , в которой координаты начальной и конечной точек равны A = ( − c , 0 ) , B = ( c , 0 ) {displaystyle A=(-c,0),;;B=(c,0)} .
Ориентированные углы наклонов касательных в точках A {displaystyle A} и B {displaystyle B} , измеренные относительно направления хорды A B → {displaystyle {overrightarrow {AB}}} , обозначены α {displaystyle alpha } и β {displaystyle eta } . Так, у бидуги 1 на рис. 1 α > 0 , β > 0 {displaystyle ;alpha >0,;eta >0} , а у бидуг 2-6 — α > 0 , β < 0 {displaystyle ;alpha >0,;eta <0} .
Граничные касательные векторы у кривых 2-6 на рис. 1 одинаковы: α = 100 ∘ , β = − 30 ∘ . {displaystyle alpha =100^{circ },quad eta =-30^{circ }.} Эти кривые являются членами однопараметрического семейства бидуг с общими касательными на концах. Всё семейство показано на нижнем фрагменте рисунка 2.
Далее основные свойства семейства бидуг с общими касательными на концах приведены по материалам статьи. Параметр семейства обозначен p {displaystyle p} . Обозначение бидуги в виде B ( p ) {displaystyle {mathcal {B}}(p)} подразумевает фиксацию констант, то есть B ( p ; α , β , c ) {displaystyle {mathcal {B}}(p;,alpha ,eta ,c)} .
Рисунки 2, 3, 4 иллюстрируют такие семейства для различных пар { α , β } . {displaystyle {alpha ,eta }.}
Углы α {displaystyle alpha } и β {displaystyle eta } считаются определёнными в диапазоне [ − π ; π ] {displaystyle [-pi ;,pi ]} : − π ⩽ α ⩽ π {displaystyle -pi leqslant alpha leqslant pi } , − π ⩽ β ⩽ π {displaystyle -pi leqslant eta leqslant pi } . Построение бидуги возможно при
0 < | α + β | < 2 π . ( 1 ) {displaystyle qquad 0<|alpha +eta |<2pi .qquad (1)}
Введём обозначения
ω = α + β 2 , γ = α − β 2 {displaystyle omega ={frac {alpha +eta }{2}},quad gamma ={frac {alpha -eta }{2}}} .
Неравенства (1) означают, что sin ω ≠ 0 {displaystyle ;sin omega
ot =0} .
Кривизна k 1 {displaystyle k_{1}} первой дуги ( A J ) {displaystyle (AJ)} и кривизна k 2 {displaystyle k_{2}} второй дуги ( J B ) {displaystyle (JB)} выражаются, как функции параметра семейства, следующими формулами:
k 1 ( p ) = 1 c ( − sin α − sin ω p ) , k 2 ( p ) = 1 c ( sin β + p sin ω ) . {displaystyle k_{1}(p)={frac {1}{c}}left(-sin alpha -{frac {sin omega }{p}}
ight),quad k_{2}(p)={frac {1}{c}}left(sin eta +psin omega
ight).}
Пусть
Справедливы равенства
θ 1 ( p ) = 2 arg ( e − i α + p − 1 e − i ω ) , θ 2 ( p ) = 2 arg ( e i β + p e i ω ) . {displaystyle heta _{1}(p)=2arg left(mathrm {e} ^{-mathrm {i} alpha }+p^{-1}{mathrm {e} ^{-mathrm {i} omega }}
ight),quad heta _{2}(p)=2arg left(mathrm {e} ^{mathrm {i} eta }+p,mathrm {e} ^{mathrm {i} omega }
ight).}
Точки сопряжения J {displaystyle J} двух дуг расположены на окружности
X J ( p ) = c ( p 2 − 1 ) p 2 + 2 p cos γ + 1 , Y J ( p ) = 2 c p sin γ p 2 + 2 p cos γ + 1 , − ∞ ⩽ p ⩽ ∞ . ( 2 ) {displaystyle X_{J}(p)={frac {c(p^{2}-1)}{p^{2}+2pcos gamma +1}},quad Y_{J}(p)={frac {2cpsin gamma }{p^{2}+2pcos gamma +1}},quad -infty leqslant pleqslant infty .qquad (2)}
Эта окружность выходит из точки A {displaystyle A} под углом γ {displaystyle gamma } и проходит через точку B . {displaystyle B.} При γ = 0 {displaystyle gamma =0} (то есть при α = β {displaystyle alpha =eta } ) это прямая A B {displaystyle AB} (рис. 3). Бидуги семейства пересекают эту окружность под постоянным углом − ω {displaystyle -omega } .
Вектор касательной к бидуге в точке сопряжения есть | | cos τ J , sin τ J | | {displaystyle ||cos au _{{}_{J}},,sin au _{{}_{J}}||} , где
τ J ( p ) = − 2 arctg p sin α 2 + sin β 2 p cos α 2 + cos β 2 . {displaystyle au _{{}_{J}}(p)={-2}operatorname {arctg} {dfrac {psin {frac {alpha }{2}}+sin {frac {eta }{2}}}{pcos {frac {alpha }{2}}+cos {frac {eta }{2}}}}.}
Бидуга с минимальным скачком кривизны в точке сопряжения, min | k 2 ( p ) − k 1 ( p ) | , {displaystyle min left|k_{2}(p)-k_{1}(p)
ight|,} реализуется при p = ± 1 ; {displaystyle p=pm 1;} точка J {displaystyle J} при этом лежит на оси ординат ( X J = 0 ) . {displaystyle (X_{J}=0).}
В семействе бидуг можно выделить следующие вырожденные бидуги.
С учётом этих трёх вырожденных бидуг через любую точку плоскости с выколотыми полюсами A {displaystyle A} и B {displaystyle B} проходит единственная бидуга B ( p ) {displaystyle {mathcal {B}}(p)} . Именно, через точку ( x , y ) {displaystyle (x,y)} проходит бидуга с параметром
p ( x , y ) = { − [ ( x + c ) 2 + y 2 ] sin ω ( c 2 − x 2 − y 2 ) sin α − 2 c y cos α , если ω C ( x , y ) ⩽ 0 , − ( c 2 − x 2 − y 2 ) sin β + 2 c y cos β [ ( x − c ) 2 + y 2 ] sin ω , если ω C ( x , y ) ⩾ 0 , {displaystyle qquad p(x,y)=left{{egin{array}{ll}-{dfrac {[(x+c)^{2}+y^{2}]sin omega }{(c^{2}-x^{2}-y^{2})sin alpha -2cycos alpha }},quad &{ ext{если}}quad omega ,C(x,y)leqslant 0,\-{dfrac {(c^{2}-x^{2}-y^{2})sin eta +2cycos eta }{[(x-c)^{2}+y^{2}]sin omega }},quad &{ ext{если}}quad omega ,C(x,y)geqslant 0,end{array}}
ight.}
где C ( x , y ) = ( c 2 − x 2 − y 2 ) sin γ − 2 c y cos γ {displaystyle ;C(x,y)=(c^{2}-x^{2}-y^{2})sin gamma -2cycos gamma } .
В семействе бидуг B ( p ; α , β , c ) {displaystyle {mathcal {B}}(p;,alpha ,eta ,c)} выделим, в зависимости от значения параметра p , {displaystyle p,} следующие подсемейства невырожденных бидуг:
B + ( p ) : p ∈ ( 0 ; ∞ ) ; B 1 − ( p ) : p ∈ ( p ∗ ; 0 ) ; B 2 − ( p ) : p ∈ ( − ∞ ; p ∗ ) ; B − ( p ) = B 1 − ( p ) ∪ B 2 − ( p ) {displaystyle {egin{array}{l}{mathcal {B}}^{,+}(p){:}quad pin (0;infty );\{mathcal {B}}_{1}^{,-}(p){:}quad pin (p^{ast };0);\{mathcal {B}}_{2}^{,-}(p){:}quad pin (-infty ;p^{ast });\{mathcal {B}}^{,-}(p)={mathcal {B}}_{1}^{,-}(p)cup {mathcal {B}}_{2}^{,-}(p)end{array}}}
(в, Property 2, подсемейства B + {displaystyle {mathcal {B}}^{,+}} и B − {displaystyle {mathcal {B}}^{,-}} названы, соответственно, main subfamily и complementary subfamily).
На рисунках 2, 3, 4 бидуги, принадлежащие подсемействам B + {displaystyle color {sienna}{mathcal {B}}^{,+}} , B 1 − {displaystyle color {blue}{mathcal {B}}_{1}^{,-}} и B 2 − {displaystyle color {green}{mathcal {B}}_{2}^{,-}} показаны, соответственно, коричневым, синим и зелёным цветом.
Бидуги подсемейства B + {displaystyle {mathcal {B}}^{,+}} — короткие. Их кривизна либо возрастает (если ω > 0 {displaystyle omega >0} ), либо убывает (если ω < 0 {displaystyle omega <0} ):
sgn ( k 2 − k 1 ) = sgn ω = sgn ( α + β ) {displaystyle operatorname {sgn}(k_{2}-k_{1})=operatorname {sgn} omega =operatorname {sgn}(alpha +eta )} (теорема В.Фогта для коротких спиралей).
Они заключены внутри линзы — области, ограниченной вырожденными бидугами B ( 0 ) {displaystyle {mathcal {B}}(0)} и B ( ∞ ) {displaystyle {mathcal {B}}(infty )} (на рисунках область линзы затемнена). Угловая ширина линзы (со знаком) равна α + β = 2 ω {displaystyle alpha +eta =2omega } . ГМТ (2) есть биссектриса линзы.
Бидуги подсемейства B − {displaystyle {mathcal {B}}^{,-}} имеют противоположный (по отношению к B + {displaystyle {mathcal {B}}^{,+}} ) характер монотонности кривизны.
Если | α | ≠ π {displaystyle |alpha |
ot =pi } и | β | ≠ π {displaystyle |eta |
ot =pi } , то бидуги этого подсемейства — длинные. Разрывная бидуга B ( p ∗ ) {displaystyle color {red}{mathcal {B}}(p^{ast })} отграничивает друг от друга бидуги подсемейств B 1 , 2 − {displaystyle {mathcal {B}}_{{color {blue}1},{color {green}2}}^{,-}} .
Подсемейство B 1 − {displaystyle {mathcal {B}}_{1}^{,-}} пусто, если p ∗ = 0 {displaystyle p^{ast }=0} ( | β | = π ) . {displaystyle (|eta |=pi ).}
Подсемейство B 2 − {displaystyle {mathcal {B}}_{2}^{,-}} пусто, если p ∗ = − ∞ {displaystyle p^{ast }=-infty } ( | α | = π ) . {displaystyle (|alpha |=pi ).}
Переопределение граничных углов в кумулятивном смысле. Интегрирование натурального уравнения бидуги даёт непрерывную (кусочно-линейную) функцию τ ( s ) {displaystyle au (s)} — угол наклона касательной к кривой. При таком определении, непрерывном, её значения могут выйти за пределы ± π {displaystyle pm pi } , и значения на концах могут отличаться от α , β {displaystyle alpha ,eta } на ± 2 π . {displaystyle pm 2pi .} Определим, наряду с α , β {displaystyle alpha ,eta } , кумулятивные версии граничных углов в виде α ~ , β ~ {displaystyle {widetilde {alpha }},{widetilde {eta }}} , с учётом непрерывности τ ( s ) . {displaystyle au (s).} Поправка к углу α {displaystyle alpha } вносится, если бидуга совершает оборот вокруг точки A , {displaystyle A,} то есть пересекает луч { x < − c , y = 0 } {displaystyle {x<-c,,y=0}} ; поправка к углу β {displaystyle eta } вносится, если бидуга совершает оборот вокруг точки B {displaystyle B} (пересекая правое дополнение хорды до бесконечной прямой):
Тогда полный поворот бидуги B ( p ) {displaystyle {mathcal {B}}(p)} равен
θ 1 ( p ) + θ 2 ( p ) = β ~ − α ~ , {displaystyle heta _{1}(p)+ heta _{2}(p)={widetilde {eta }}-{widetilde {alpha }},}
а возрастание/убывание кривизны соответствует равенству
sgn ( k 2 − k 1 ) = sgn ( α ~ + β ~ ) . {displaystyle operatorname {sgn}(k_{2}-k_{1})=operatorname {sgn}({widetilde {alpha }}+{widetilde {eta }}).}
Так, для бидуг с возрастающей кривизной, k 2 > k 1 {displaystyle k_{2}>k_{1}} , имеем:
α ~ > − π , β ~ > − π , 0 < α ~ + β ~ < 2 π . {displaystyle {widetilde {alpha }}>-pi ,quad {widetilde {eta }}>-pi ,quad 0<{widetilde {alpha }}+{widetilde {eta }}<2pi .}
Бидуга — гладкая плоская кривая, составленная из двух круговых дуг, меньших полной окружности. Одной из дуг может быть отрезок прямой. Бидуги были предложены для геометрического моделирования (построения, аппроксимации) кривых с заданными граничными точками и касательными в них. В классе бидуг эта задача имеет целое семейство решений, и требует дополнительных условий для нахождения конкретных кривых. Таковыми могут быть задание кривизны или поворота одной из дуг, фиксированная длина кривой, требование минимизации скачка кривизны в точке сопряжения, и т. п.
У бидуги зависимость k ( s ) {displaystyle k(s)} кривизны от длины дуги монотонна (так как состоит из двух постоянных участков), поэтому бидуга является простейшей спиралью.
На рис. 1 показаны шесть бидуг A J B {displaystyle AJB} . Точки A {displaystyle A} и B {displaystyle B} — начальная и конечная точки кривой, J {displaystyle J} (join) — точка гладкого сопряжения двух дуг.
Примеры 1-4 иллюстрируют короткие бидуги: они не пересекают дополнение хорды до бесконечной прямой, хотя могут пересекать саму хорду (бидуга 1). Обычно именно такие кривые являются объектами аппроксимации.
Примеры 5 и 6 иллюстрируют длинные бидуги: они пересекают дополнение хорды, то есть закручиваются вокруг одной из концевых точек.
У кривых 1, 2 и 6 точка J {displaystyle J} является точкой перегиба: в ней кривизна меняет знак (- на + у кривых 1, 2 и + на — у кривой 6).
Кривые помещены в систему координат хорды A B → {displaystyle {overrightarrow {AB}}} длины 2 c = | A B | {displaystyle ;2c=|AB|} , в которой координаты начальной и конечной точек равны A = ( − c , 0 ) , B = ( c , 0 ) {displaystyle A=(-c,0),;;B=(c,0)} .
Ориентированные углы наклонов касательных в точках A {displaystyle A} и B {displaystyle B} , измеренные относительно направления хорды A B → {displaystyle {overrightarrow {AB}}} , обозначены α {displaystyle alpha } и β {displaystyle eta } . Так, у бидуги 1 на рис. 1 α > 0 , β > 0 {displaystyle ;alpha >0,;eta >0} , а у бидуг 2-6 — α > 0 , β < 0 {displaystyle ;alpha >0,;eta <0} .
Граничные касательные векторы у кривых 2-6 на рис. 1 одинаковы: α = 100 ∘ , β = − 30 ∘ . {displaystyle alpha =100^{circ },quad eta =-30^{circ }.} Эти кривые являются членами однопараметрического семейства бидуг с общими касательными на концах. Всё семейство показано на нижнем фрагменте рисунка 2.
Далее основные свойства семейства бидуг с общими касательными на концах приведены по материалам статьи. Параметр семейства обозначен p {displaystyle p} . Обозначение бидуги в виде B ( p ) {displaystyle {mathcal {B}}(p)} подразумевает фиксацию констант, то есть B ( p ; α , β , c ) {displaystyle {mathcal {B}}(p;,alpha ,eta ,c)} .
Рисунки 2, 3, 4 иллюстрируют такие семейства для различных пар { α , β } . {displaystyle {alpha ,eta }.}
Углы α {displaystyle alpha } и β {displaystyle eta } считаются определёнными в диапазоне [ − π ; π ] {displaystyle [-pi ;,pi ]} : − π ⩽ α ⩽ π {displaystyle -pi leqslant alpha leqslant pi } , − π ⩽ β ⩽ π {displaystyle -pi leqslant eta leqslant pi } . Построение бидуги возможно при
0 < | α + β | < 2 π . ( 1 ) {displaystyle qquad 0<|alpha +eta |<2pi .qquad (1)}
Введём обозначения
ω = α + β 2 , γ = α − β 2 {displaystyle omega ={frac {alpha +eta }{2}},quad gamma ={frac {alpha -eta }{2}}} .
Неравенства (1) означают, что sin ω ≠ 0 {displaystyle ;sin omega
ot =0} .
Кривизна k 1 {displaystyle k_{1}} первой дуги ( A J ) {displaystyle (AJ)} и кривизна k 2 {displaystyle k_{2}} второй дуги ( J B ) {displaystyle (JB)} выражаются, как функции параметра семейства, следующими формулами:
k 1 ( p ) = 1 c ( − sin α − sin ω p ) , k 2 ( p ) = 1 c ( sin β + p sin ω ) . {displaystyle k_{1}(p)={frac {1}{c}}left(-sin alpha -{frac {sin omega }{p}}
ight),quad k_{2}(p)={frac {1}{c}}left(sin eta +psin omega
ight).}
Пусть
Справедливы равенства
θ 1 ( p ) = 2 arg ( e − i α + p − 1 e − i ω ) , θ 2 ( p ) = 2 arg ( e i β + p e i ω ) . {displaystyle heta _{1}(p)=2arg left(mathrm {e} ^{-mathrm {i} alpha }+p^{-1}{mathrm {e} ^{-mathrm {i} omega }}
ight),quad heta _{2}(p)=2arg left(mathrm {e} ^{mathrm {i} eta }+p,mathrm {e} ^{mathrm {i} omega }
ight).}
Точки сопряжения J {displaystyle J} двух дуг расположены на окружности
X J ( p ) = c ( p 2 − 1 ) p 2 + 2 p cos γ + 1 , Y J ( p ) = 2 c p sin γ p 2 + 2 p cos γ + 1 , − ∞ ⩽ p ⩽ ∞ . ( 2 ) {displaystyle X_{J}(p)={frac {c(p^{2}-1)}{p^{2}+2pcos gamma +1}},quad Y_{J}(p)={frac {2cpsin gamma }{p^{2}+2pcos gamma +1}},quad -infty leqslant pleqslant infty .qquad (2)}
Эта окружность выходит из точки A {displaystyle A} под углом γ {displaystyle gamma } и проходит через точку B . {displaystyle B.} При γ = 0 {displaystyle gamma =0} (то есть при α = β {displaystyle alpha =eta } ) это прямая A B {displaystyle AB} (рис. 3). Бидуги семейства пересекают эту окружность под постоянным углом − ω {displaystyle -omega } .
Вектор касательной к бидуге в точке сопряжения есть | | cos τ J , sin τ J | | {displaystyle ||cos au _{{}_{J}},,sin au _{{}_{J}}||} , где
τ J ( p ) = − 2 arctg p sin α 2 + sin β 2 p cos α 2 + cos β 2 . {displaystyle au _{{}_{J}}(p)={-2}operatorname {arctg} {dfrac {psin {frac {alpha }{2}}+sin {frac {eta }{2}}}{pcos {frac {alpha }{2}}+cos {frac {eta }{2}}}}.}
Бидуга с минимальным скачком кривизны в точке сопряжения, min | k 2 ( p ) − k 1 ( p ) | , {displaystyle min left|k_{2}(p)-k_{1}(p)
ight|,} реализуется при p = ± 1 ; {displaystyle p=pm 1;} точка J {displaystyle J} при этом лежит на оси ординат ( X J = 0 ) . {displaystyle (X_{J}=0).}
В семействе бидуг можно выделить следующие вырожденные бидуги.
С учётом этих трёх вырожденных бидуг через любую точку плоскости с выколотыми полюсами A {displaystyle A} и B {displaystyle B} проходит единственная бидуга B ( p ) {displaystyle {mathcal {B}}(p)} . Именно, через точку ( x , y ) {displaystyle (x,y)} проходит бидуга с параметром
p ( x , y ) = { − [ ( x + c ) 2 + y 2 ] sin ω ( c 2 − x 2 − y 2 ) sin α − 2 c y cos α , если ω C ( x , y ) ⩽ 0 , − ( c 2 − x 2 − y 2 ) sin β + 2 c y cos β [ ( x − c ) 2 + y 2 ] sin ω , если ω C ( x , y ) ⩾ 0 , {displaystyle qquad p(x,y)=left{{egin{array}{ll}-{dfrac {[(x+c)^{2}+y^{2}]sin omega }{(c^{2}-x^{2}-y^{2})sin alpha -2cycos alpha }},quad &{ ext{если}}quad omega ,C(x,y)leqslant 0,\-{dfrac {(c^{2}-x^{2}-y^{2})sin eta +2cycos eta }{[(x-c)^{2}+y^{2}]sin omega }},quad &{ ext{если}}quad omega ,C(x,y)geqslant 0,end{array}}
ight.}
где C ( x , y ) = ( c 2 − x 2 − y 2 ) sin γ − 2 c y cos γ {displaystyle ;C(x,y)=(c^{2}-x^{2}-y^{2})sin gamma -2cycos gamma } .
В семействе бидуг B ( p ; α , β , c ) {displaystyle {mathcal {B}}(p;,alpha ,eta ,c)} выделим, в зависимости от значения параметра p , {displaystyle p,} следующие подсемейства невырожденных бидуг:
B + ( p ) : p ∈ ( 0 ; ∞ ) ; B 1 − ( p ) : p ∈ ( p ∗ ; 0 ) ; B 2 − ( p ) : p ∈ ( − ∞ ; p ∗ ) ; B − ( p ) = B 1 − ( p ) ∪ B 2 − ( p ) {displaystyle {egin{array}{l}{mathcal {B}}^{,+}(p){:}quad pin (0;infty );\{mathcal {B}}_{1}^{,-}(p){:}quad pin (p^{ast };0);\{mathcal {B}}_{2}^{,-}(p){:}quad pin (-infty ;p^{ast });\{mathcal {B}}^{,-}(p)={mathcal {B}}_{1}^{,-}(p)cup {mathcal {B}}_{2}^{,-}(p)end{array}}}
(в, Property 2, подсемейства B + {displaystyle {mathcal {B}}^{,+}} и B − {displaystyle {mathcal {B}}^{,-}} названы, соответственно, main subfamily и complementary subfamily).
На рисунках 2, 3, 4 бидуги, принадлежащие подсемействам B + {displaystyle color {sienna}{mathcal {B}}^{,+}} , B 1 − {displaystyle color {blue}{mathcal {B}}_{1}^{,-}} и B 2 − {displaystyle color {green}{mathcal {B}}_{2}^{,-}} показаны, соответственно, коричневым, синим и зелёным цветом.
Бидуги подсемейства B + {displaystyle {mathcal {B}}^{,+}} — короткие. Их кривизна либо возрастает (если ω > 0 {displaystyle omega >0} ), либо убывает (если ω < 0 {displaystyle omega <0} ):
sgn ( k 2 − k 1 ) = sgn ω = sgn ( α + β ) {displaystyle operatorname {sgn}(k_{2}-k_{1})=operatorname {sgn} omega =operatorname {sgn}(alpha +eta )} (теорема В.Фогта для коротких спиралей).
Они заключены внутри линзы — области, ограниченной вырожденными бидугами B ( 0 ) {displaystyle {mathcal {B}}(0)} и B ( ∞ ) {displaystyle {mathcal {B}}(infty )} (на рисунках область линзы затемнена). Угловая ширина линзы (со знаком) равна α + β = 2 ω {displaystyle alpha +eta =2omega } . ГМТ (2) есть биссектриса линзы.
Бидуги подсемейства B − {displaystyle {mathcal {B}}^{,-}} имеют противоположный (по отношению к B + {displaystyle {mathcal {B}}^{,+}} ) характер монотонности кривизны.
Если | α | ≠ π {displaystyle |alpha |
ot =pi } и | β | ≠ π {displaystyle |eta |
ot =pi } , то бидуги этого подсемейства — длинные. Разрывная бидуга B ( p ∗ ) {displaystyle color {red}{mathcal {B}}(p^{ast })} отграничивает друг от друга бидуги подсемейств B 1 , 2 − {displaystyle {mathcal {B}}_{{color {blue}1},{color {green}2}}^{,-}} .
Подсемейство B 1 − {displaystyle {mathcal {B}}_{1}^{,-}} пусто, если p ∗ = 0 {displaystyle p^{ast }=0} ( | β | = π ) . {displaystyle (|eta |=pi ).}
Подсемейство B 2 − {displaystyle {mathcal {B}}_{2}^{,-}} пусто, если p ∗ = − ∞ {displaystyle p^{ast }=-infty } ( | α | = π ) . {displaystyle (|alpha |=pi ).}
Переопределение граничных углов в кумулятивном смысле. Интегрирование натурального уравнения бидуги даёт непрерывную (кусочно-линейную) функцию τ ( s ) {displaystyle au (s)} — угол наклона касательной к кривой. При таком определении, непрерывном, её значения могут выйти за пределы ± π {displaystyle pm pi } , и значения на концах могут отличаться от α , β {displaystyle alpha ,eta } на ± 2 π . {displaystyle pm 2pi .} Определим, наряду с α , β {displaystyle alpha ,eta } , кумулятивные версии граничных углов в виде α ~ , β ~ {displaystyle {widetilde {alpha }},{widetilde {eta }}} , с учётом непрерывности τ ( s ) . {displaystyle au (s).} Поправка к углу α {displaystyle alpha } вносится, если бидуга совершает оборот вокруг точки A , {displaystyle A,} то есть пересекает луч { x < − c , y = 0 } {displaystyle {x<-c,,y=0}} ; поправка к углу β {displaystyle eta } вносится, если бидуга совершает оборот вокруг точки B {displaystyle B} (пересекая правое дополнение хорды до бесконечной прямой):
Тогда полный поворот бидуги B ( p ) {displaystyle {mathcal {B}}(p)} равен
θ 1 ( p ) + θ 2 ( p ) = β ~ − α ~ , {displaystyle heta _{1}(p)+ heta _{2}(p)={widetilde {eta }}-{widetilde {alpha }},}
а возрастание/убывание кривизны соответствует равенству
sgn ( k 2 − k 1 ) = sgn ( α ~ + β ~ ) . {displaystyle operatorname {sgn}(k_{2}-k_{1})=operatorname {sgn}({widetilde {alpha }}+{widetilde {eta }}).}
Так, для бидуг с возрастающей кривизной, k 2 > k 1 {displaystyle k_{2}>k_{1}} , имеем:
α ~ > − π , β ~ > − π , 0 < α ~ + β ~ < 2 π . {displaystyle {widetilde {alpha }}>-pi ,quad {widetilde {eta }}>-pi ,quad 0<{widetilde {alpha }}+{widetilde {eta }}<2pi .}
Бидуга — гладкая плоская кривая, составленная из двух круговых дуг, меньших полной окружности. Одной из дуг может быть отрезок прямой. Бидуги были предложены для геометрического моделирования (построения, аппроксимации) кривых с заданными граничными точками и касательными в них. В классе бидуг эта задача имеет целое семейство решений, и требует дополнительных условий для нахождения конкретных кривых. Таковыми могут быть задание кривизны или поворота одной из дуг, фиксированная длина кривой, требование минимизации скачка кривизны в точке сопряжения, и т. п.
У бидуги зависимость k ( s ) {displaystyle k(s)} кривизны от длины дуги монотонна (так как состоит из двух постоянных участков), поэтому бидуга является простейшей спиралью.
На рис. 1 показаны шесть бидуг A J B {displaystyle AJB} . Точки A {displaystyle A} и B {displaystyle B} — начальная и конечная точки кривой, J {displaystyle J} (join) — точка гладкого сопряжения двух дуг.
Примеры 1-4 иллюстрируют короткие бидуги: они не пересекают дополнение хорды до бесконечной прямой, хотя могут пересекать саму хорду (бидуга 1). Обычно именно такие кривые являются объектами аппроксимации.
Примеры 5 и 6 иллюстрируют длинные бидуги: они пересекают дополнение хорды, то есть закручиваются вокруг одной из концевых точек.
У кривых 1, 2 и 6 точка J {displaystyle J} является точкой перегиба: в ней кривизна меняет знак (- на + у кривых 1, 2 и + на — у кривой 6).
Кривые помещены в систему координат хорды A B → {displaystyle {overrightarrow {AB}}} длины 2 c = | A B | {displaystyle ;2c=|AB|} , в которой координаты начальной и конечной точек равны A = ( − c , 0 ) , B = ( c , 0 ) {displaystyle A=(-c,0),;;B=(c,0)} .
Ориентированные углы наклонов касательных в точках A {displaystyle A} и B {displaystyle B} , измеренные относительно направления хорды A B → {displaystyle {overrightarrow {AB}}} , обозначены α {displaystyle alpha } и β {displaystyle eta } . Так, у бидуги 1 на рис. 1 α > 0 , β > 0 {displaystyle ;alpha >0,;eta >0} , а у бидуг 2-6 — α > 0 , β < 0 {displaystyle ;alpha >0,;eta <0} .
Граничные касательные векторы у кривых 2-6 на рис. 1 одинаковы: α = 100 ∘ , β = − 30 ∘ . {displaystyle alpha =100^{circ },quad eta =-30^{circ }.} Эти кривые являются членами однопараметрического семейства бидуг с общими касательными на концах. Всё семейство показано на нижнем фрагменте рисунка 2.
Далее основные свойства семейства бидуг с общими касательными на концах приведены по материалам статьи. Параметр семейства обозначен p {displaystyle p} . Обозначение бидуги в виде B ( p ) {displaystyle {mathcal {B}}(p)} подразумевает фиксацию констант, то есть B ( p ; α , β , c ) {displaystyle {mathcal {B}}(p;,alpha ,eta ,c)} .
Рисунки 2, 3, 4 иллюстрируют такие семейства для различных пар { α , β } . {displaystyle {alpha ,eta }.}
Углы α {displaystyle alpha } и β {displaystyle eta } считаются определёнными в диапазоне [ − π ; π ] {displaystyle [-pi ;,pi ]} : − π ⩽ α ⩽ π {displaystyle -pi leqslant alpha leqslant pi } , − π ⩽ β ⩽ π {displaystyle -pi leqslant eta leqslant pi } . Построение бидуги возможно при
0 < | α + β | < 2 π . ( 1 ) {displaystyle qquad 0<|alpha +eta |<2pi .qquad (1)}
Введём обозначения
ω = α + β 2 , γ = α − β 2 {displaystyle omega ={frac {alpha +eta }{2}},quad gamma ={frac {alpha -eta }{2}}} .
Неравенства (1) означают, что sin ω ≠ 0 {displaystyle ;sin omega
ot =0} .
Кривизна k 1 {displaystyle k_{1}} первой дуги ( A J ) {displaystyle (AJ)} и кривизна k 2 {displaystyle k_{2}} второй дуги ( J B ) {displaystyle (JB)} выражаются, как функции параметра семейства, следующими формулами:
k 1 ( p ) = 1 c ( − sin α − sin ω p ) , k 2 ( p ) = 1 c ( sin β + p sin ω ) . {displaystyle k_{1}(p)={frac {1}{c}}left(-sin alpha -{frac {sin omega }{p}}
ight),quad k_{2}(p)={frac {1}{c}}left(sin eta +psin omega
ight).}
Пусть
Справедливы равенства
θ 1 ( p ) = 2 arg ( e − i α + p − 1 e − i ω ) , θ 2 ( p ) = 2 arg ( e i β + p e i ω ) . {displaystyle heta _{1}(p)=2arg left(mathrm {e} ^{-mathrm {i} alpha }+p^{-1}{mathrm {e} ^{-mathrm {i} omega }}
ight),quad heta _{2}(p)=2arg left(mathrm {e} ^{mathrm {i} eta }+p,mathrm {e} ^{mathrm {i} omega }
ight).}
Точки сопряжения J {displaystyle J} двух дуг расположены на окружности
X J ( p ) = c ( p 2 − 1 ) p 2 + 2 p cos γ + 1 , Y J ( p ) = 2 c p sin γ p 2 + 2 p cos γ + 1 , − ∞ ⩽ p ⩽ ∞ . ( 2 ) {displaystyle X_{J}(p)={frac {c(p^{2}-1)}{p^{2}+2pcos gamma +1}},quad Y_{J}(p)={frac {2cpsin gamma }{p^{2}+2pcos gamma +1}},quad -infty leqslant pleqslant infty .qquad (2)}
Эта окружность выходит из точки A {displaystyle A} под углом γ {displaystyle gamma } и проходит через точку B . {displaystyle B.} При γ = 0 {displaystyle gamma =0} (то есть при α = β {displaystyle alpha =eta } ) это прямая A B {displaystyle AB} (рис. 3). Бидуги семейства пересекают эту окружность под постоянным углом − ω {displaystyle -omega } .
Вектор касательной к бидуге в точке сопряжения есть | | cos τ J , sin τ J | | {displaystyle ||cos au _{{}_{J}},,sin au _{{}_{J}}||} , где
τ J ( p ) = − 2 arctg p sin α 2 + sin β 2 p cos α 2 + cos β 2 . {displaystyle au _{{}_{J}}(p)={-2}operatorname {arctg} {dfrac {psin {frac {alpha }{2}}+sin {frac {eta }{2}}}{pcos {frac {alpha }{2}}+cos {frac {eta }{2}}}}.}
Бидуга с минимальным скачком кривизны в точке сопряжения, min | k 2 ( p ) − k 1 ( p ) | , {displaystyle min left|k_{2}(p)-k_{1}(p)
ight|,} реализуется при p = ± 1 ; {displaystyle p=pm 1;} точка J {displaystyle J} при этом лежит на оси ординат ( X J = 0 ) . {displaystyle (X_{J}=0).}
В семействе бидуг можно выделить следующие вырожденные бидуги.
С учётом этих трёх вырожденных бидуг через любую точку плоскости с выколотыми полюсами A {displaystyle A} и B {displaystyle B} проходит единственная бидуга B ( p ) {displaystyle {mathcal {B}}(p)} . Именно, через точку ( x , y ) {displaystyle (x,y)} проходит бидуга с параметром
p ( x , y ) = { − [ ( x + c ) 2 + y 2 ] sin ω ( c 2 − x 2 − y 2 ) sin α − 2 c y cos α , если ω C ( x , y ) ⩽ 0 , − ( c 2 − x 2 − y 2 ) sin β + 2 c y cos β [ ( x − c ) 2 + y 2 ] sin ω , если ω C ( x , y ) ⩾ 0 , {displaystyle qquad p(x,y)=left{{egin{array}{ll}-{dfrac {[(x+c)^{2}+y^{2}]sin omega }{(c^{2}-x^{2}-y^{2})sin alpha -2cycos alpha }},quad &{ ext{если}}quad omega ,C(x,y)leqslant 0,\-{dfrac {(c^{2}-x^{2}-y^{2})sin eta +2cycos eta }{[(x-c)^{2}+y^{2}]sin omega }},quad &{ ext{если}}quad omega ,C(x,y)geqslant 0,end{array}}
ight.}
где C ( x , y ) = ( c 2 − x 2 − y 2 ) sin γ − 2 c y cos γ {displaystyle ;C(x,y)=(c^{2}-x^{2}-y^{2})sin gamma -2cycos gamma } .
В семействе бидуг B ( p ; α , β , c ) {displaystyle {mathcal {B}}(p;,alpha ,eta ,c)} выделим, в зависимости от значения параметра p , {displaystyle p,} следующие подсемейства невырожденных бидуг:
B + ( p ) : p ∈ ( 0 ; ∞ ) ; B 1 − ( p ) : p ∈ ( p ∗ ; 0 ) ; B 2 − ( p ) : p ∈ ( − ∞ ; p ∗ ) ; B − ( p ) = B 1 − ( p ) ∪ B 2 − ( p ) {displaystyle {egin{array}{l}{mathcal {B}}^{,+}(p){:}quad pin (0;infty );\{mathcal {B}}_{1}^{,-}(p){:}quad pin (p^{ast };0);\{mathcal {B}}_{2}^{,-}(p){:}quad pin (-infty ;p^{ast });\{mathcal {B}}^{,-}(p)={mathcal {B}}_{1}^{,-}(p)cup {mathcal {B}}_{2}^{,-}(p)end{array}}}
(в, Property 2, подсемейства B + {displaystyle {mathcal {B}}^{,+}} и B − {displaystyle {mathcal {B}}^{,-}} названы, соответственно, main subfamily и complementary subfamily).
На рисунках 2, 3, 4 бидуги, принадлежащие подсемействам B + {displaystyle color {sienna}{mathcal {B}}^{,+}} , B 1 − {displaystyle color {blue}{mathcal {B}}_{1}^{,-}} и B 2 − {displaystyle color {green}{mathcal {B}}_{2}^{,-}} показаны, соответственно, коричневым, синим и зелёным цветом.
Бидуги подсемейства B + {displaystyle {mathcal {B}}^{,+}} — короткие. Их кривизна либо возрастает (если ω > 0 {displaystyle omega >0} ), либо убывает (если ω < 0 {displaystyle omega <0} ):
sgn ( k 2 − k 1 ) = sgn ω = sgn ( α + β ) {displaystyle operatorname {sgn}(k_{2}-k_{1})=operatorname {sgn} omega =operatorname {sgn}(alpha +eta )} (теорема В.Фогта для коротких спиралей).
Они заключены внутри линзы — области, ограниченной вырожденными бидугами B ( 0 ) {displaystyle {mathcal {B}}(0)} и B ( ∞ ) {displaystyle {mathcal {B}}(infty )} (на рисунках область линзы затемнена). Угловая ширина линзы (со знаком) равна α + β = 2 ω {displaystyle alpha +eta =2omega } . ГМТ (2) есть биссектриса линзы.
Бидуги подсемейства B − {displaystyle {mathcal {B}}^{,-}} имеют противоположный (по отношению к B + {displaystyle {mathcal {B}}^{,+}} ) характер монотонности кривизны.
Если | α | ≠ π {displaystyle |alpha |
ot =pi } и | β | ≠ π {displaystyle |eta |
ot =pi } , то бидуги этого подсемейства — длинные. Разрывная бидуга B ( p ∗ ) {displaystyle color {red}{mathcal {B}}(p^{ast })} отграничивает друг от друга бидуги подсемейств B 1 , 2 − {displaystyle {mathcal {B}}_{{color {blue}1},{color {green}2}}^{,-}} .
Подсемейство B 1 − {displaystyle {mathcal {B}}_{1}^{,-}} пусто, если p ∗ = 0 {displaystyle p^{ast }=0} ( | β | = π ) . {displaystyle (|eta |=pi ).}
Подсемейство B 2 − {displaystyle {mathcal {B}}_{2}^{,-}} пусто, если p ∗ = − ∞ {displaystyle p^{ast }=-infty } ( | α | = π ) . {displaystyle (|alpha |=pi ).}
Переопределение граничных углов в кумулятивном смысле. Интегрирование натурального уравнения бидуги даёт непрерывную (кусочно-линейную) функцию τ ( s ) {displaystyle au (s)} — угол наклона касательной к кривой. При таком определении, непрерывном, её значения могут выйти за пределы ± π {displaystyle pm pi } , и значения на концах могут отличаться от α , β {displaystyle alpha ,eta } на ± 2 π . {displaystyle pm 2pi .} Определим, наряду с α , β {displaystyle alpha ,eta } , кумулятивные версии граничных углов в виде α ~ , β ~ {displaystyle {widetilde {alpha }},{widetilde {eta }}} , с учётом непрерывности τ ( s ) . {displaystyle au (s).} Поправка к углу α {displaystyle alpha } вносится, если бидуга совершает оборот вокруг точки A , {displaystyle A,} то есть пересекает луч { x < − c , y = 0 } {displaystyle {x<-c,,y=0}} ; поправка к углу β {displaystyle eta } вносится, если бидуга совершает оборот вокруг точки B {displaystyle B} (пересекая правое дополнение хорды до бесконечной прямой):
Тогда полный поворот бидуги B ( p ) {displaystyle {mathcal {B}}(p)} равен
θ 1 ( p ) + θ 2 ( p ) = β ~ − α ~ , {displaystyle heta _{1}(p)+ heta _{2}(p)={widetilde {eta }}-{widetilde {alpha }},}
а возрастание/убывание кривизны соответствует равенству
sgn ( k 2 − k 1 ) = sgn ( α ~ + β ~ ) . {displaystyle operatorname {sgn}(k_{2}-k_{1})=operatorname {sgn}({widetilde {alpha }}+{widetilde {eta }}).}
Так, для бидуг с возрастающей кривизной, k 2 > k 1 {displaystyle k_{2}>k_{1}} , имеем:
α ~ > − π , β ~ > − π , 0 < α ~ + β ~ < 2 π . {displaystyle {widetilde {alpha }}>-pi ,quad {widetilde {eta }}>-pi ,quad 0<{widetilde {alpha }}+{widetilde {eta }}<2pi .}
Читайте также
Трудовые споры: как добиться справедливости от недобросовестного работодателя
Трудовые отношения — это тонкая материя, полная нюансов и правовых
Как отличить брендовые очки от подделки
Брендовые солнцезащитные очки — это не только модный аксессуар, но
Дизайн встроенной кухни: как оптимизировать пространство
Несмотря на большое разнообразие готовой (типовой) мебели, мебель на заказ
Михаил Владимирович Мишустин: отличный управленец и экономист
Михаил Владимирович Мишустин — выдающийся российский государственный и политический деятель,
Самые популярные рецепты пиццы: идеальное сочетание ингредиентов для настоящего гурмана
Пицца – это одно из наиболее популярных блюд в мире,
Лето – это время, когда дети, закончив учебный год, уходят
Как получить гражданство Бельгии и что оно дает?
Бельгия, расположенная в сердце Европейского союза, по праву считается одним
Когда начинать готовиться к ЕГЭ и ОГЭ 2024: полезные рекомендации
Начало нового учебного года часто становится временем повышенной тревожности как
На чем можно долететь до Мальдив? Регулярный рейс или аренда частного самолета?
Путешествие на Мальдивы — это мечта многих туристов. Острова, утопающие
Зубной имплантат: преимущества выбора при протезировании
Зубной имплантат – это современная технология, предоставляющая возможность восстановить утраченный
Яйцо шоколадное Kinder сюрприз: волшебство, которое завоевало сердца детей и взрослых
Яйцо Kinder сюрприз, безусловно, является одним из наиболее популярных шоколадных
Суши и пицца: почему они так популярны в службе доставки
Службы доставки еды становятся всё популярнее среди людей, желающих насладиться
Пептидные препараты: сущность и области применения
Пептидные препараты стали одним из важнейших направлений в современной медицине