ក្នុងគណិតវិទ្យា សមីការកូស៊ី-អយល័រ ឬ សមីការអយល័រ-កូស៊ី គឺជាសមីការឌីផេរ៉ង់ស្យែលលីនេអ៊ែរអូម៉ូសែនដែលមានមេគុណជាអថេរ។
តាង
គឺជាដេរីវេទី n នៃអនុគមន៍មិនស្គាល់
។ នោះសមីការកូស៊ី-អយល័រលំដាប់ n មានរាង

ដោយជំនួស
ដើម្បីបន្ថយស្វ័យគុណនៃសមីការនេះទៅជាសមីការឌីផេរ៉ង់ស្យែលលីនេអ៊ែរដែលមានមេគុណជាចំនួនថេរ។

យើងសន្មតតាង

ដោយធ្វើដេរីវេ (ឌីផេរ៉ង់ស្យែល) យើងបាន

និង

ជំនួសវាចូលក្នុងសមីការដើម យើងបាន

តំរៀបឡើងវិញ យើងបាន

យើងអាចដោះស្រាយសមីការនេះចំពោះ m ។ មានបីករណីពិសេស
- ករណីទី១៖ ឫសពីរផ្សេងគ្នា
និង 
- ករណីទី២៖ ឫសឌុប

- ករណីទី៣៖ ឫសជាចំនួនកុំផ្លិច

- ករណីទី១៖ ចំលើយផ្តល់អោយដោយ

- ករណីទី២៖ ចំលើយផ្តល់អោយដោយ

- ករណីទី៣៖ ចំលើយផ្តល់អោយដោយ

សមីការនេះអាចត្រូវបានដោះស្រាយជាមួយនឹងបំលែង
។
គេអោយសមីការ

យើងជំនួសចំលើយងាយ


យើងបាន
និង
។ ចំលើយទូទៅនៃសមីការគឺ
