نمایش مبدأ برای رویه خط‌دار

[[پرونده:Bez-regelfl0.svg|upright=1.25|بندانگشتی|تعریف رویه خط‌دار]]
[[پرونده:Torse-ee.svg|upright=1.6|بندانگشتی|]]
در [[فضای اقلیدسی]] '''رویه خط‌دار''' ({{lang-en|Ruled surface}}) [[رویه (توپولوژی)|رویه‌ای]] است که از هر نقطهٔ آن خطی می‌گذرد که کاملاً روی رویه آن قرار دارد؛ بنابراین رویه با خطوط مستقیمی به نام «خطوط جاری» یا «مولدهای مستقیم‌الخط» پوشیده می‌شود که یک خانوادهٔ یک پارامتری وابسته به یک پارامتر را تشکیل می‌دهند. رویه جانبی [[استوانه]]، [[هذلولی‌گون]] [[سطح مخروطی|رویه مخروطی]] با هادی [[بیضی|بیضوی]]، و [[پیچوار]] نمونه‌های رویه خط‌دارند.

رویه‌های خط دار را می‌توان با حرکت دادن یک [[خط مستقیم]] تولید کرد.<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=311}}</ref>
بنابر این تعریف، این رویه‌ها شامل [[خانواده (هندسه)|خانوادهای]] پیوسته از خط‌های مستقیم هستند که به ''مولدها''{{یادچپ|generators}} موسومند.<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=311}}</ref>

از نظر هندسی رویه‌های خط‌دار تا بینهایت ادامه دارند، چرا خط‌های مستقیم تا بی‌نهایت ادامه دارند. برای سهولت بحث در این مدخل تنها به جای همهٔ خط مستقیم تنها بخشی از آن (یک [[پاره‌خط]]) به‌عنوان خط مولد استفاده شده‌است که بخشی منتهی و کراندار از رویه خط‌دار را تولید می‌کند.<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=311}}</ref>
== تولید صفحهٔ خط‌دار با حرکت دادن یک خط مستقیم در راستای منحنی هادی ==
منحنی <math>c_1</math> منحنی هادی است و مطلوب است که یک نقطه روی خط مستقیم (یا پاره‌خط) <math>g</math> را در راستای این منحنی حرکت دهیم. یک نقطه به‌تنهایی نمی‌تواند موقعیت یک خط مستقیم را تعیین کند و برای این امر نیاز به جهت آن هم داریم که هنگام حرکت در راستای <math>c_1</math> به‌صورت پیوسته تغییر می‌کند.<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=312}}</ref>

گیریم <math>c(u)</math> نمایش پارامتریک منحنی هادی <math>c_1</math> باشد و <math>d(u)</math> معرف بردار تغییر جهت خط مستقیمی که در حرکت است. برای محاسبهٔ موقعیت نقطهٔ دلبخواهی <math>x</math> رو رویه خط‌دار تولید شده، بردارد <math>c(u)</math> و <math>v \cdot d(u)</math> را با هم جمع می‌کنیم. بنابراین معادلهٔ پارامتریک رویه خط‌دار عبارت است از:<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=312}}</ref>

<math>x(u,v)= c(u) + v \cdot d(u)</math>

اگر جهت <math>d</math> ثابت باشد، نتیجه استوانه است که حالت خاص رویه خط‌دار محسوب می‌شود.<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=312}}</ref>
== مخروط‌گون ==
{{اصلی|مخروط‌گون}}
اگر [[خط مستقیم]] <math>c_1</math> خط هادی و <math>g</math> مولدی باشد که با <math>c_1</math> [[زاویهٔ قائم]] بسازد و تنها بتوان به دور محور خط هادی <math>g</math> را چرخاند، رویه حاصل حالت خاصی از [[مخروط‌گون]] خواهد بود. با استفاده از محور <math>z</math>-ها به عنوان خط هادی <math>c_1</math>، معادلهٔ پارامتریک این خط را می‌توان <math>c(u) = (0,0,u)</math> دانست. از آنجاکه مولد <math>g</math> بر محور <math>z</math>-ها عمود است، مختصات بردارهای جهت <math>d(u)</math> به صفر میل می‌کند. معادلهٔ پارامتریک این بردارها را می‌توان به شکل <math>d(u)=cos(f(u),sin(g(u)),0)</math> نوشت. اینجا <math>f(u)</math> و <math>g(u)</math> توابع پارامتر ارزش (ارتفاع) <math>u</math> در راستای خط هادی هستند. بنابر این، معادلهٔ پارامتریک رویه خط‌دار تولیدشده عبارت است از:<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=313}}</ref>

<math>x(u,v)=v.cos(f(u)),</math>
<math>y(u,v)=v.sin(g(u)),</math>
<math>z(u,v)=u.</math>

توابع <math>f(u)</math> و <math>g(u)</math> تغییر در جهت مولد و شکل نهایی مخروط‌گون را کنترل می‌کنند.<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=313}}</ref>

== نوار موبیوس ==
{{اصلی|نوار موبیوس}}

گیریم [[دایره]] <math>c_1</math> منحنی هادی باشد و [[پاره‌خط]] <math>g</math> به‌گونه‌ای حرکت داده‌شود که یکی از نقاط روی آن در راستای <math>c_1</math> حرکت کنند و همزمان <math>g</math> به‌شکل پیوسته به دور <math>c_1</math> بچرخد به‌شکلی که همواره بر آن عمود باشد. پاره‌خط وقتی به نقطهٔ شروع بازگردد نیم دور چرخیده است. بنابراین نقطهٔ پایان <math>g</math> نقطهٔ آغازش خواهد بود.<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=314}}</ref>

برای به‌دست آوردن معادلهٔ پارامتریک نوار موبیوس، ابتدا دایرهٔ هادی <math>c_1</math> را به‌شکل <math>c(u)= (r \cdot \cos{u}, r\cdot\sin{u}, 0)</math> تعریف می‌شود. چرخش مولد بر صفحهٔ نرمال دایره با زاویهٔ <math>\frac{u}{2}</math> خواهد بود. بنابراین با استفاده از مقدار <math>d(u) = (\cos{\frac{u}{2}} \cdot \cos{u}, \cos{\frac{u}{2}}\cdot \sin{u}, \sin{\frac{u}{2}})</math>، یک معادلهٔ پارامتری برای نوار موبیوس عبارت خواهد بود از:<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=314}}</ref>
<math>x(u,v)=r \cdot \cos{u} + v \cdot \cos{\frac{u}{2}}\cdot \cos{u}</math>
<math>y(u,v)=r \cdot \sin{u} + v \cdot \cos{\frac{u}{2}}\cdot \sin{u}</math>
<math>y(u,v)=v \cdot \cos{\frac{u}{2}}</math>

می‌توان در این معادله عبارت <math>\frac{u}{2}</math> را با تابع <math>f(u)</math> جایگزین کرد. شکل نهایی نوار موبیوس را این تابع مشخص می‌کند.<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=314}}</ref>

== رویه خط‌دار با وصل‌کردن نقاط متناظر دو منحنی ==
با وصل کردن نقاط متناظر روی دو منحنی فضایی <math>c_1(u)</math> و <math>c_2(u)</math> یک رویه خط‌دار تولید می‌شود. نقاط متناظر نقاطی هستند که پارامتر <math>u</math> یکسانی دارند. بستهٔ به نمایش پارامتری دو منحنی، با همان دو منحنی <math>c_1(u)</math> و <math>c_2(u)</math> می‌توان تعداد بیشماری رویه خط‌دار تولید کرد.<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=315}}</ref>

به دلیل آزادی تقریباً کامل در انتخاب منحنی‌های هادی و نمایش پارامتری آن‌ها، این روش گستردگی بسیاری در ایجاد اشکال مختلف دارد.<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=315}}</ref>

== سهمی‌گون هذلولی ==
سهمی‌گون‌های هذلولی خواص استاتیکی مثبتی دارند که در ساخت پوسته‌هایی با دهانهٔ بزرگ و ضخامت کم به‌کار می‌آید و ازین رو عناصری رایج در طراحی معماری هستند.<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=316}}</ref>

برای تولید سهمی‌گون هذلولی، دو پاره‌خط مورب <math>ab</math> و <math>dc</math> و نمایش پارامتری برای نشان دادن نقاط متناظر <math>p</math> و <math>q</math> روی آن دو پاره‌خط در نظر گرفته می‌شود. آن‌گاه خط رویه‌ای <math>g</math> با وصل کردن نقاط <math>p</math> و <math>q</math> به همدیگر به‌دست می‌آید.<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=316}}</ref>

به‌صورت دستی، این کار را به‌راحتی و با تقسیم کردن <math>ab</math> و <math>dc</math> به نسبت‌های یکسان می‌توان انجام داد، یعنی <math>dist(a,p) : dist(p,b) = dist(d,q) : dist(q,c)</math>. برای یافتن نمایشی پارامتری از رویه سهمی‌گون هذلولی، بردارهای موقعیت نقاط <math>p</math> و <math>q</math> محاسبه می‌شود و <math>p(u) = a + u \cdot ( b - a)= (1-  u) \cdot a + u \cdot b </math> و <math>q(u) = (1-u) \cdot d+u \cdot c</math> به دست می‌آید. سپس نقطهٔ فرضی <math>x</math> روی خط رویه‌ای <math>g(u)</math> که نقاط <math>p</math> و <math>q</math> را به هم وصل می‌کند محاسبه می‌شود:<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=316}}</ref>

<math>x = (1 - v) \cdot p + v \cdot q = (1 - v) \cdot [(1- u ) \cdot a + u \cdot b] + v \cdot [(1 - u) \cdot d + u \cdot c]</math>

در نهایت این نمایش را می‌توان به شکل زیر گسترش داد:<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=316}}</ref>

<math>x(u,v) = (1 - v)\cdot (1 - u)\cdot a + (1 - v)\cdot u\cdot b + v\cdot (1 - u)\cdot d + v\cdot u\cdot c</math>

اگر مقدار پارامتری‌های <math>u</math> و <math>v</math> بین صفر و یک باشد، نقطهٔ روی رویه سهمی‌گون هذلولی به‌دست آمده در محدودهٔ متوازی‌الأضلاع <math>abcd</math> محصور خواهد بود. اگر مقداری بیشتر از یک یا کمتر از صفر به این پارامترها داده شود نقطه‌ای بیرون از این محدوده روی رویه بدست خواهد آمد.<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=317}}</ref>

نمایش پارامتری رویه سهمی‌گون هذلولی نسبت به هر دو پارامتر <math>u</math> و <math>v</math> خطی است. می‌توان آن را به شکل زیر بازنویسی کرد:<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=317}}</ref>

<math>x(u,v) = (1 - u)\cdot[(1-v) \cdot a+v \cdot d] + u \cdot [(1 - v) \cdot b + v \cdot c]</math>

اگر <math>r(v) = (1 - v) \cdot a + v \cdot d</math> و <math>s(v) = (1 - v) \cdot b + v \cdot c</math> مکان بردارهای نقاط <math>r</math> و <math>s</math> باشند، می‌توان خانواده‌ای دیگر از خطوط مستقیم رویه‌ای (<math>h(v)</math>) بدست آورد که با تقسیم پاره‌خط‌های <math>ad</math> و <math>bc</math> به نسبت‌های یکسان تولید می‌شود.<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=317}}</ref>

همهٔ خط‌های رویه‌ای یک سهمی‌گون هذلولی که متعلق به یک خانواده باشند با یک «صفحهٔ هادی» موازی‌اند. به‌عبارت دقیق‌تر، هر صفحهٔ <math>D</math> که موازی دو خط رویه‌ای مجازی از یک خانواده باشد به مجموعه‌ای از صفحه‌های موازی تعلق دارد. هر سهمی‌گون هذلولی دو خانواده از این صفحه‌های هادی دارد که هر خانواده متناظر یک خانواده از خطوط رویه‌ای آنند.<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=318}}</ref>

سهمی‌گون هذلولی تنها یک صفحهٔ مماس دارد که به هر دو خانواده صفحه‌های هادی عمود باشد. نقطه‌ای که در آن این صفحه بر رویه سهمی‌گون هذلولی مماس است «رأس» (<math>v</math>) آن نامیده می‌شود. خط نرمال بر رویه سهمی‌گون هذلولی در نقطهٔ <math>v</math> «محور» آن است.<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=318}}</ref>

سهمی‌گون هذلولی را به‌عنوان یک [[سطح انتقالی|رویه انتقالی]] هم می‌توان ساخت.<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=316}}</ref>
برای این کار به دو منحنی (سهمی) نیاز است که می‌توان آن‌ها را با تقاطع رویه با دو صفحه هادی متناظر بدست آورد.<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=318}}</ref>

== خطوط رویه‌ای قوزکی ==
صفحهٔ مماس بر هر نقطهٔ <math>p</math> از یک رویه خط‌دار در خود خط رویه‌ای <math>g</math> را (که از نقطهٔ <math>p</math> می‌گذرد) خواهد داشت. این صفحه در اغلب موارد تنها در نقطهٔ <math>p</math> بر رویه خط‌دار مماس است. در برخی موارد صفحه در سراسر خط <math>g</math> بر صفحه مماس است. این خطوط رویه‌ای <math>g</math> «خط مولد قوزکی»{{یادچپ| torsal generators}} نامیده می‌شوند. در مخروط‌گون‌ها، خطوط مولد قوزکی روی صفحهٔ تقارن رویه قرار دارند.<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=318}}</ref>

رویه‌های خط‌داری که تنها حامل خطوط مولد قوزکی باشند {{پم|رویه گسترش‌پذیر|developable surface}} نام دارند و سطوحی که اکثر خطوط رویه‌ای آن غیرقوزکی باشند به رویه‌های خط‌دار اریب{{یادچپ|skew ruled surfaces}} موسومند. استوانه‌ها، مخروط‌ها، و رویه‌های خط‌داری که شامل مماس‌های منحنی‌های فضایی باشند از رویه‌های گسترش‌پذیرند.<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=320}}</ref>

== رویه‌های خط‌دار مضاعف ==
سهمی‌گون‌های هذلولی و هذلولی‌گون‌های یک‌پارچه هر کدام دو خانواده از خط‌های رویه‌ای مستقیم را در خود دارند. هر کدام از این خانواده‌های خطوط رویه‌ای مشترکاً کجند ولی همهٔ خط‌های رویه‌ای خانوادهٔ دیگر را قطع می‌کنند. این رویه‌ها رویه‌های خط‌دار مضاعف{{یادچپ|double ruled surface}} خوانده می‌شوند.<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=318}}</ref>
برای هر نقطهٔ <math>x</math> روی رویه خط‌دار مضاعف دو خط رویه‌ای <math>g_x</math> و <math>h_x</math> وجود دارد. این دو خط صفحهٔ مماس بر رویه در نقطهٔ <math>x</math> را تعریف می‌کنند.<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=318}}</ref>
می‌توان ثابت کرد سهمی‌گون‌های هذلولی و هذلولی‌گون‌های یک‌پارچه تنها رویه‌های خط‌دار مضاعف هستند.<ref>{{harvcolnb|Pottmann | Asperl | Hofer | Kilian | 2007 | p=318}}</ref>

== یادداشت‌ها ==
{{یادداشت}}
== منابع ==
{{پانویس|۲|چپ‌چین=بله}}
* {{MathWorld |title=Ruled Surface |id=RuledSurface}}
* {{یادکرد-ویکی|پیوند =//en.wikipedia.org/w/index.php?title=Ruled_surface&oldid=969543738|عنوان = Ruled surface|زبان =انگلیسی|بازیابی =۱۵ اوت ۲۰۲۰}}
* {{cite book | last=Pottmann | first=Helmut | last2=Asperl | first2=Andreas | last3=Hofer | first3=Michael | last4=Kilian | first4=Axel | last5=Bentley | first5=Daril | title=Architectural geometry | url=https://archive.org/details/architecturalgeo0000unse | publisher=Bentley Institute Press | year=2007 | isbn=1-934493-04-X | oclc=180177477 | ref=harv}}
{{-}}
== پیوند به بیرون ==
{{انبار-رده}}

[[رده:اشکال هندسی]]
[[رده:رویه‌ها]]
[[رده:رویه‌های جبری]]
[[رده:هندسه تحلیلی]]
[[رده:هندسه دیفرانسیل]]
[[رده:هندسه دیفرانسیل رویه‌ها]]