In the first part of paper, we use states on $C^*$-algebras in order to establish some equivalent statements equality triangle inequality, as well parallelogram identity for elements a pre-Hilbert $C^*$-module. We also characterize case inequality adjointable operators Hilbert Then give certain necessary and sufficient conditions Pythagoras two vectors $C^*$-module under assumption that their i...