Π’Π°ΠΊΠΈΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ, ΠΊΠ°ΠΆΠ΄Π°Ρ Β«ΡΠΎΡΠΊΠ°Β» ΠΈΠ· ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° D Β«ΡΠ°Π·ΠΌΠ½ΠΎΠΆΠ°Π΅ΡΡΡΒ» ΠΈ ΠΏΠΎΡΠΎΠΆΠ΄Π°Π΅Ρ Π½Π΅ΠΊΠΎΡΠΎΡΠΎΠ΅ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ Β«Π²ΠΈΡΡΡΠ°Π»ΡΠ½ΡΡ ΡΠΎΡΠ΅ΠΊΒ», Π΅Π΅ ΠΎΠΊΡΡΠΆΠ°ΡΡΠΈΡ , ΡΠ°ΠΊ ΡΠΊΠ°Π·Π°ΡΡ ΠΏΠΎΡΠΎΠΆΠ΄Π°Π΅Ρ Β«ΠΎΠΊΡΠ΅ΡΡΠ½ΠΎΠ΅ ΠΎΠ±Π»Π°ΠΊΠΎΒ», Β«ΡΠ°ΡΠΎΠ²ΠΎΠ΅ ΡΠΊΠΎΠΏΠ»Π΅Π½ΠΈΠ΅Β». Π‘ΠΌ. ΡΠΈΡ. 3.29. ΠΠ΅ΠΊΠΎΡΠΎΡΡΠ΅ ΠΈΠ· ΠΏΠΎΠ»ΡΡΠΈΠ²ΡΠΈΡ ΡΡ Π²ΠΈΡΡΡΠ°Π»ΡΠ½ΡΡ Π΄ΠΈΠ½Π°ΡΡΠΈΠΉ ΠΌΠΎΠ³ΡΡ Π²ΡΡΡΠ΅ΡΠΈΡΡΡΡ Π½Π°ΠΌ Π² ΠΊΠ°ΠΊΠΎΠΉ-ΡΠΎ ΠΊΠΎΠ½ΠΊΡΠ΅ΡΠ½ΠΎΠΉ Π»Π΅ΡΠΎΠΏΠΈΡΠΈ (Π² ΡΡΠΎΠΌ ΡΠ»ΡΡΠ°Π΅ ΠΎΠ½ΠΈ Π±ΡΠ΄ΡΡ Π»Π΅ΡΠΎΠΏΠΈΡΠ½ΡΠΌΠΈ Π΄ΠΈΠ½Π°ΡΡΠΈΡΠΌΠΈ), Π½Π΅ΠΊΠΎΡΠΎΡΡΠ΅ ΠΎΡΡΠ°ΡΡΡΡ Π²ΡΠ΅Π³ΠΎ Π»ΠΈΡΡ Β«ΡΠ΅ΠΎΡΠ΅ΡΠΈΡΠ΅ΡΠΊΠΈ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΡΠΌΠΈΒ», ΡΠΎ Π΅ΡΡΡ Β«Π²ΠΈΡΡΡΠ°Π»ΡΠ½ΡΠΌΠΈΒ».
ΠΠ±ΡΠ΅Π΄ΠΈΠ½ΡΡ Π²ΡΠ΅ Π²ΠΈΡΡΡΠ°Π»ΡΠ½ΡΠ΅ Π΄ΠΈΠ½Π°ΡΡΠΈΠΈ, ΠΏΠΎΠ»ΡΡΠ°ΡΡΠΈΠ΅ΡΡ ΠΈΠ· Π²ΡΠ΅Ρ ΡΠ΅Π°Π»ΡΠ½ΡΡ Π΄ΠΈΠ½Π°ΡΡΠΈΠΉ p, ΡΠΎΡΡΠ°Π²Π»ΡΡΡΠΈΡ Π½Π°Ρ ΡΠΏΠΈΡΠΎΠΊ D, ΠΌΡ ΠΏΠΎΠ»ΡΡΠ°Π΅ΠΌ Π½Π΅ΠΊΠΎΡΠΎΡΠΎΠ΅ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ vir(D), ΡΠΎ Π΅ΡΡΡ Β«ΠΎΠΊΡΡΡΠ²Π°ΡΡΠ΅Π΅ ΠΎΠ±Π»Π°ΠΊΠΎΒ» ΠΈΡΡ ΠΎΠ΄Π½ΠΎΠ³ΠΎ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° Π΄ΠΈΠ½Π°ΡΡΠΈΠΉ D.
Π’Π°ΠΊΠΈΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ, Π΄Π»Ρ ΠΊΠ°ΠΆΠ΄ΠΎΠΉ ΡΠ΅Π°Π»ΡΠ½ΠΎΠΉ Π΄ΠΈΠ½Π°ΡΡΠΈΠΈ M, ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΠΈΠ·ΠΎΠ±ΡΠ°ΠΆΠ°ΡΡΠΈΡ Π΅Π΅ Π»Π΅ΡΠΎΠΏΠΈΡΠ½ΡΡ Π΄ΠΈΠ½Π°ΡΡΠΈΠΉ ΠΌΠΎΠΆΠ½ΠΎ ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»ΡΡΡ ΡΠ΅Π±Π΅ ΠΊΠ°ΠΊ Β«ΡΠ°ΡΠΎΠ²ΠΎΠ΅ ΡΠΊΠΎΠΏΠ»Π΅Π½ΠΈΠ΅Β» vir(M). ΠΡΡΡΡ ΡΠ΅ΠΏΠ΅ΡΡ Π΄Π°Π½Ρ Π΄Π²Π΅ ΡΠ΅Π°Π»ΡΠ½ΡΠ΅ Π΄ΠΈΠ½Π°ΡΡΠΈΠΈ M ΠΈ N. ΠΡΠ»ΠΈ ΡΡΠΎΡΠΌΡΠ»ΠΈΡΠΎΠ²Π°Π½Π½ΡΠΉ Π½Π°ΠΌΠΈ ΠΏΡΠΈΠ½ΡΠΈΠΏ ΠΌΠ°Π»ΡΡ ΠΈΡΠΊΠ°ΠΆΠ΅Π½ΠΈΠΉ Π²Π΅ΡΠ΅Π½, ΡΠΎ ΡΠ°ΡΠΎΠ²ΡΠ΅ ΡΠΊΠΎΠΏΠ»Π΅Π½ΠΈΡ vir(M) ΠΈ vir(N), ΠΎΡΠ²Π΅ΡΠ°ΡΡΠΈΠ΅ Π΄Π²ΡΠΌ Π·Π°Π²Π΅Π΄ΠΎΠΌΠΎ Π½Π΅Π·Π°Π²ΠΈΡΠΈΠΌΡΠΌ, ΡΠ°Π·Π½ΡΠΌ ΡΠ΅Π°Π»ΡΠ½ΡΠΌ Π΄ΠΈΠ½Π°ΡΡΠΈΡΠΌ M ΠΈ N, Π½Π΅ ΠΏΠ΅ΡΠ΅ΡΠ΅ΠΊΠ°ΡΡΡΡ Π² ΠΏΡΠΎΡΡΡΠ°Π½ΡΡΠ²Π΅ Rk. Π’ΠΎ Π΅ΡΡΡ, ΠΎΠ½ΠΈ Π΄ΠΎΠ»ΠΆΠ½Ρ Π±ΡΡΡ ΡΠ°ΡΠΏΠΎΠ»ΠΎΠΆΠ΅Π½Ρ Π΄ΠΎΡΡΠ°ΡΠΎΡΠ½ΠΎ Π΄Π°Π»Π΅ΠΊΠΎ Π΄ΡΡΠ³ ΠΎΡ Π΄ΡΡΠ³Π°. Π‘ΠΌ. ΡΠΈΡ. 3.30.
ΠΡΡΡΡ ΡΠ΅ΠΏΠ΅ΡΡ a ΠΈ b β Π΄Π²Π΅ ΠΊΠ°ΠΊΠΈΠ΅-ΡΠΎ Π΄ΠΈΠ½Π°ΡΡΠΈΠΈ ΠΈΠ· ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° vir(D), Π½Π°ΠΏΡΠΈΠΌΠ΅Ρ Π΄Π²Π΅ Π»Π΅ΡΠΎΠΏΠΈΡΠ½ΡΠ΅ Π΄ΠΈΠ½Π°ΡΡΠΈΠΈ. Π‘ΠΌ. ΡΠΈΡ. 3.31. ΠΡ Ρ ΠΎΡΠΈΠΌ Π²Π²Π΅ΡΡΠΈ Π½Π΅ΠΊΠΎΡΠΎΡΡΡ ΠΊΠΎΠ»ΠΈΡΠ΅ΡΡΠ²Π΅Π½Π½ΡΡ ΠΌΠ΅ΡΡ Π±Π»ΠΈΠ·ΠΎΡΡΠΈ ΠΌΠ΅ΠΆΠ΄Ρ Π΄Π²ΡΠΌΡ Π΄ΠΈΠ½Π°ΡΡΠΈΡΠΌΠΈ, ΡΠΎ Π΅ΡΡΡ Β«ΠΈΠ·ΠΌΠ΅ΡΠΈΡΡ ΡΠ°ΡΡΡΠΎΡΠ½ΠΈΠ΅ ΠΌΠ΅ΠΆΠ΄Ρ Π½ΠΈΠΌΠΈΒ», ΠΎΡΠ΅Π½ΠΈΡΡ β Π½Π°ΡΠΊΠΎΠ»ΡΠΊΠΎ ΠΎΠ½ΠΈ Π΄Π°Π»Π΅ΠΊΠΈ Π΄ΡΡΠ³ ΠΎΡ Π΄ΡΡΠ³Π°. ΠΡΠΎΡΡΠ΅ΠΉΡΠΈΠΉ ΡΠΏΠΎΡΠΎΠ± Π±ΡΠ» Π±Ρ ΡΠ°ΠΊΠΈΠΌ. Π Π°ΡΡΠΌΠ°ΡΡΠΈΠ²Π°Ρ ΠΎΠ±Π΅ Π΄ΠΈΠ½Π°ΡΡΠΈΠΈ ΠΊΠ°ΠΊ Π²Π΅ΠΊΡΠΎΡΡ Π² ΠΏΡΠΎΡΡΡΠ°Π½ΡΡΠ²Π΅ Rk, ΠΌΠΎΠΆΠ½ΠΎ Π±ΡΠ»ΠΎ Π±Ρ ΠΏΡΠΎΡΡΠΎ Π²Π·ΡΡΡ Π΅Π²ΠΊΠ»ΠΈΠ΄ΠΎΠ²ΠΎ ΡΠ°ΡΡΡΠΎΡΠ½ΠΈΠ΅ ΠΌΠ΅ΠΆΠ΄Ρ Π½ΠΈΠΌΠΈ, ΡΠΎ Π΅ΡΡΡ ΠΏΠΎΠ΄ΡΡΠΈΡΠ°ΡΡ ΡΠΈΡΠ»ΠΎ r(a,b), ΠΊΠ²Π°Π΄ΡΠ°Ρ ΠΊΠΎΡΠΎΡΠΎΠ³ΠΎ ΠΈΠΌΠ΅Π΅Ρ Π²ΠΈΠ΄:
(a1 β b1)2 +β¦ + (ak β bk)2.
ΠΠ΄Π½Π°ΠΊΠΎ ΡΠΈΡΠ»Π΅Π½Π½ΡΠ΅ ΡΠΊΡΠΏΠ΅ΡΠΈΠΌΠ΅Π½ΡΡ Ρ ΠΊΠΎΠ½ΠΊΡΠ΅ΡΠ½ΡΠΌΠΈ Π»Π΅ΡΠΎΠΏΠΈΡΠ½ΡΠΌΠΈ Π΄ΠΈΠ½Π°ΡΡΠΈΡΠΌΠΈ ΠΏΠΎΠΊΠ°Π·ΡΠ²Π°ΡΡ, ΡΡΠΎ ΡΡΠΎ ΡΠ°ΡΡΡΠΎΡΠ½ΠΈΠ΅ Π½Π΅ ΠΏΠΎΠ·Π²ΠΎΠ»ΡΠ΅Ρ ΡΠ²Π΅ΡΠ΅Π½Π½ΠΎ ΠΎΡΠ΄Π΅Π»ΠΈΡΡ Π΄ΡΡΠ³ ΠΎΡ Π΄ΡΡΠ³Π° Π·Π°Π²ΠΈΡΠΈΠΌΡΠ΅ ΠΈ Π½Π΅Π·Π°Π²ΠΈΡΠΈΠΌΡΠ΅ ΠΏΠ°ΡΡ Π΄ΠΈΠ½Π°ΡΡΠΈΠΉ. ΠΡΡΠ³ΠΈΠΌΠΈ ΡΠ»ΠΎΠ²Π°ΠΌΠΈ, ΡΠ°ΠΊΠΈΠ΅ ΡΠ°ΡΡΡΠΎΡΠ½ΠΈΡ ΠΌΠ΅ΠΆΠ΄Ρ Π·Π°Π²Π΅Π΄ΠΎΠΌΠΎ Π·Π°Π²ΠΈΡΠΈΠΌΡΠΌΠΈ Π»Π΅ΡΠΎΠΏΠΈΡΠ½ΡΠΌΠΈ Π΄ΠΈΠ½Π°ΡΡΠΈΡΠΌΠΈ ΠΈ ΡΠ°ΡΡΡΠΎΡΠ½ΠΈΡ ΠΌΠ΅ΠΆΠ΄Ρ Π·Π°Π²Π΅Π΄ΠΎΠΌΠΎ Π½Π΅Π·Π°Π²ΠΈΡΠΈΠΌΡΠΌΠΈ Π»Π΅ΡΠΎΠΏΠΈΡΠ½ΡΠΌΠΈ Π΄ΠΈΠ½Π°ΡΡΠΈΡΠΌΠΈ ΠΎΠΊΠ°Π·ΡΠ²Π°ΡΡΡΡ ΡΡΠ°Π²Π½ΠΈΠΌΡΠΌΠΈ Π΄ΡΡΠ³ Ρ Π΄ΡΡΠ³ΠΎΠΌ. ΠΠΊΠ°Π·ΡΠ²Π°Π΅ΡΡΡ, ΠΎΠ½ΠΈ ΠΈΠΌΠ΅ΡΡ Β«ΠΎΠ΄ΠΈΠ½ ΠΈ ΡΠΎΡ ΠΆΠ΅ ΠΏΠΎΡΡΠ΄ΠΎΠΊΒ».
Π’Π΅ΠΌ Π±ΠΎΠ»Π΅Π΅ Π½Π΅Π»ΡΠ·Ρ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΡΡ Β«ΠΏΠΎΡ ΠΎΠΆΠ΅ΡΡΡΒ» ΠΈΠ»ΠΈ Β«Π½Π΅ΠΏΠΎΡ ΠΎΠΆΠ΅ΡΡΡΒ» Π΄Π²ΡΡ Π΄ΠΈΠ½Π°ΡΡΠΈΠΉ (ΡΠΎΡΠ½Π΅Π΅, Π³ΡΠ°ΡΠΈΠΊΠΎΠ² ΠΈΡ ΠΏΡΠ°Π²Π»Π΅Π½ΠΈΠΉ) Β«Π½Π° Π³Π»Π°Π·ΠΎΠΊΒ». ΠΠΈΠ·ΡΠ°Π»ΡΠ½Π°Ρ ΠΏΠΎΡ ΠΎΠΆΠ΅ΡΡΡ Π΄Π²ΡΡ Π³ΡΠ°ΡΠΈΠΊΠΎΠ² ΠΌΠΎΠΆΠ΅Ρ Π½ΠΈ ΠΎ ΡΠ΅ΠΌ Π½Π΅ Π³ΠΎΠ²ΠΎΡΠΈΡΡ. ΠΠΎΠΆΠ½ΠΎ ΠΏΡΠΈΠ²Π΅ΡΡΠΈ ΠΏΡΠΈΠΌΠ΅ΡΡ Π·Π°Π²Π΅Π΄ΠΎΠΌΠΎ Π½Π΅Π·Π°Π²ΠΈΡΠΈΠΌΡΡ Π΄ΠΈΠ½Π°ΡΡΠΈΠΉ, Π³ΡΠ°ΡΠΈΠΊΠΈ ΠΏΡΠ°Π²Π»Π΅Π½ΠΈΠΉ ΠΊΠΎΡΠΎΡΡΡ ΠΎΠΊΠ°ΠΆΡΡΡΡ Β«Π²Π΅ΡΡΠΌΠ° ΠΏΠΎΡ ΠΎΠΆΠΈΠΌΠΈΒ». Π ΡΠ΅ΠΌ Π½Π΅ ΠΌΠ΅Π½Π΅Π΅ Π½ΠΈΠΊΠ°ΠΊΠΎΠΉ Π·Π°Π²ΠΈΡΠΈΠΌΠΎΡΡΠΈ ΡΡΡ Π½Π° ΡΠ°ΠΌΠΎΠΌ Π΄Π΅Π»Π΅ Π½Π΅Ρ. ΠΠ°ΠΊ Π²ΡΡΡΠ½ΠΈΠ»ΠΎΡΡ, Π² Π΄Π°Π½Π½ΠΎΠΉ ΠΏΡΠΎΠ±Π»Π΅ΠΌΠ΅ Π²ΠΈΠ·ΡΠ°Π»ΡΠ½Π°Ρ Π±Π»ΠΈΠ·ΠΎΡΡΡ ΠΌΠΎΠΆΠ΅Ρ Π²Π²Π΅ΡΡΠΈ Π² Π·Π°Π±Π»ΡΠΆΠ΄Π΅Π½ΠΈΠ΅. Π’ΡΠ΅Π±ΡΠ΅ΡΡΡ Π½Π°Π΄Π΅ΠΆΠ½Π°Ρ ΠΊΠΎΠ»ΠΈΡΠ΅ΡΡΠ²Π΅Π½Π½Π°Ρ ΠΎΡΠ΅Π½ΠΊΠ°, ΡΡΡΡΠ°Π½ΡΡΡΠ°Ρ Π·ΡΠ±ΠΊΠΈΠ΅ ΡΡΠ±ΡΠ΅ΠΊΡΠΈΠ²Π½ΡΠ΅ ΡΠΎΠΎΠ±ΡΠ°ΠΆΠ΅Π½ΠΈΡ Π²ΡΠΎΠ΄Π΅ Β«ΠΏΠΎΡ ΠΎΠΆΠΈΒ», Β«Π½Π΅ ΠΏΠΎΡ ΠΎΠΆΠΈΒ».
ΠΡΠ°ΠΊ, Π·Π°Π΄Π°ΡΠ° ΡΠΎΡΡΠΎΠΈΡ Π² ΡΠΎΠΌ, ΡΡΠΎΠ±Ρ Π²ΡΡΡΠ½ΠΈΡΡ β ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ Π»ΠΈ Π²ΠΎΠΎΠ±ΡΠ΅ ΡΠ°ΠΊΠ°Ρ Π΅ΡΡΠ΅ΡΡΠ²Π΅Π½Π½Π°Ρ ΠΌΠ΅ΡΠ° Π±Π»ΠΈΠ·ΠΎΡΡΠΈ (Π½Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π΅ Π²ΡΠ΅Ρ Π²ΠΈΡΡΡΠ°Π»ΡΠ½ΡΡ Π΄ΠΈΠ½Π°ΡΡΠΈΠΉ), ΠΊΠΎΡΠΎΡΠ°Ρ ΠΏΠΎΠ·Π²ΠΎΠ»ΠΈΠ»Π° Π±Ρ ΡΠ²Π΅ΡΠ΅Π½Π½ΠΎ ΠΎΡΠ΄Π΅Π»ΠΈΡΡ Π·Π°Π²ΠΈΡΠΈΠΌΡΠ΅ Π΄ΠΈΠ½Π°ΡΡΠΈΠΈ ΠΎΡ Π½Π΅Π·Π°Π²ΠΈΡΠΈΠΌΡΡ . Π’ΠΎ Π΅ΡΡΡ, ΡΡΠΎΠ±Ρ Β«ΡΠ°ΡΡΡΠΎΡΠ½ΠΈΠ΅Β» ΠΌΠ΅ΠΆΠ΄Ρ Π·Π°Π²Π΅Π΄ΠΎΠΌΠΎ Π·Π°Π²ΠΈΡΠΈΠΌΡΠΌΠΈ Π΄ΠΈΠ½Π°ΡΡΠΈΡΠΌΠΈ Π±ΡΠ»ΠΎ Β«ΠΌΠ°Π»ΠΎΒ», Π° Β«ΡΠ°ΡΡΡΠΎΡΠ½ΠΈΠ΅Β» ΠΌΠ΅ΠΆΠ΄Ρ Π·Π°Π²Π΅Π΄ΠΎΠΌΠΎ Π½Π΅Π·Π°Π²ΠΈΡΠΈΠΌΡΠΌΠΈ Π΄ΠΈΠ½Π°ΡΡΠΈΡΠΌΠΈ Π±ΡΠ»ΠΎ Β«Π²Π΅Π»ΠΈΠΊΠΎΒ». ΠΡΠΈΡΠ΅ΠΌ, ΡΡΠ΅Π±ΡΠ΅ΡΡΡ, ΡΡΠΎΠ±Ρ ΡΡΠΈ Β«ΠΌΠ°Π»ΡΠ΅Β» ΠΈ Β«Π±ΠΎΠ»ΡΡΠΈΠ΅Β» Π·Π½Π°ΡΠ΅Π½ΠΈΡ ΡΡΡΠ΅ΡΡΠ²Π΅Π½Π½ΠΎ ΠΎΡΠ»ΠΈΡΠ°Π»ΠΈΡΡ Π±Ρ Π΄ΡΡΠ³ ΠΎΡ Π΄ΡΡΠ³Π°, Π½Π°ΠΏΡΠΈΠΌΠ΅Ρ, ΡΡΠΎΠ±Ρ ΠΎΠ½ΠΈ Π±ΡΠ»ΠΈ ΠΎΡΠ΄Π΅Π»Π΅Π½Ρ ΠΎΠ΄Π½ΠΈΠΌ ΠΈΠ»ΠΈ Π½Π΅ΡΠΊΠΎΠ»ΡΠΊΠΈΠΌΠΈ ΠΏΠΎΡΡΠ΄ΠΊΠ°ΠΌΠΈ.
ΠΠΊΠ°Π·ΡΠ²Π°Π΅ΡΡΡ, ΡΠ°ΠΊΠ°Ρ ΠΌΠ΅ΡΠ° Π±Π»ΠΈΠ·ΠΎΡΡΠΈ, ΡΠΎ Π΅ΡΡΡ Β«ΡΠ°ΡΡΡΠΎΡΠ½ΠΈΠ΅ ΠΌΠ΅ΠΆΠ΄Ρ Π΄ΠΈΠ½Π°ΡΡΠΈΡΠΌΠΈΒ», Π΄Π΅ΠΉΡΡΠ²ΠΈΡΠ΅Π»ΡΠ½ΠΎ ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ. Π ΠΎΠΏΠΈΡΠ°Π½ΠΈΡ ΡΠ°ΠΊΠΎΠ³ΠΎ ΠΊΠΎΡΡΡΠΈΡΠΈΠ΅Π½ΡΠ° c(a,b) ΠΌΡ ΡΠ΅ΠΉΡΠ°Ρ ΠΈ ΠΏΠ΅ΡΠ΅ΠΉΠ΄Π΅ΠΌ.
ΠΡΠ°ΠΊ, ΠΌΡ ΠΏΠΎΡΡΡΠΎΠΈΠ»ΠΈ Π² ΠΏΡΠΎΡΡΡΠ°Π½ΡΡΠ²Π΅ R15 Π½Π΅ΠΊΠΎΡΠΎΡΠΎΠ΅ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ Π΄ΠΈΠ½Π°ΡΡΠΈΠΉ D. ΠΡΠ»ΠΈ ΡΠΌΠΎΠ΄Π΅Π»ΠΈΡΠΎΠ²Π°Π½Ρ Π΄Π²Π΅ Π½Π°ΠΈΠ±ΠΎΠ»Π΅Π΅ ΡΠΈΠΏΠΈΡΠ½ΡΠ΅ ΠΎΡΠΈΠ±ΠΊΠΈ, Π΄Π΅Π»Π°Π²ΡΠΈΠ΅ΡΡ Π»Π΅ΡΠΎΠΏΠΈΡΡΠ°ΠΌΠΈ. ΠΠ°ΠΆΠ΄Π°Ρ Π΄ΠΈΠ½Π°ΡΡΠΈΡ ΠΈΠ· ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° D Π±ΡΠ»Π° ΠΏΠΎΠ΄Π²Π΅ΡΠ³Π½ΡΡΠ° Π²ΠΎΠ·ΠΌΡΡΠ΅Π½ΠΈΡΠΌ ΡΠΈΠΏΠΎΠ² (1) ΠΈ (2). ΠΡΠΈ ΡΡΠΎΠΌ ΠΊΠ°ΠΆΠ΄Π°Ρ ΡΠΎΡΠΊΠ° ΠΈΠ· D ΡΠ°Π·ΠΌΠ½ΠΎΠΆΠΈΠ»Π°ΡΡ Π² Π½Π΅ΡΠΊΠΎΠ»ΡΠΊΠΎ ΡΠΎΡΠ΅ΠΊ, ΡΡΠΎ ΠΏΡΠΈΠ²Π΅Π»ΠΎ ΠΊ ΡΠ²Π΅Π»ΠΈΡΠ΅Π½ΠΈΡ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π°. ΠΠΎΠ»ΡΡΠΈΠ²ΡΠ΅Π΅ΡΡ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΠΌΡ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ°Π»ΠΈ ΡΠ΅ΡΠ΅Π· vir(D). ΠΠΊΠ°Π·Π°Π»ΠΎΡΡ, ΡΡΠΎ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ vir(D) ΡΠΎΡΡΠΎΠΈΡ ΠΏΡΠΈΠΌΠ΅ΡΠ½ΠΎ ΠΈΠ· 15Γ1011 ΡΠΎΡΠ΅ΠΊ.
ΠΡΠ΄Π΅ΠΌ ΡΡΠΈΡΠ°ΡΡ Β«Π΄ΠΈΠ½Π°ΡΡΠΈΡΠ΅ΡΠΊΠΈΠΉ Π²Π΅ΠΊΡΠΎΡ aΒ» ΡΠ»ΡΡΠ°ΠΉΠ½ΡΠΌ Π²Π΅ΠΊΡΠΎΡΠΎΠΌ Π² Rk, ΠΏΡΠΎΠ±Π΅Π³Π°ΡΡΠΈΠΌ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ vir(D). Π’ΠΎΠ³Π΄Π° ΠΏΠΎ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Ρ vir(D) ΠΌΡ ΠΌΠΎΠΆΠ΅ΠΌ ΠΏΠΎΡΡΡΠΎΠΈΡΡ ΡΡΠ½ΠΊΡΠΈΡ z ΠΏΠ»ΠΎΡΠ½ΠΎΡΡΠΈ Π²Π΅ΡΠΎΡΡΠ½ΠΎΡΡΠ΅ΠΉ. ΠΠ»Ρ ΡΡΠΎΠ³ΠΎ Π²ΡΠ΅ ΠΏΡΠΎΡΡΡΠ°Π½ΡΡΠ²ΠΎ R15 Π±ΡΠ»ΠΎ ΡΠ°Π·Π±ΠΈΡΠΎ Π½Π° ΡΡΠ°Π½Π΄Π°ΡΡΠ½ΡΠ΅ ΠΊΡΠ±Ρ Π΄ΠΎΡΡΠ°ΡΠΎΡΠ½ΠΎ ΠΌΠ°Π»ΠΎΠ³ΠΎ ΡΠ°Π·ΠΌΠ΅ΡΠ° ΡΠ°ΠΊ, ΡΡΠΎΠ±Ρ Π½ΠΈ ΠΎΠ΄Π½Π° ΡΠΎΡΠΊΠ° ΠΈΠ· ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° vir(D) Π½Π΅ ΠΏΠΎΠΏΠ°Π»Π° Π½Π° Π³ΡΠ°Π½ΠΈΡΡ ΠΊΠ°ΠΊΠΎΠ³ΠΎ-Π»ΠΈΠ±ΠΎ ΠΊΡΠ±Π°. ΠΡΠ»ΠΈ x β Π²Π½ΡΡΡΠ΅Π½Π½ΡΡ ΡΠΎΡΠΊΠ° ΠΊΡΠ±Π°, ΡΠΎ ΠΏΠΎΠ»ΠΎΠΆΠΈΠΌ
ΡΠΈΡΠ»ΠΎ ΡΠΎΡΠ΅ΠΊ ΠΈΠ· ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° vir(D), ΠΏΠΎΠΏΠ°Π²ΡΠΈΡ Π² ΠΊΡΠ±
z(x) = β.
ΠΎΠ±ΡΠ΅Π΅ ΠΊΠΎΠ»ΠΈΡΠ΅ΡΡΠ²ΠΎ ΡΠΎΡΠ΅ΠΊ Π² ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π΅ vir(D)
Π―ΡΠ½ΠΎ, ΡΡΠΎ Π΄Π»Ρ ΡΠΎΡΠΊΠΈ x, Π»Π΅ΠΆΠ°ΡΠ΅ΠΉ Π½Π° Π³ΡΠ°Π½ΠΈΡΠ΅ ΠΊΠ°ΠΊΠΎΠ³ΠΎ-Π»ΠΈΠ±ΠΎ ΠΊΡΠ±Π°, ΠΌΠΎΠΆΠ½ΠΎ ΡΡΠΈΡΠ°ΡΡ, ΡΡΠΎ z(x)=0. Π€ΡΠ½ΠΊΡΠΈΡ z(x) Π΄ΠΎΡΡΠΈΠ³Π°Π΅Ρ ΠΌΠ°ΠΊΡΠΈΠΌΡΠΌΠ° Π² ΠΎΠ±Π»Π°ΡΡΠΈ, Π³Π΄Π΅ ΡΠΎΡΡΠ΅Π΄ΠΎΡΠΎΡΠ΅Π½ΠΎ ΠΎΡΠΎΠ±Π΅Π½Π½ΠΎ ΠΌΠ½ΠΎΠ³ΠΎ Π΄ΠΈΠ½Π°ΡΡΠΈΠΉ ΠΈΠ· ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° vir(D), ΠΈ ΠΏΠ°Π΄Π°Π΅Ρ Π΄ΠΎ Π½ΡΠ»Ρ ΡΠ°ΠΌ, Π³Π΄Π΅ ΡΠΎΡΠ΅ΠΊ ΠΈΠ· ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° vir(D) Π½Π΅Ρ. Π‘ΠΌ. ΡΠΈΡ. 3.32. Π’Π΅ΠΌ ΡΠ°ΠΌΡΠΌ, Π³ΡΠ°ΡΠΈΠΊ ΡΡΠ½ΠΊΡΠΈΠΈ z(x) Π½Π°Π³Π»ΡΠ΄Π½ΠΎ ΠΏΠΎΠΊΠ°Π·ΡΠ²Π°Π΅Ρ, ΠΊΠ°ΠΊ ΠΈΠΌΠ΅Π½Π½ΠΎ ΡΠ°ΡΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΎ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ Π΄ΠΈΠ½Π°ΡΡΠΈΠΉ vir(D) ΠΏΠΎ ΠΏΡΠΎΡΡΡΠ°Π½ΡΡΠ²Ρ Rk. ΠΡΡΠ³ΠΈΠΌΠΈ ΡΠ»ΠΎΠ²Π°ΠΌΠΈ, Π³Π΄Π΅ ΡΡΠΎ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ Β«Π³ΡΡΡΠΎΠ΅Β», Β«ΠΏΠ»ΠΎΡΠ½ΠΎΠ΅Β», Π° Π³Π΄Π΅ ΠΎΠ½ΠΎ ΡΠ°Π·ΡΠ΅ΠΆΠ΅Π½ΠΎ.
ΠΡΡΡΡ ΡΠ΅ΠΏΠ΅ΡΡ Π½Π°ΠΌ Π·Π°Π΄Π°Π½Ρ Π΄Π²Π΅ Π΄ΠΈΠ½Π°ΡΡΠΈΠΈ
a=(a1β¦.ak) ΠΈ b=(b1β¦.,bk), ΠΈ ΠΌΡ Ρ ΠΎΡΠΈΠΌ ΠΎΡΠ΅Π½ΠΈΡΡ β Π½Π°ΡΠΊΠΎΠ»ΡΠΊΠΎ ΠΎΠ½ΠΈ Π±Π»ΠΈΠ·ΠΊΠΈ ΠΈΠ»ΠΈ Π΄Π°Π»Π΅ΠΊΠΈ. ΠΠΎΡΡΡΠΎΠΈΠΌ k-ΠΌΠ΅ΡΠ½ΡΠΉ ΠΏΠ°ΡΠ°Π»Π»Π΅Π»Π΅ΠΏΠΈΠΏΠ΅Π΄ P'(a,b) Ρ ΡΠ΅Π½ΡΡΠΎΠΌ Π² ΡΠΎΡΠΊΠ΅ a, ΠΈΠΌΠ΅ΡΡΠΈΠΉ Π² ΠΊΠ°ΡΠ΅ΡΡΠ²Π΅ Π΄ΠΈΠ°Π³ΠΎΠ½Π°Π»ΠΈ Π²Π΅ΠΊΡΠΎΡ a-b. Π‘ΠΌ. ΡΠΈΡ. 3.33. ΠΡΠ»ΠΈ ΡΠΏΡΠΎΠ΅ΠΊΡΠΈΡΠΎΠ²Π°ΡΡ ΠΏΠ°ΡΠ°Π»Π»Π΅Π»Π΅ΠΏΠΈΠΏΠ΅Π΄ P'(a,b) Π½Π° i-Ρ ΠΊΠΎΠΎΡΠ΄ΠΈΠ½Π°ΡΠ½ΡΡ ΠΎΡΡ, ΡΠΎ ΠΏΠΎΠ»ΡΡΠΈΡΡΡ ΠΎΡΡΠ΅Π·ΠΎΠΊ Ρ ΠΊΠΎΠ½ΡΠ°ΠΌΠΈ
[ai β |ai β bi|, ai + |ai β bi|].
Π ΠΊΠ°ΡΠ΅ΡΡΠ²Π΅ Β«ΠΏΡΠ΅Π΄Π²Π°ΡΠΈΡΠ΅Π»ΡΠ½ΠΎΠ³ΠΎ ΠΊΠΎΡΡΡΠΈΡΠΈΠ΅Π½ΡΠ°Β» c'(a,b) ΠΌΡ Π²ΠΎΠ·ΡΠΌΠ΅ΠΌ ΡΠΈΡΠ»ΠΎ
ΡΠΈΡΠ»ΠΎ ΡΠΎΡΠ΅ΠΊ ΠΈΠ· ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° vir(D), ΠΏΠΎΠΏΠ°Π²ΡΠΈΡ Π² P'(a,b) c'(a,b) = β.
ΠΎΠ±ΡΠ΅Π΅ ΡΠΈΡΠ»ΠΎ ΡΠΎΡΠ΅ΠΊ Π² ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π΅ vir(D)
Π―ΡΠ½ΠΎ, ΡΡΠΎ ΡΠΈΡΠ»ΠΎ c'(a,b) ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΈΠ½ΡΠ΅Π³ΡΠ°Π»ΠΎΠΌ ΡΡΠ½ΠΊΡΠΈΠΈ ΠΏΠ»ΠΎΡΠ½ΠΎΡΡΠΈ z(x) ΠΏΠΎ ΠΏΠ°ΡΠ°Π»Π»Π΅Π»Π΅ΠΏΠΈΠΏΠ΅Π΄Ρ P'(a,b).
Π‘ΠΌΡΡΠ» ΡΡΠΎΠ³ΠΎ Β«ΠΏΡΠ΅Π΄Π²Π°ΡΠΈΡΠ΅Π»ΡΠ½ΠΎΠ³ΠΎ ΠΊΠΎΡΡΡΠΈΡΠΈΠ΅Π½ΡΠ°Β» c'(a,b) ΡΡΠ΅Π½. ΠΠΈΠ½Π°ΡΡΠΈΠΈ, ΡΠΎ Π΅ΡΡΡ Π²Π΅ΠΊΡΠΎΡΡ ΠΈΠ· vir(D), ΠΏΠΎΠΏΠ°Π²ΡΠΈΠ΅ Π² ΠΏΠ°ΡΠ°Π»Π»Π΅Π»Π΅ΠΏΠΈΠΏΠ΅Π΄ P'(a,b), Π΅ΡΡΠ΅ΡΡΠ²Π΅Π½Π½ΠΎ Π½Π°Π·Π²Π°ΡΡ Β«ΠΏΠΎΡ ΠΎΠΆΠΈΠΌΠΈΒ» Π½Π° Π΄ΠΈΠ½Π°ΡΡΠΈΠΈ a ΠΈ b. Π ΡΠ°ΠΌΠΎΠΌ Π΄Π΅Π»Π΅, ΠΊΠ°ΠΆΠ΄Π°Ρ ΠΈΠ· ΡΠ°ΠΊΠΈΡ Π΄ΠΈΠ½Π°ΡΡΠΈΠΉ ΡΠ΄Π°Π»Π΅Π½Π° ΠΎΡ Π΄ΠΈΠ½Π°ΡΡΠΈΠΈ a Π½Π΅ Π±ΠΎΠ»Π΅Π΅ ΡΠ΅ΠΌ ΠΎΡ Π΄ΠΈΠ½Π°ΡΡΠΈΠΈ a ΡΠ΄Π°Π»Π΅Π½Π° Π΄ΠΈΠ½Π°ΡΡΠΈΡ b. Π‘Π»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎ, Π² ΠΊΠ°ΡΠ΅ΡΡΠ²Π΅ ΠΌΠ΅ΡΡ Π±Π»ΠΈΠ·ΠΎΡΡΠΈ Π΄Π²ΡΡ Π΄ΠΈΠ½Π°ΡΡΠΈΡ a ΠΈ b, ΠΌΡ Π±Π΅ΡΠ΅ΠΌ Π΄ΠΎΠ»Ρ Π΄ΠΈΠ½Π°ΡΡΠΈΠΉ, Β«ΠΏΠΎΡ ΠΎΠΆΠΈΡ Β» Π½Π° a ΠΈ b, Π² ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π΅ Π²ΡΠ΅Ρ Π΄ΠΈΠ½Π°ΡΡΠΈΠΉ vir(D).
ΠΠ΄Π½Π°ΠΊΠΎ ΡΠ°ΠΊΠΎΠΉ ΠΊΠΎΡΡΡΠΈΡΠΈΠ΅Π½Ρ c'(a,b) ΠΏΠΎΠΊΠ° Π½Π΅Π΄ΠΎΡΡΠ°ΡΠΎΡΠ½ΠΎ Ρ ΠΎΡΠΎΡ, ΠΏΠΎΡΠΊΠΎΠ»ΡΠΊΡ ΠΎΠ½ Π½ΠΈΠΊΠ°ΠΊ Π½Π΅ ΡΡΠΈΡΡΠ²Π°Π΅Ρ ΡΠΎ ΠΎΠ±ΡΡΠΎΡΡΠ΅Π»ΡΡΡΠ²ΠΎ, ΡΡΠΎ Π»Π΅ΡΠΎΠΏΠΈΡΡΡ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ»ΠΈ Π΄Π»ΠΈΡΠ΅Π»ΡΠ½ΠΎΡΡΡ ΠΏΡΠ°Π²Π»Π΅Π½ΠΈΠΉ ΡΠ°ΡΠ΅ΠΉ Ρ ΠΊΠ°ΠΊΠΎΠΉ-ΡΠΎ ΠΎΡΠΈΠ±ΠΊΠΎΠΉ, ΠΏΡΠΈΡΠ΅ΠΌ ΠΎΠ±ΡΡΠ½ΠΎ ΡΠ΅ΠΌ Π±ΠΎΠ»ΡΡΠ΅ΠΉ, ΡΠ΅ΠΌ Π΄ΠΎΠ»ΡΡΠ΅ Π΄Π»ΠΈΡΠ΅Π»ΡΠ½ΠΎΡΡΡ ΠΏΡΠ°Π²Π»Π΅Π½ΠΈΡ. ΠΡΡΠ³ΠΈΠΌΠΈ ΡΠ»ΠΎΠ²Π°ΠΌΠΈ, Π½Π°ΠΌ Π½ΡΠΆΠ½ΠΎ ΡΡΠ΅ΡΡΡ ΠΎΡΠΈΠ±ΠΊΡ Π»Π΅ΡΠΎΠΏΠΈΡΡΠ΅Π² (3), ΠΎΠ±ΡΡΠΆΠ΄Π΅Π½Π½ΡΡ Π²ΡΡΠ΅.
ΠΠ΅ΡΠ΅ΠΉΠ΄Π΅ΠΌ ΠΊ ΠΌΠΎΠ΄Π΅Π»ΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΠΎΡΠΈΠ±ΠΊΠΈ (3). ΠΡΡΡΡ T β ΡΡΠΎ Π΄Π»ΠΈΡΠ΅Π»ΡΠ½ΠΎΡΡΡ ΠΏΡΠ°Π²Π»Π΅Π½ΠΈΡ. Π―ΡΠ½ΠΎ, ΡΡΠΎ Π΄Π»ΠΈΡΠ΅Π»ΡΠ½ΠΎΡΡΡ ΠΏΡΠ°Π²Π»Π΅Π½ΠΈΡ ΠΌΠΎΠΆΠ½ΠΎ ΡΠ°ΡΡΠΌΠ°ΡΡΠΈΠ²Π°ΡΡ ΠΊΠ°ΠΊ ΡΠ»ΡΡΠ°ΠΉΠ½ΡΡ Π²Π΅Π»ΠΈΡΠΈΠ½Ρ, ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½Π½ΡΡ Π½Π° Β«ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π΅ Π²ΡΠ΅Ρ ΡΠ°ΡΠ΅ΠΉΒ». ΠΠ±ΠΎΠ·Π½Π°ΡΠΈΠΌ ΡΠ΅ΡΠ΅Π· g(T) ΡΠΈΡΠ»ΠΎ ΡΠ°ΡΠ΅ΠΉ, ΠΏΡΠ°Π²ΠΈΠ²ΡΠΈΡ T Π»Π΅Ρ. Π ΡΠ°Π±ΠΎΡΠ΅ [375] Ρ ΡΠΊΡΠΏΠ΅ΡΠΈΠΌΠ΅Π½ΡΠ°Π»ΡΠ½ΠΎ Π²ΡΡΠΈΡΠ»ΠΈΠ» ΡΡΡ Π³ΠΈΡΡΠΎΠ³ΡΠ°ΠΌΠΌΡ ΡΠ°ΡΡΠΎΡ g(T) (ΠΏΠ»ΠΎΡΠ½ΠΎΡΡΡ ΡΠ°ΡΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΡ ΡΠΊΠ°Π·Π°Π½Π½ΠΎΠΉ ΡΠ»ΡΡΠ°ΠΉΠ½ΠΎΠΉ Π²Π΅Π»ΠΈΡΠΈΠ½Ρ) Π½Π° ΠΎΡΠ½ΠΎΠ²Π΅ Π΄Π°Π½Π½ΡΡ , ΠΏΡΠΈΠ²Π΅Π΄Π΅Π½Π½ΡΡ Π² Β«Π₯ΡΠΎΠ½ΠΎΠ»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ Π’Π°Π±Π»ΠΈΡΠ°Ρ Β» Π. ΠΠ»Π΅ΡΠ° [20]. ΠΠΎΠ»ΠΎΠΆΠΈΠΌ h(T)=1/g(T) ΠΈ Π½Π°Π·ΠΎΠ²Π΅ΠΌ h(T) ΡΡΠ½ΠΊΡΠΈΠ΅ΠΉ ΠΎΡΠΈΠ±ΠΎΠΊ (Π»Π΅ΡΠΎΠΏΠΈΡΡΠ΅Π²). ΠΡΠΈΠ±ΠΊΠ° h(T) Π² ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΠΈ Π΄Π»ΠΈΡΠ΅Π»ΡΠ½ΠΎΡΡΠΈ T ΡΠ΅ΠΌ Π±ΠΎΠ»ΡΡΠ΅, ΡΠ΅ΠΌ Ρ ΠΌΠ΅Π½ΡΡΠ΅ΠΉ Π²Π΅ΡΠΎΡΡΠ½ΠΎΡΡΡΡ ΡΠ»ΡΡΠ°ΠΉΠ½Π°Ρ Π²Π΅Π»ΠΈΡΠΈΠ½Π°, β ΡΠΎ Π΅ΡΡΡ Π΄Π»ΠΈΡΠ΅Π»ΡΠ½ΠΎΡΡΡ ΠΏΡΠ°Π²Π»Π΅Π½ΠΈΡ, β ΠΏΡΠΈΠ½ΠΈΠΌΠ°Π΅Ρ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ T. ΠΡΡΠ³ΠΈΠΌΠΈ ΡΠ»ΠΎΠ²Π°ΠΌΠΈ, Π½Π΅Π±ΠΎΠ»ΡΡΠΈΠ΅, Β«ΠΊΠΎΡΠΎΡΠΊΠΈΠ΅Β» Π΄Π»ΠΈΡΠ΅Π»ΡΠ½ΠΎΡΡΠΈ ΠΏΡΠ°Π²Π»Π΅Π½ΠΈΠΉ ΡΠ°ΡΠ΅ΠΉ Π»ΡΡΡΠ΅ ΠΏΠΎΠ΄Π΄Π°ΡΡΡΡ Π²ΡΡΠΈΡΠ»Π΅Π½ΠΈΡ. ΠΠ΄Π΅ΡΡ Π»Π΅ΡΠΎΠΏΠΈΡΠ΅Ρ ΠΎΡΠΈΠ±Π°Π΅ΡΡΡ Π½Π΅Π·Π½Π°ΡΠΈΡΠ΅Π»ΡΠ½ΠΎ. ΠΠ°ΠΏΡΠΎΡΠΈΠ², Π±ΠΎΠ»ΡΡΠΈΠ΅ Π΄Π»ΠΈΡΠ΅Π»ΡΠ½ΠΎΡΡΠΈ ΠΏΡΠ°Π²Π»Π΅Π½ΠΈΠΉ ΡΠ°ΡΠ΅ΠΉ, Π²ΡΡΡΠ΅ΡΠ°ΡΡΠΈΠ΅ΡΡ Π΄ΠΎΠ²ΠΎΠ»ΡΠ½ΠΎ ΡΠ΅Π΄ΠΊΠΎ, Π»Π΅ΡΠΎΠΏΠΈΡΠ΅Ρ ΠΎΠ±ΡΡΠ½ΠΎ Π²ΡΡΠΈΡΠ»ΡΠ΅Ρ Ρ ΡΡΡΠ΅ΡΡΠ²Π΅Π½Π½ΠΎΠΉ ΠΎΡΠΈΠ±ΠΊΠΎΠΉ. Π§Π΅ΠΌ Π±ΠΎΠ»ΡΡΠ΅ Π΄Π»ΠΈΡΠ΅Π»ΡΠ½ΠΎΡΡΡ ΠΏΡΠ°Π²Π»Π΅Π½ΠΈΡ, ΡΠ΅ΠΌ Π±ΠΎΠ»ΡΡΡΡ ΠΎΡΠΈΠ±ΠΊΡ ΠΎΠ½ ΠΌΠΎΠΆΠ΅Ρ ΡΠΎΠ²Π΅ΡΡΠΈΡΡ.
Π€ΡΠ½ΠΊΡΠΈΡ ΠΎΡΠΈΠ±ΠΎΠΊ h(T) Π΄Π»Ρ ΡΠΊΠ°Π·Π°Π½Π½ΠΎΠΉ ΠΏΠ»ΠΎΡΠ½ΠΎΡΡΠΈ Π²Π΅ΡΠΎΡΡΠ½ΠΎΡΡΠ΅ΠΉ ΡΠ»ΡΡΠ°ΠΉΠ½ΠΎΠΉ Π²Π΅Π»ΠΈΡΠΈΠ½Ρ (Π΄Π»ΠΈΡΠ΅Π»ΡΠ½ΠΎΡΡΠΈ ΠΏΡΠ°Π²Π»Π΅Π½ΠΈΡ) Π±ΡΠ»Π° ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½Π° ΡΠΊΡΠΏΠ΅ΡΠΈΠΌΠ΅Π½ΡΠ°Π»ΡΠ½ΠΎ [375], Ρ. 115. Π Π°Π·ΠΎΠ±ΡΠ΅ΠΌ ΠΎΡΡΠ΅Π·ΠΎΠΊ [0,100] ΡΠ΅Π»ΠΎΡΠΈΡΠ»Π΅Π½Π½ΠΎΠΉ ΠΎΡΠΈ T Π½Π° Π΄Π΅ΡΡΡΡ ΠΎΡΡΠ΅Π·ΠΊΠΎΠ² ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²ΠΎΠΉ Π΄Π»ΠΈΠ½Ρ, Π° ΠΈΠΌΠ΅Π½Π½ΠΎ:
[0,9], [10,19], [20,29], [30,39]β¦ [90,99].
Π’ΠΎΠ³Π΄Π° ΠΎΠΊΠ°Π·ΡΠ²Π°Π΅ΡΡΡ, ΡΡΠΎ:
h(T)=2, Π΅ΡΠ»ΠΈ T ΠΈΠ·ΠΌΠ΅Π½ΡΠ΅ΡΡΡ ΠΎΡ 0 Π΄ΠΎ 19,
h(T)=3, Π΅ΡΠ»ΠΈ T ΠΈΠ·ΠΌΠ΅Π½ΡΠ΅ΡΡΡ ΠΎΡ 20 Π΄ΠΎ 29,
h(T)=5([T/10]-1), Π΅ΡΠ»ΠΈ T ΠΈΠ·ΠΌΠ΅Π½ΡΠ΅ΡΡΡ ΠΎΡ 30 Π΄ΠΎ 100.
ΠΠ΄Π΅ΡΡ ΡΠ΅ΡΠ΅Π· [s] ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ΅Π½Π° ΡΠ΅Π»Π°Ρ ΡΠ°ΡΡΡ ΡΠΈΡΠ»Π° s. Π‘ΠΌ. ΡΠΈΡ. 3.34.
Π£ΡΡΠ΅ΠΌ ΡΠ΅ΠΏΠ΅ΡΡ ΠΎΡΠΈΠ±ΠΊΠΈ Π»Π΅ΡΠΎΠΏΠΈΡΡΠ΅Π² ΠΏΡΠΈ ΠΏΠΎΡΡΡΠΎΠ΅Π½ΠΈΠΈ Β«ΠΎΠΊΡΠ΅ΡΡΠ½ΠΎΡΡΠΈΒ» ΡΠΎΡΠΊΠΈ a. ΠΠ»Ρ ΡΡΠΎΠ³ΠΎ ΡΠ°ΡΡΠΈΡΠΈΠΌ ΠΏΠ°ΡΠ°Π»Π»Π΅Π»Π΅ΠΏΠΈΠΏΠ΅Π΄ P'(a,b) Π΄ΠΎ Π±Γ³Π»ΡΡΠ΅Π³ΠΎ ΠΏΠ°ΡΠ°Π»Π»Π΅Π»Π΅ΠΏΠΈΠΏΠ΅Π΄Π° P(a,b), ΡΠ΅Π½ΡΡΠΎΠΌ ΠΊΠΎΡΠΎΡΠΎΠ³ΠΎ ΠΏΠΎ-ΠΏΡΠ΅ΠΆΠ½Π΅ΠΌΡ ΡΠ²Π»ΡΠ΅ΡΡΡ ΡΠΎΡΠΊΠ° a, ΠΈ ΠΎΡΡΠΎΠ³ΠΎΠ½Π°Π»ΡΠ½ΡΠΌΠΈ ΠΏΡΠΎΠ΅ΠΊΡΠΈΡΠΌΠΈ Π½Π° ΠΊΠΎΠΎΡΠ΄ΠΈΠ½Π°ΡΠ½ΡΠ΅ ΠΎΡΠΈ ΡΠ²Π»ΡΡΡΡΡ ΠΎΡΡΠ΅Π·ΠΊΠΈ Ρ ΠΊΠΎΠ½ΡΠ°ΠΌΠΈ
[ai β |ai β bi| + h(ai), ai + |ai β bi| + h(ai)].
Π―ΡΠ½ΠΎ, ΡΡΠΎ ΠΏΠ°ΡΠ°Π»Π»Π΅Π»Π΅ΠΏΠΈΠΏΠ΅Π΄ P'(a,b) ΡΠ΅Π»ΠΈΠΊΠΎΠΌ Π»Π΅ΠΆΠΈΡ Π²Π½ΡΡΡΠΈ Π±ΠΎΠ»ΡΡΠΎΠ³ΠΎ ΠΏΠ°ΡΠ°Π»Π»Π΅Π»Π΅ΠΏΠΈΠΏΠ΅Π΄Π° P(a,b). Π‘ΠΌ. ΡΠΈΡ. 3.33. ΠΠΈΠ°Π³ΠΎΠ½Π°Π»ΡΡ ΡΡΠΎΠ³ΠΎ Π±ΠΎΠ»ΡΡΠΎΠ³ΠΎ ΠΏΠ°ΡΠ°Π»Π»Π΅Π»Π΅ΠΏΠΈΠΏΠ΅Π΄Π° ΡΠ²Π»ΡΠ΅ΡΡΡ Π²Π΅ΠΊΡΠΎΡ a-b+h(a), Π³Π΄Π΅ Π²Π΅ΠΊΡΠΎΡ h(a) Π²ΡΠ³Π»ΡΠ΄ΠΈΡ ΡΠ°ΠΊ:
h(a)=(h(a1)β¦.,h(ak)).
ΠΠ³ΠΎ ΠΌΠΎΠΆΠ½ΠΎ Π½Π°Π·Π²Π°ΡΡ Π²Π΅ΠΊΡΠΎΡΠΎΠΌ ΠΎΡΠΈΠ±ΠΎΠΊ Π»Π΅ΡΠΎΠΏΠΈΡΡΠ΅Π².
ΠΡΠ°ΠΊ, ΠΌΡ ΡΠΌΠΎΠ΄Π΅Π»ΠΈΡΠΎΠ²Π°Π»ΠΈ Π²ΡΠ΅ ΡΡΠΈ ΠΎΡΠ½ΠΎΠ²Π½ΡΠ΅ ΠΎΡΠΈΠ±ΠΊΠΈ, Π΄Π΅Π»Π°Π²ΡΠΈΠ΅ΡΡ Π»Π΅ΡΠΎΠΏΠΈΡΡΠ°ΠΌΠΈ ΠΏΡΠΈ ΠΏΠΎΠ΄ΡΡΠ΅ΡΠ΅ ΠΈΠΌΠΈ Π΄Π»ΠΈΡΠ΅Π»ΡΠ½ΠΎΡΡΠ΅ΠΉ ΠΏΡΠ°Π²Π»Π΅Π½ΠΈΠΉ ΡΠ°ΡΠ΅ΠΉ. Π ΠΊΠ°ΡΠ΅ΡΡΠ²Π΅ ΠΎΠΊΠΎΠ½ΡΠ°ΡΠ΅Π»ΡΠ½ΠΎΠ³ΠΎ ΠΊΠΎΡΡΡΠΈΡΠΈΠ΅Π½ΡΠ° c(a,b), ΠΈΠ·ΠΌΠ΅ΡΡΡΡΠ΅Π³ΠΎ Π±Π»ΠΈΠ·ΠΎΡΡΡ ΠΈΠ»ΠΈ ΡΠ΄Π°Π»Π΅Π½Π½ΠΎΡΡΡ Π΄ΡΡΠ³ ΠΎΡ Π΄ΡΡΠ³Π° Π΄Π²ΡΡ Π΄ΠΈΠ½Π°ΡΡΠΈΠΉ a ΠΈ b, ΠΌΡ Π²ΠΎΠ·ΡΠΌΠ΅ΠΌ ΡΠ»Π΅Π΄ΡΡΡΠ΅Π΅ ΡΠΈΡΠ»ΠΎ:
ΡΠΈΡΠ»ΠΎ ΡΠΎΡΠ΅ΠΊ ΠΈΠ· ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° vir(D), ΠΏΠΎΠΏΠ°Π²ΡΠΈΡ Π² P(a,b) c(a,b) = β.
ΠΎΠ±ΡΠ΅Π΅ ΡΠΈΡΠ»ΠΎ ΡΠΎΡΠ΅ΠΊ Π² ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π΅ vir(D)
Π―ΡΠ½ΠΎ, ΡΡΠΎ ΡΠΈΡΠ»ΠΎ c(a,b) ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΈΠ½ΡΠ΅Π³ΡΠ°Π»ΠΎΠΌ ΡΡΠ½ΠΊΡΠΈΠΈ ΠΏΠ»ΠΎΡΠ½ΠΎΡΡΠΈ z(x) ΠΏΠΎ ΠΏΠ°ΡΠ°Π»Π»Π΅Π»Π΅ΠΏΠΈΠΏΠ΅Π΄Ρ P(a,b). ΠΠ° ΡΠΈΡ. 3.35 ΡΠΈΡΠ»ΠΎ c(a,b) ΡΡΠ»ΠΎΠ²Π½ΠΎ ΠΈΠ·ΠΎΠ±ΡΠ°ΠΆΠ°Π΅ΡΡΡ ΠΎΠ±ΡΠ΅ΠΌΠΎΠΌ ΠΏΡΠΈΠ·ΠΌΡ, ΠΈΠΌΠ΅ΡΡΠ΅ΠΉ Π² ΠΊΠ°ΡΠ΅ΡΡΠ²Π΅ ΠΎΡΠ½ΠΎΠ²Π°Π½ΠΈΡ ΠΏΠ°ΡΠ°Π»Π»Π΅Π»Π΅ΠΏΠΈΠΏΠ΅Π΄ P(a,b), ΠΈ ΠΎΠ³ΡΠ°Π½ΠΈΡΠ΅Π½Π½ΠΎΠΉ ΡΠ²Π΅ΡΡ Ρ Π³ΡΠ°ΡΠΈΠΊΠΎΠΌ ΡΡΠ½ΠΊΡΠΈΠΈ z. Π§ΠΈΡΠ»ΠΎ c(a,b) ΠΌΠΎΠΆΠ½ΠΎ, ΠΏΡΠΈ ΠΆΠ΅Π»Π°Π½ΠΈΠΈ, ΠΈΠ½ΡΠ΅ΡΠΏΡΠ΅ΡΠΈΡΠΎΠ²Π°ΡΡ ΠΊΠ°ΠΊ Π²Π΅ΡΠΎΡΡΠ½ΠΎΡΡΡ ΡΠΎΠ³ΠΎ, ΡΡΠΎ ΡΠ»ΡΡΠ°ΠΉΠ½ΡΠΉ Β«Π΄ΠΈΠ½Π°ΡΡΠΈΡΠ΅ΡΠΊΠΈΠΉ Π²Π΅ΠΊΡΠΎΡΒ», ΡΠ°ΡΠΏΡΠ΅Π΄Π΅Π»Π΅Π½Π½ΡΠΉ Π² ΠΏΡΠΎΡΡΡΠ°Π½ΡΡΠ²Π΅ Rk Ρ ΡΡΠ½ΠΊΡΠΈΠ΅ΠΉ ΠΏΠ»ΠΎΡΠ½ΠΎΡΡΠΈ z, ΠΎΠΊΠ°Π·Π°Π»ΡΡ Π½Π° ΡΠ°ΡΡΡΠΎΡΠ½ΠΈΠΈ ΠΎΡ ΡΠΎΡΠΊΠΈ a, Π½Π΅ ΠΏΡΠ΅Π²ΡΡΠ°ΡΡΠ΅ΠΌ ΡΠ°ΡΡΡΠΎΡΠ½ΠΈΡ ΠΌΠ΅ΠΆΠ΄Ρ ΡΠΎΡΠΊΠ°ΠΌΠΈ a ΠΈ b, Ρ ΡΡΠ΅ΡΠΎΠΌ ΠΎΡΠΈΠ±ΠΊΠΈ h(a). ΠΡΡΠ³ΠΈΠΌΠΈ ΡΠ»ΠΎΠ²Π°ΠΌΠΈ, ΡΠ»ΡΡΠ°ΠΉΠ½ΡΠΉ Β«Π΄ΠΈΠ½Π°ΡΡΠΈΡΠ΅ΡΠΊΠΈΠΉΒ» Π²Π΅ΠΊΡΠΎΡ, ΡΠ°ΡΠΏΡΠ΅Π΄Π΅Π»Π΅Π½Π½ΡΠΉ Ρ ΡΡΠ½ΠΊΡΠΈΠ΅ΠΉ ΠΏΠ»ΠΎΡΠ½ΠΎΡΡΠΈ z, ΠΏΠΎΠΏΠ°Π» Π² ΠΎΠΊΡΠ΅ΡΡΠ½ΠΎΡΡΡ P(a,b) ΡΠΎΡΠΊΠΈ a, ΠΈΠΌΠ΅ΡΡΡΡ Β«ΡΠ°Π΄ΠΈΡΡΒ» a-b+h(a).