پرش به محتوا

گسترنده

از ویکی‌پدیا، دانشنامهٔ آزاد
منحنی آبی‌رنگ یک بیضی است. نقاط قرمز نشان‌دهنده خط سیر مراکز مختلف انحنای محلی هستند. این نقاط قرمز در کنار هم گسترندهٔ بیضی را تشکیل می‌دهند.

در هندسه مسطح، گُستَرَندهٔ[۱] یا اولوت (انگلیسی: Evolute) یک منحنی هموار، مکان هندسی (مجموعه) تمام مراکز انحنای محلی آن منحنی است.

اگر C یک منحنی هموار با شعاع انحنای غیر صفر و متناهی باشد و E گسترنده C باشد، آنگاه C یک گستران از E است. برعکس، گسترندهٔ یک گستران، منحنی اصلی است.

مقادیر حدی

[ویرایش]

اگر شعاع انحنای C به یک حداقل یا حداکثر محلی معمولی برسد، گسترنده C یک نقطه تکین دارد که به شکل یک تیزه دیده می‌شود.

اگر C یک منحنی بسته محدب هموار با شعاع انحنای متناهی در همه جا باشد (به ویژه، بدون بخش‌های مستقیم)، و p نقطه‌ای از صفحه باشد که روی گسترنده C قرار ندارد، آنگاه فاصله C تا p دارای تعداد محدودی کمینه محلی است، و این تعداد برابر است با یک به اضافه (مقدار مطلق) عدد پیچش گسترنده C در اطراف p.

مثال

[ویرایش]

در شکل بیضی بالا، شعاع انحنا به چهار فرینه (اکسترمم) محلی می‌رسد، هر بار در نقاط تقاطع با محورها؛ بنابراین، چهار نقطه تکین روی گسترنده وجود دارد که در شکل به صورت برآمدگی‌های تیز قابل مشاهده است. نقاط صفحه که در داخل گسترنده قرار دارند، دارای دو کمینه محلی برای فاصله تا بیضی هستند. نقاطی که خارج از گسترنده قرار دارند، تنها یک چنین کمینه محلی دارند. گسترنده سهمی، سهمی نیمه‌مکعبی است.

توضیحات بیشتر

[ویرایش]
گسترنده یک منحنی (در این مورد، یک بیضی) پوشش دهنده خطوط نرمال آن است.
گسترنده یک منحنی (سهمی آبی رنگ) مکان هندسی تمام مراکز انحنای آن است (قرمز).

در هندسه دیفرانسیل منحنی‌ها، گسترنده یک منحنی، مکان هندسی همه مراکز انحنای آن است. به عبارت دیگر، هنگامی که مرکز انحنای هر نقطه روی منحنی رسم شود، شکل حاصل گسترنده آن منحنی خواهد بود؛ بنابراین، گسترنده یک دایره یک نقطه واحد در مرکز آن است.[۲] به‌طور معادل، یک گسترنده منحنی محاطی عمودهای یک منحنی است.

گسترنده یک منحنی، یک رویه، یا به‌طور کلی یک زیرخمینه، خط سیر (caustic) نگاشت نرمال است. فرض کنید M یک زیرخمینه هموار و منظم در Rn باشد. برای هر نقطه p در M و هر بردار v که در p قرار دارد و بر M عمود است، نقطه p + v را به آن مرتبط می‌کنیم. این یک نگاشت لاگرانژی را تعریف می‌کند که نگاشت نرمال نامیده می‌شود. خط سیر نگاشت نرمال، گسترنده M است.[۳]

گسترنده‌ها ارتباط نزدیکی با گستران‌ها دارند: یک منحنی گسترنده هر یک از گستران‌های خود است.

تاریخچه

[ویرایش]

آپولونیوس (حدود ۲۰۰ میلادی) در کتاب V از کتاب خود «مقاطع مخروطی» به گسترنده‌ها پرداخت. با این حال، گاهی اوقات کریستیان هویگنس (۱۶۷۳) به عنوان اولین کسی که آنها را مطالعه کرد، شناخته می‌شود. هویگنس نظریه خود را در مورد گسترنده‌ها در حدود سال ۱۶۵۹ تدوین کرد تا به حل مشکل یافتن خم هم‌زمانی کمک کند، که به نوبه خود به او در ساخت یک آونگ هم‌زمان کمک کرد. این به این دلیل بود که منحنی تاتوکرون یک چرخ‌زاد است و چرخ‌زاد دارای ویژگی منحصر به فردی است که گسترنده آن نیز یک چرخ‌زاد است. در واقع، نظریه گسترنده‌ها به هویگنس اجازه داد تا به نتایج زیادی دست یابد که بعداً با استفاده از حساب دیفرانسیل و انتگرال به دست آمد.[۴]

گسترنده یک منحنی پارامتری

[ویرایش]

اگر نمایش پارامتری یک منحنی در صفحه باشد که انحنای آن هیچ جا صفر نیست و شعاع انحنای آن و نرمال واحد به سمت مرکز انحنا باشد، آنگاه گسترنده منحنی داده شده را توصیف می‌کند.

برای and به دست می‌آید: and

ویژگی‌های گسترنده

[ویرایش]
خط نرمال در نقطه P مماس بر مرکز انحنا C است.

برای به دست آوردن خواص یک منحنی منظم، استفاده از طول قوس منحنی داده شده به عنوان پارامتر آن، به دلیل و (به فرمول‌های فرنه-سره مراجعه کنید) مفید است. از این رو بردار مماس گسترنده برابر است با: از این معادله می‌توان ویژگی‌های زیر را برای گسترنده به دست آورد:

  • در نقاطی که است، گسترنده *منظم نیست*. به این معنی که: در نقاطی که دارای انحنای حداکثر یا حداقل هستند (رئوس منحنی داده شده)، گسترنده دارای *تیزه* است. (به نمودارهای گسترنده‌های سهمی، بیضی، دایره و گرده‌گون مراجعه کنید)
  • برای هر کمانی از گسترنده که شامل تیزه‌ای نیست، طول کمان برابر است با تفاوت بین شعاع‌های انحنا در نقاط انتهایی آن. این واقعیت منجر به اثبات ساده‌ای از قضیه تیت-کنسر در مورد تو در تو بودن دایره‌های بوسان می‌شود.[۵]
  • خطوط نرمال منحنی داده شده در نقاط با انحنای غیر صفر، مماس بر گسترنده هستند، و نرمال‌های منحنی در نقاط با انحنای صفر، مجانب گسترنده هستند. از این رو: گسترنده «پوشش دهنده خطوط نرمال» منحنی داده شده است.
  • در بخش‌هایی از منحنی که یا است، منحنی یک «گستران» از گسترنده خود است. (در نمودار: سهمی آبی یک گستران از سهمی نیمه‌مکعبی قرمز است که در واقع گسترنده سهمی آبی است)

اثبات ویژگی آخر: فرض کنید در بخش مورد نظر باشد. یک گستران از گسترنده را می‌توان به صورت زیر توصیف کرد: که یک گسترش ثابت نخ است (به گستران مراجعه کنید).
با و به دست می‌آید این به این معنی است: برای گسترش نخ ، منحنی داده شده بازتولید می‌شود.

  • منحنی‌های موازی گسترنده یکسانی دارند.

اثبات: یک منحنی موازی با فاصله از منحنی داده شده دارای نمایش پارامتری و شعاع انحنای است (به منحنی موازی مراجعه کنید). از این رو گسترنده منحنی موازی برابر است با:

مثال‌ها

[ویرایش]

گسترنده یک سهمی

[ویرایش]

برای سهمی با نمایش پارامتری از فرمول‌های بالا معادلات زیر به دست می‌آیند: که یک سهمی نیمه‌مکعبی را توصیف می‌کند.

گسترنده (قرمز) یک بیضی

گسترنده یک بیضی

[ویرایش]

برای بیضی با نمایش پارامتری به دست می‌آید:[۶] اینها معادلات یک ستاره‌گون نامتقارن هستند. حذف پارامتر منجر به نمایش ضمنی می‌شود

چرخ‌زاد (آبی)، دایره بوسان آن (قرمز) و گسترنده آن (سبز).

گسترنده یک چرخ‌زاد

[ویرایش]

برای چرخ‌زاد با نمایش پارامتری ، گسترنده به صورت زیر خواهد بود:[۷] که یک کپی جابجا شده از خودش را توصیف می‌کند.

گسترنده گُرده‌گون (نفروئید) بزرگ (آبی)، گرده‌گون کوچک (قرمز) است.

گسترنده منحنی‌های لگاریتمی-زیبایی‌شناختی

[ویرایش]

گسترنده یک منحنی لگاریتمی-زیبایی‌شناختی، یک منحنی لگاریتمی-زیبایی‌شناختی دیگر است.[۸] یک نمونه از این رابطه این است که گسترنده یک مارپیچ اویلر یک مارپیچ با Cesàro equation است.[۹]

گسترنده‌های برخی از منحنی‌ها

[ویرایش]

گسترندهٔ

منحنی شعاعی

[ویرایش]

منحنی با تعریف مشابه، شعاعی یک منحنی داده شده است. برای هر نقطه روی منحنی، بردار از نقطه به مرکز انحنا را در نظر بگیرید و آن را طوری انتقال دهید که از مبدأ شروع شود. سپس به مکان هندسی نقاط انتهایی چنین بردارهایی، شعاعی منحنی گفته می‌شود. معادله شعاعی با حذف عبارات x و y از معادله گسترنده به دست می‌آید. این به صورت زیر است:

منابع

[ویرایش]
  1. سید سراج حمیدی. “گسترنده منحنی — به زبان ساده. ” فرادرس - مجله. مجله فرادرس، گسترنده-منحنی
  2. Weisstein, Eric W. "Circle Evolute". MathWorld.
  3. Arnold, V. I.; Varchenko, A. N.; Gusein-Zade, S. M. (1985). The Classification of Critical Points, Caustics and Wave Fronts: Singularities of Differentiable Maps, Vol 1. Birkhäuser. ISBN 0-8176-3187-9.
  4. Yoder, Joella G. (2004). Unrolling Time: Christiaan Huygens and the Mathematization of Nature. انتشارات دانشگاه کمبریج.
  5. Ghys, Étienne; Tabachnikov, Sergei; Timorin, Vladlen (2013). "Osculating curves: around the Tait-Kneser theorem". The Mathematical Intelligencer. 35 (1): 61–66. arXiv:1207.5662. doi:10.1007/s00283-012-9336-6. MR 3041992.
  6. R.Courant: Vorlesungen über Differential- und Integralrechnung. Band 1, Springer-Verlag, 1955, S. 268.
  7. Weisstein, Eric W. "Cycloid Evolute". MathWorld.
  8. Yoshida, N. , & Saito, T. (2012). "The Evolutes of Log-Aesthetic Planar Curves and the Drawable Boundaries of the Curve Segments". Computer-Aided Design and Applications. 9 (5): 721–731. doi:10.3722/cadaps.2012.721-731.{{cite journal}}: نگهداری یادکرد:نام‌های متعدد:فهرست نویسندگان (link)
  9. [[۱](https://linebender.org/wiki/curves/euler-spiral-evolute/) "Evolute of the Euler spiral"]. Linebender wiki. 2024-03-11. {{cite web}}: Check |url= value (help)