این مقاله به دو قضیه مربوط به دایره های مماس می پردازد که ابوسهل کوهی، ریاضی دان ایرانی سده 4ق آن ها را یافته است. این دو قضیه ملهم از کتاب مأخوذات منسوب به ارشمیدس است. اصل رساله کوهی برجای نمانده، اما این دو قضیه در تحریر خواجه نصیرالدین طوسی از مأخوذات نقل شده است، و بدین ترتیب به ترجمه لاتینی این اثر در 1659 در لندن و ترجمه لاتینی دیگری در 1661 در فلورانس و نیز یک ترجمه هلندی منقح در 1695 ر...

این مقاله به دو قضیه مربوط به دایره های مماس می پردازد که ابوسهل کوهی، ریاضی دان ایرانی سده 4ق آن ها را یافته است. این دو قضیه ملهم از کتاب مأخوذات منسوب به ارشمیدس است. اصل رساله کوهی برجای نمانده، اما این دو قضیه در تحریر خواجه نصیرالدین طوسی از مأخوذات نقل شده است، و بدین ترتیب به ترجمه لاتینی این اثر در 1659 در لندن و ترجمه لاتینی دیگری در 1661 در فلورانس و نیز یک ترجمه هلندی منقح در 1695 ر...

برای هر تابع حقیقی مقدار ‎$f$‎ می توان تابع ماتریس مقدار ‎$f(x)$‎ متناظر را روی ماتریس های خودالحاق با اثر ‎$f$‎ روی مقادیر وی‍ژه ی ‎$x$‎ در تجزیه ی طیفی آن تعریف کرد. توابع ماتریسی نقش به سزایی را در محاسبات علمی و مهندسی ایفا می کنند. از جمله مثال های معروف از توابع ماتریسی می توان به تابع ‎$sqrt{x}$‎ (تابع ریشه ی دوم یک ماتریس مثبت) و تابع ‎$e^x$‎ (تابع نمایی از یک ماتریس مر...

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

ز انجایی که برای حل معادلات انتگرال منفرد (sies) که مبنای آنها مسائل تماس -شکست در مکانیک جامدات است روشهای عددی وجود دارد این روشها مبنای بسیاری از تحقیقات بوده است (که شامل روشهای هسته ی باز تولیدی می باشد .)

«قضیه حملیه» به لحاظ موضوع خود دارای تقسیماتی است.یکی از آنها تقسیم قضیه حملیه به اعتبار موضوع است. خروجی این تقسیم بندی، در متون مختلف منطقی، سه یا چهار یا پنج قسم است که به تقسیمات مثلثی و مربعی و مخمسی حملیه تعبیر شده است. ارسطوئیان تا قرن هفتم با افزودن قضیه شخصیه بر طبقه بندی که از ارسطو به جای مانده، تقسیم مثلثی را ارائه کرده اند. منطق نگاران مسلمان، از قرن هفتم با افزودن قضیه طبیعیه، تقس...

در ریاضیات‏، عمل مشتق گیری، اشتقاق گفته می شود. مبحث اشتقاق ها ارتباط نزدیکی با موضوع نیم گروه های یک پارامتری دارد. مولد بی نهایت کوچک ‎نیم گروه های یک پارامتری در شرایط خاص، همان اشتقاق است. اکنون تعمیم هایی از اشتقاق ها را به صورت جبری در نظر می گیریم. ‎$-sigma$‎اشتقاق هاو ‎$-(sigma‎, ‎ au)$‎اشتقاق هاتعمیم هایی از اشتقاق می باشند‏، که تعمیم هایی از نیم گروه های یک پارامتری‏، مرتبط با ای...

فیلسوفان مسلمان حمل اولی و شایع را به دو معنای متفاوت به کار برده‌اند: 1. به قید قضیه 2.به قید موضوع. حمل اولی و شایع به قید قضیه نخستین معنای این دو اصطلاح و به ترتیب، به معنای «اتحاد مفهومی» و «حمل مصداقی» است؛ اما حمل اولی و شایع به قید موضوع، معنایی است که بعدها اختراع شده و به ترتیب، به معنای «ارادة مفهومِ موضوع» و «ارادة مصادیق موضوع» است و در حقیقت، چیزی جز همان تفکیک معروف میان «قضیة طبی...

برای اثـبات قضیه معـروف تجزیه کهـن، حتی در جــبرهای باناخ، داشتـــــن همانی تـقـــریبی کراندار ازاهمیت ویژه ای برخوردار است. درتعمیم قضیه کهن به جبرهای توپولوژیکی، نه تنها وجود یک همانی تقریبی کراندار کماکـــان مورد نیاز است. بلکه برای اثـــــــبات قضیه، کرانداری قویــتری نیز اعمال شده است . دراین مقالـــه ضمن مطالعه یک مسئله باز معروف نسبتا قدیمی، در مورد همانی های تقریبی کرانداری یکنواخت، در ...

قضیه ای کلاسیک در نظریۀ گروه ها می گوید اگر G یک 2-گروه متناهی باشد که تنها یک عضو مرتبۀ 2 دارد، آن گاه  G دوری است یا با یک ٢-گروه کواترنیون تعمیم یافته یکریخت است. هدف این نوشته، ارائۀ برهانی جدید برای این قضیه است.