عبارت مورد نظر خود را بنویسید
زاویه داخلی دایره زاویهای است که در داخل دایره تشکیل میشود زمانی که دو وتر با هم تقاطع میکنند. این زاویه همچنین میتواند به عنوان زاویهای تعریف شود که در یک نقطه روی دایره، توسط دو نقطه دیگر روی دایره ایجاد میشود. بر اساس قضیه زاویه داخلی، اندازه این زاویه نصف اندازه زاویه مرکزی است که همان کمان را میپوشاند.
حوزه بدون محدودیت (Unrestricted Domain) در نظریه انتخاب اجتماعی، به ویژگیای از تابع رفاه اجتماعی اشاره دارد که تمام ترجیحات رأیدهندگان را بدون در نظر گرفتن ملاحظات دیگر، در نظر میگیرد. این مفهوم، یکی از پیشنیازهای اساسی برای توابع انتخاب اجتماعی است و در قضیه محالیت ارو نقش کلیدی ایفا میکند.
قضیهٔ گنومون بیان میکند که در برخی موازیالاضلاعها که در گنومون تشکیل میشوند، مساحتهای برابر وجود دارد. این قضیه در هندسهٔ اقلیدسی ریشه دارد و کاربردهای مهمی در ساخت اشکال هندسی و تبدیل مسائل هندسی به جبر دارد.
نوبورو ایتو، آهنگساز ژاپنی، با آثاری تجربی برای پیانو، ارکستر مجلسی و باله شناخته میشود. آثار او در رقابتهای هنری المپیک ۱۹۳۶ حضور داشتند. ایتو همچنین برای فیلمهای استودیوهای PCL و توهو در دهههای ۱۹۳۰ و ۱۹۴۰ موسیقی ساخت.
قضیه دنوآ در ریاضیات، شرط کافی برای همارزی توپولوژیکی یک دیفئومورفیسم دایره با چرخش غیرجبری را بیان میکند. این قضیه توسط دنوآ در جریان طبقهبندی توپولوژیکی هومئومورفیسمهای دایره اثبات شد. او همچنین مثالی از دیفئومورفیسم C1 با عدد چرخشی غیرجبری ارائه کرد که با چرخش همارز نیست.
توموهیکو ایتو، متولد ۲۸ مه ۱۹۷۸ در استان اوساکا، یک دروازهبان سابق فوتبال ژاپنی است. او دوران حرفهای خود را در باشگاههای مختلفی از جمله ناگویا اسسی، ونتفورِت کوفو، شونان بِلمارِه و سِرِزو اوساکا سپری کرد. با وجود رقابت شدید، ایتو در مقاطعی به عنوان دروازهبان اصلی بازی کرد، اما در نهایت در سال ۲۰۱۰ از فوتبال خداحافظی کرد.
قضیه والاس-بولیایی-گرویِن در هندسه، که به نام ویلیام والاس، فارکاس بولیایی و پ. گرویِن نامگذاری شده، بیان میکند که دو چندضلعی را میتوان با برش به قطعات محدود و بازچینی آنها با جابجایی و چرخش، به یکدیگر تبدیل کرد، به شرطی که مساحت آنها برابر باشد.
قضیه ایتو-نیسيو، اثباتشده توسط ریاضیدانان ژاپنی در ۱۹۶۸، همگرایی مجموع متغیرهای تصادفی مستقل و متقارن در فضاهای باناخ را بررسی میکند. این قضیه معادلهای مختلفی برای همگرایی تقریباً حتمی، همگرایی به احتمال و تنگش یکنواخت ارائه میدهد و به تعمیم حرکت براونی میانجامد.
آسکولد ایوانوویچ وینوگرادوف (۱۹۲۹–۳۱ دسامبر ۲۰۰۵) ریاضیدان روس بود که در نظریه تحلیلی اعداد پژوهش میکرد. نام او با قضیه بمبیری–وینوگرادوف، از نتایج مهم درباره توزیع اعداد اول، پیوند خورده است.
برهان قطری تکنیکی خلاقانه در ریاضیات است که در اثبات قضایای مهمی چون قضیه کانتور، پارادوکس راسل، لم قطری، قضایای ناتمامیت گودل و مسئله توقف کاربرد دارد.
الگوریتم بوزِن، که در نظریه صف و احتمال کاربرد دارد، روشی انقلابی برای محاسبه ثابت نرمالسازی G(N) در قضیه گوردن-نیول است. این الگوریتم که توسط جفری پ. بوزِن در ۱۹۷۱ معرفی شد، با کاهش چشمگیر پیچیدگی محاسباتی، امکان مدلسازی سیستمهای واقعی مانند شبکههای کامپیوتری و سیستمهای تولید انعطافپذیر را فراهم کرد.
قضیه استوارت در هندسه، رابطهای میان طول اضلاع و برآمد (cevian) در یک مثلث برقرار میکند. این قضیه به افتخار متیو استوارت، ریاضیدان اسکاتلندی، نامگذاری شده که آن را در سال ۱۷۴۶ میلادی منتشر کرد. این قضیه طول برآمد را با استفاده از طول اضلاع و بخشهای تقسیمشده توسط برآمد، مرتبط میسازد.
دانشکده مدیریت پیتر دراکر و ماسائوشی ایتو، وابسته به دانشگاه تحصیلات تکمیلی کلرمونت، به افتخار پیتر دراکر نامگذاری شده است. این دانشکده با الهام از فلسفه دراکر، مدیریت را به عنوان یک هنر لیبرال میداند که ابعاد اخلاقی، تاریخی و اجتماعی را دربرمیگیرد. با حمایت مالی ماسائوشی ایتو، این دانشکده به مرکزی پیشرو در آموزش مدیریت تبدیل شده است.
قضیه لومان-منشوف در تحلیل مختلط بیان میکند که یک تابع پیوسته با مقادیر مختلط در یک مجموعه باز از صفحه مختلط، هولومرفیک است اگر و تنها اگر معادلات کوشی-ریمان را برآورده کند. این قضیه، تعمیمی از قضیه گورسا است و شرط پیوستگی تابع را به جای مشتقپذیری فریژه بررسی میکند.
نابرابریهای چبیشف-مارکوف-استیلتjes در تحلیل ریاضی، کرانهای دقیقی را برای اندازهگیری توزیعها بر حسب گشتاورهای اولیه ارائه میدهند. این قضیه در دهه ۱۸۸۰ میلادی توسط چبیشف مطرح و توسط مارکوف و استیلتjes اثبات شد.
قضیه بریکنریج-مکلورین، نامگذاری شده به افتخار ریاضیدانان بریتانیایی قرن هجدهم، معکوس قضیه پاسکال است. این قضیه بیان میکند که اگر سه نقطه تقاطع جفت خطوط عبوری از اضلاع مقابل یک ششضلعی روی یک خط قرار بگیرند، آنگاه شش رأس ششضلعی روی یک مخروطی قرار میگیرند. این قضیه در ساخت مخروطیها از پنج نقطه و تعیین مکان نقطه ششم کاربرد دارد.
قضیه بیز، که به افتخار توماس بیز نامگذاری شده، روشی علمی برای بهروزرسانی باورها بر اساس شواهد جدید است. این قضیه کاربردهای گستردهای در حوزههای مختلف از جمله حقوق و بازاریابی دارد.
پیتر استیون لندوبر، زاده ۱۷ اوت ۱۹۴۰ در واشینگتن دی.سی، یک ریاضیدان آمریکایی است که در حوزه توپولوژی جبری فعالیت میکند. او با معرفی جبر لندوبر-نویکف و اثبات قضیه فانکتور دقیق خود، نقش مهمی در توسعه نظریههای همولوژی ایفا کرده است. لندوبر همچنین به همراه دو همکارش، نظریه همولوژی بیضوی را معرفی کرد که کاربردهای گستردهای در فرمهای ماژولار و منحنیهای بیضوی دارد.
قضیهٔ کانولوشن در ریاضیات بیان میکند که تبدیل فوریهٔ کانولوشن دو تابع (یا سیگنال) برابر با ضرب نقطهای تبدیلهای فوریهٔ آنهاست. این قضیه در حوزههای مختلف مانند حوزهٔ زمان و فرکانس کاربرد دارد و برای تبدیلهای مرتبط با فوریه نیز صادق است.
پل آلکساندر شوایتزر، ریاضیدان آمریکایی متولد ۱۹۳۷، متخصص توپولوژی دیفرانسیل، هندسی و جبری است. تحقیقات او شامل فو لیاسیونها، نظریه گره و منیفولدهای سهبعدی میشود. وی با یافتن مثال نقض برای حدس سیفرت و اثبات عدم تعمیم قضیه برگ فشرده نوویکوف به ابعاد بالاتر از ۳، سهم بسزایی در این حوزه داشته است.