Geometry and Experience, French Translation Section section-0016

Nous demandons maintenant : Quelles sont les lois de position des ombres des petits disques L′ sur le plan E ? Eh bien, exactement les mêmes que les lois de position des petits disques L sur la surface de la sphère. Car à chaque figure originale sur K correspond une figure d’ombre sur E. Si deux petits disques se touchent sur K, leurs ombres se touchent de même sur E. La géométrie des ombres sur le plan concorde avec la géométrie des petits disques sur la sphère. Si nous considérons les ombres des petits disques comme des figures rigides, la géométrie sphérique est valable par rapport à celles-ci sur le plan E. Il faut noter particulièrement que le plan est fini par rapport aux ombres des petits disques, étant donné que les ombres ne peuvent trouver place sur le plan qu’en nombre fini. Mais on pourrait nous dire : « Cela est absurde ; les ombres des petits disques ne sont précisément pas des figures rigides. Il nous suffirait de déplacer une règle sur le plan E pour nous convaincre que les ombres deviennent de plus en plus grandes, lorsqu’elles glissent sur le plan de S vers l’infini. » Mais qu’arriverait-il si les règles sur le plan E se comportaient de la même façon que les ombres des petits disques L′ ? Alors on ne pourrait plus constater que les ombres croissent en s’éloignant de S ; cette affirmation n’aurait plus aucun sens. La seule chose qu’on puisse énoncer objectivement sur les ombres des petits disques est précisément qu’elles se comportent, géométriquement, exactement de la même façon que de petits disques rigides sur la surface de la sphère dans le sens de la géométrie euclidienne. Il faut bien dire que notre affirmation sur l’accroissement des ombres des petits disques, quand elles glissent de S vers l’infini, n’a en elle-même aucune signification objective, tant que nous n’avons pas pris comme termes de comparaison des corps rigides euclidiens qui peuvent être déplacés sur E. Le point S sur le plan est, par rapport aux lois de position des ombres L′, aussi peu privilégié que sur la surface de la sphère.

We now ask: what are the positional laws of the shadows L′ of the small disks on the plane E? They are exactly the same as the positional laws of the small disks L on the surface of the sphere. For every original figure on K corresponds to a shadow figure on E. If two small disks touch on K, their shadows likewise touch on E. The geometry of the shadows on the plane agrees with the geometry of the small disks on the sphere. If we regard the shadows of the small disks as rigid figures, spherical geometry is valid for them on the plane E. It should be noted in particular that the plane is finite with respect to the shadows of the small disks, since only a finite number of shadows can find room on the plane.

But we might be told: “This is absurd; the shadows of the small disks are precisely not rigid figures. We need only move a ruler over the plane E to convince ourselves that the shadows become larger and larger as they glide over the plane from S toward infinity.” But what would happen if the rulers on the plane E behaved in the same way as the shadows L′ of the small disks? It would then no longer be possible to determine that the shadows grow as they recede from S; the assertion would no longer have any meaning. The only objective statement that can be made about the shadows of the small disks is precisely that, geometrically, they behave in exactly the same way as small rigid disks on the surface of the sphere in the sense of Euclidean geometry. We must indeed say that our assertion concerning the growth of the shadows of the small disks as they glide from S toward infinity has in itself no objective meaning so long as we have not adopted as standards of comparison Euclidean rigid bodies that can be moved over E. With respect to the positional laws of the shadows L′, the point S on the plane is no more privileged than any point on the surface of the sphere.