  We discuss a version of Pythagoras theorem in noncommutative geometry. Usual
Pythagoras theorem can be formulated in terms of Connes' distance, between pure
states, in the product of commutative spectral triples. We investigate the
generalization to both non pure states and arbitrary spectral triples. We show
that Pythagoras theorem is replaced by some Pythagoras inequalities, that we
prove for the product of arbitrary (i.e. non-necessarily commutative) spectral
triples, assuming only some unitality condition. We show that these
inequalities are optimal, and provide non-unital counter-examples inspired by
K-homology.
