Casus irreducibilis (с лат. — «неприводимый случай») — это случай, который может возникнуть при решении кубического уравнения с целыми коэффициентами, когда корни выражаются радикалами. А именно, если кубический многочлен является неприводимым над рациональными числами и имеет три вещественных корня, то для выражения корней через радикалы нужно вводить комплексно-значные выражения, даже если результирующие значения выражений вещественны. Это было доказано Пьером Ванцелем в 1843[1].