User:NorwegianBlue/refdesk#Cubic equations with three real.2C irrational roots