布鲁克-赖瑟-乔拉定理(Bruck-Ryser-Chowla theorem)是反映对称设计存在的必要条件的一个事实,若(v，k，λ)-SBIBD存在，记n=k-λ，则当v为偶数时，n为平方数;当v为奇数时，不定方程z2=nx2+(-1)(v-1)/2λy2有不全为零的整数解x，y，z，利用这个定理可以确定某些对称设计的不存在性，例如，因为22是偶数，而n=5不是平方数，所以(22，7，2)-SBIBD不存在。另外，这个定理给出的条件并不是充分的。例如，最近证明了10阶射影平面不存在，即(111，11，1)-SBIBD不存在。
基本介绍
- 中文名：布鲁克-赖瑟-乔拉定理
- 外文名：Bruck-Ryser-Chowla theorem
- 所属学科：数学（组合学）
- 简称：BRC定理
- 简介：反映对称设计存在的必要条件
基本介绍
布鲁克-赖瑟-乔拉定理(BRC定理) 令k-λ=n>o，若SB(k，λ；v)存在。则
(i) 当v为偶数时，n为平方数；
(ii) 当v为奇数时。不定方程
相关定理
由定理1和定理2可证明布鲁克-赖瑟-乔拉定理，接下来的两引理也可证出布鲁克-赖瑟-乔拉定理。以下所有定理的证明以及布鲁克-赖瑟-乔拉定理的证明请参考相应文献。
关于B(k，λ；v)存在性的必要条件，在对称设计的情形，由于b=v，因此化为
对称性的要求是一个很强的限制条件。因此对于很多满足条件(1)的参数v,k,λ,SB(k，λ；v)并不存在。下述定理即说明了这点。
定理1 设
，令
,若SB(k，λ；v)存在。则
由定理1可知。对任一给定的正整数n及所有满足条件
的正整数对k,λ。使SB(k，λ；v)存在的正整数v只有有限多个。
本节主要目的在证明关于对称设计存在性的一个重要定理。即着名的Bruck-Ryser-Chowla定理(BRC定理)，为此还要用到数论中的下述结果。
定理2 (Lagrange四平方和定理)任一正整数n都能表成4个整数的平方和：
由以上引理可证明布鲁克-赖瑟-乔拉定理，下面两引理也可证出布鲁克-赖瑟-乔拉定理。
引理1 设n为正整数，则
下面引理即着名的Witt消去定理。
引理2设A与B为有理数域Q上两个n×n非奇异对称矩阵，c∈Q且c≠0，若
布鲁克-赖瑟-乔拉定理的特例
关于Legendre方程存在非平凡整数解的条件，我们有下述经典结果。
定理3 Legendre方程ax2+by2=cz2存在非平凡整数解的充分必要条件是下述三个同余式都有解：
下面给出BRC定理当λ=1时的一个特例。此时定理的形式简洁,套用起来也比较方便。
定理3 设
或
且
存在，则n的无平方因子部分不存在形如4t+3的素因子。
证 显然
为奇数，又n≡1或2(mod 4),因此
也是奇数。从而由BRC定理，从
的存在性推出不定方程
有不全为零的整数解，此方程为
时的Legendre方程，由定理3。同余方程
有解。从而对n的无平方因子部分的任一素因子p,同余方程
有解，因此必有
。即得结论。