四次方程式の解の公式を示した、16世紀イタリアの数学者は誰?