In getalteorie is 'n kongruum (meervoud kongrua) die verskil tussen opeenvolgende vierkantgetalle in 'n rekenkundige progressie van drie blokkies. Dit is as x2, y2 en z2 (vir heelgetalle x, y en z) drie vierkante getalle is wat eweredig van mekaar geskei is, dan word die spasiëring tussen hulle, z2 – y2 = y2 – x2, 'n kongruum. Die kongruumprobleem is die probleem om blokkies te vind in rekenkundige progressie en hul geassosieerde kongrua. Dit kan as 'n diofantiese vergelyking geformaliseer word: vind heelgetalle x, y en z soos dit y 2 − x 2 = z 2 − y 2 . {\displaystyle y^{2}-x^{2}=z^{2}-y^{2}.} Wanneer hierdie vergelyking bevredig word, is albei kante van die vergelyking gelyk aan die kongruum. Fibonacci het die kongruumprobleem opgelos deur 'n formule met parameters te vind vir die opwekking van alle kongrua, tesame met hul gepaardgaande rekenkundige progressies. Volgens hierdie formule is elke kongruum vier keer die gebied van 'n Petagorasdriehoek.