ResPubID9391. triangle inequality, Diaz-Metcalf inequality, reserse inequality, complex inner product space