In 1960, Sobolev proved that for a finite reflection group $G$, a $G$-invariant cubature formula is of degree $t$ if and only if it is exact for all $G$-invariant polynomials of degree at most $t$. In this paper, we make some observations on invariant cubature formulas and Euclidean designs in connection with the Sobolev theorem. First, we give an alternative proof of theorems by Xu (1998) on necessary and sufficient conditions for the existence of cubature formulas with some strong symmetry. The new proof is shorter and simpler compared to the original one by Xu, and, moreover, gives a general interpretation of the analytically-written conditions of Xu's theorems. Second, we extend a theorem by Neumaier and Seidel (1988) on Euclidean designs to invariant Euclidean designs, and thereby classify tight Euclidean designs obtained from unions of the orbits of the corner vectors. This result generalizes a theorem of Bajnok (2007), which classifies tight Euclidean designs invariant under the Weyl group of type $B$, to other finite reflection groups.

If five spheres σ0, σ1, …, σ4 touch each other externally and have radii in geometrical progression, there is a dilative rotation mapping σ0, σ1, σ2, σ3, to σ1, σ2, σ3, σ4; the dilatation factor is shown to be negative. The ten points of contact of the spheres lie by fours on 15 circles, forming a (154106) configuration in inversive space. In the corresponding configuration in the inversive plane, the 15 circles meet again in 60 points, which lie by fours on 45 circles touching by threes at each of the 60 points, and forming a configuration isomorphic to that of 60 Pascal lines (associated with six points on a conic) meeting by fours at 45 points. The 45 circles arise from ten Money-Coutts configurations of nine anti-tangent cycles. Conjectures are made about other circles through the 60 points.