Für k=0 sollten diese Schnittkrümmungen genau H² sein.
Ja, hab's nachgerechnet (mit Maxima).
Die Formel für den Winkelexzess ist $$4\pi \frac{A}{Kugeloberfläche}=4\pi \frac{A}{4\pi R²}=A H^2,$$ wenn A die Fläche des Dreiecks ist und H der Hubbleparameter. Das gibt z.B. für ein Dreieck von 1 GLj² Fläche einen Winkelüberschuss von 5,3 mrad = 0,3°.
Zur Erläuterung: Die Schnittkrümmung ist die Krümmung einer Fläche, die entlang von Geodäten aus der Raumzeit geschnitten wir. Da Geodäten bei gegebener Anfangsrichtung eindeutig bestimmt sind, ist das so etwas wie ein "natürlicher Schnitt" durch die Raumzeit. Die Summe all solcher Schnittebenen senkrecht zur Zeitachse eines Beobachters bilden entsprechend einen "natürlichen Raum" für diesen Beobachter. Geeignet vermessen ist dieser Raum die nächste Entsprechung des statischen Raums der SRT in der ART (darum nennt man das dann Normalkoordinaten).
Wenn man ein (möglichst) starres Dreieck baut, dann ist auch die Krümmung dieses Raums (also die Schnittkrümmung) verantwortlich für etwaige Abweichungen der Winkelsumme von 180°.
Wenn man stattdessen einen expandierenden Raum herausschneidet wie in der Kosmologie, dann erfolgt dieser Schnitt
nicht entlang von Geodäten. Und alleine diese Art, die Raumzeit zu schneiden, führt zu einer negativen Krümmung des so entstandenen Raums von -H². Im falle eines flachen Universums hebt diese Art des Schneidens die "natürliche Krümmung" des Raums gerade auf, so dass der Schnitt in Summe flach ist.
Auf das Dreieck übertragen heißt das: bewegen sich die Eckpunkte des Dreiecks mit dem Hubble-Fluss auseinander, dann entspricht die Winkelsumme gerade wieder 180°.
Den Unterschied zwischen natürlichen und expandierenden Koordinaten kann man sich mit wie gesagt mit Aberration erklären: In Normalkoordinaten bewegen sich die Eckpunkte des expandierenden Dreiecks, und deswegen sieht jeder Punkt die beiden anderen enger beieinanderstehen, was die Winkelsumme verringert. Wer will, kann das in flacher Raumzeit mal nachrechnen (nicht für Einsteiger geeignet).