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

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

اپل (apple) شرکت طراحی، تولید و تجارت ارتباطات تلفن همراه و تجهیزات ارتباط رسانه ای، رایانه های شخصی، دستگاه های قابل حمل موسیقی دیجیتال، و نیز فروش انواع نرم افزار های مرتبط، خدمات، لوازم جانبی، راه حل هایی برای شبکه، و محتوای دیجیتال شخص سوم و برنامه های کاربردی (applications) است. 

در کشور شیلی، صنعت جلبک دریایی، پشتوانه ای برای تقویت اقتصاد جوامع روستایی، فراهم کردن امنیت غذایی و مورد علاقه سرآشپزها است. در منطقه آمریکای لاتین 34 میلیون نفر امنیت غذایی ندارند و حدود 47 درصد از مردم در مناطق روستایی و با درآمدهای اندک زندگی می کنند. در کشور شیلی که در این منطقه قرار دارد با کشت و پرورش جلبک های دریایی، صنعتی نسبتاً پرسود برای 30000 نفر به وجود آمده است. 
شیلی 750 گونه جلبک دریایی دارد. این کشور غذاهایی سنتی دارد که در آنها از جلبک به عنوان جایگزین گوشت استفاده می شود. جلبک دریایی از لحاظ عطر و طعم محبوبیت زیادی در این کشور دارد و از میزان بالایی از اسید آمینه گلوتامات مونو سدیم برخوردار است.