Hi Giulio,
You are right. All RTK-related calculations are done in Geocentric coordinates. So we use all power of Pythagorean theorem:) Antenna-related calculations are done in Topocentric coordinate system, that is rotated against Geocentric. But it is also Cartesian, so Pythagorean theorem is...