具体的には、複素数(は実数)(は虚数単位)の絶対値は次の式で定義される: