Noncommutative Geometry of the Moyal Plane: Translation Isometries, Connes' Distance on Coherent States, Pythagoras Equality