対角化可能な行列Aに対しては、Z^2＝Aを満たす行列Zが必ず存在する。
これを示せ。

これはどうやって示せばよいのか教えてください。