hilbert de《 jǐhéjīchǔ》 dewǔzǔgōnglǐzhīyī:
shùnxùgōnglǐ :
ii1 ruòdiǎn b jièyúliǎngdiǎn a, c zhījiān, zé a, b, c shìyīzhíxiànshàngdehùyìdiǎn, qiě b yějièyú c, a zhījiān。
ii2 duìyúrènyìliǎngdiǎn a, b, zhíxiàn ab shàngzhìshǎoyòuyīdiǎn c cúnzài, shǐ b jièyú a, c zhījiān。
ii3 zàigòngxiànsāndiǎnzhōng, yīdiǎnjièyúqítāliǎngdiǎnjiāndeqíngkuàngbùduōyúyīcì。
ii4 shè a, b, c shìbùgòngxiàndesāndiǎn, a shìpíngmiàn abc shàngbùtōngguò a, b, c zhōngrènyīdiǎndeyīzhíxiàn, zéruò a yòuyīdiǎnjièyú a, b zhījiānnàmetābìháiyòuyīdiǎnjièyú a, c zhījiānhuòjièyú b, c zhījiān。
No. 2
Hilbert de《 jǐhéjīchǔ》 dewǔzǔgōnglǐzhīyī:
shùnxùgōnglǐ :
II1 ruòdiǎn B jièyúliǎngdiǎn A, C zhījiān, zé A, B, C shìyīzhíxiànshàngdehùyìdiǎn, qiě B yějièyú C, A zhījiān。
II2 duìyúrènyìliǎngdiǎn A, B, zhíxiàn AB shàngzhìshǎoyòuyīdiǎn C cúnzài, shǐ B jièyú A, C zhījiān。
II3 zàigòngxiànsāndiǎnzhōng, yīdiǎnjièyúqítāliǎngdiǎnjiāndeqíngkuàngbùduōyúyīcì。
II4 shè A, B, C shìbùgòngxiàndesāndiǎn, a shìpíngmiàn ABC shàngbùtōngguò A, B, C zhōngrènyīdiǎndeyīzhíxiàn, zéruò a yòuyīdiǎnjièyú A, B zhījiānnàmetābìháiyòuyīdiǎnjièyú A, C zhījiānhuòjièyú B, C zhījiān。