Corollary 2.2. If Sn is the symmetric Pascal matrix of order n defined
by (1), then det(Sn) = 1, for any positive integer n.
Proof. Let Sn be the symmetric Pascal matrix of order n defined by
(1). By Theorem 2.1, we know that Sn = LnUn, where Ln is the lower
triangular Pascal matrix of order n defined by (2) and Un is the upper
triangular Pascal matrix of order n defined by (3). Since Ln and Un
are triangular matrices, then det(Ln) = 1 and det(Un) = 1. It follows
that det(Sn) = det(LnUn) = det(Ln)det(Un) = 1.