以下の関数が微分可能かどうかを証明し、求めなさい。
(1)y=x^3-4x(x=1)
(2)y=|x(x-3)|(x=3)
(3)y=x[x](x=1)