| lemma | lema | Matematik | Tiada | Teorem sokongan yang digunakan untuk membuktikan sesuatu teorem. Bandingkan teorem, korolari. |
| vorticity theorem | teorem kevortisan | Sains | Hidrometeorologi | Teorem yang diterbitkan daripada teorem edaran V. Bjerknes. Ia mengaitkan penjanaan tempatan kevortisan dengan kebaroklinikan atmosfera, dan boleh ditulis seperti yang berikut: curl dengan ialah ketumpatan; pecutan udara; vektor yang mewakili daya lencongan ketara per unit isipadu disebabkan putaran bumi; dan geokeupayaan. Penggunaan langsung teorem kevortisan pada gerakan berskala besar adalah terhad kerana ungkapan yang timbul daripada daya lencongan biasanya dalam keadaan hampir seimbang dengan ungkapan yang timbul daripada gradien ketumpatan. |
| corollary | korolari | Matematik | Tiada | Teorem yang menyusul daripada teorem tertentu secara jelas atau selepas sedikit kerja pembuktian. Bandingkan teorem, lema. |
| De Morgan’s theorem | teorem De Morgan | Teknologi Maklumat | Perisian | Teorem mengenai operasi logik yang menerangkan bagaimana ungkapan terhasil daripada operasi ’OR’ dan ’AND’ yang diterbalikkan. Teorem ini penting dalam mengubah suai bentuk persamaan Boolean agar lebih ringkas dan mudah difahami. Teorem ini boleh ditulis melalui ungkapan seperti yang berikut:= A + B = A . B |
| theorems of Pappus | teorem Pappus | Mekanik | Gunaan | Dua teorem yang memberikan sebutan untuk luas permukaan kisar dalam ungkapan panjang lengkung yang berkisar, dan sebutan untuk isi padu jasad kisar dalam sebutan luas yang berkisar. Teorem pertama menyatakan bahawa luas permukaan kisar adalah sama dengan panjang lengkung yang menghasilkannya didarab dengan jarak yang dilalui oleh sentroid lengkung semasa menghasilkan permukaan tersebut. Bagi lengkung yang panjangnya L dan berputar di sekitar paksi-x yang tidak melintasi lengkung itu, luas A permukaan kisa ryang dihasilkan diberikan oleh ungkapan A = 2pyL, dengan y sebagai jarak malar sentroid lengkung itu dari paksi-x. Teorem kedua menyatakan bahawa isi padu bagi jasad kisar sama dengan luas yang menghasilkannya didarab dengan jarak yang dilalui oleh sentroid luas itu semasa menghasilkan jasad tersebut. Isi padu V bagi jasad kisar yang dihasilkan oleh luas A yang berkisar di sekitar paksi-x (yang melintasi luas itu) diberikan oleh ungkapan V = 2”y A, dengan y sebagai jarak malar sentroid luas itu dari pak |
| parallel-axes theorem | teorem paksi selari | Mekanik | Gunaan | Teorem yang menghubungkan nilai momen sifatekun (jisim atau luas) di sekitar paksi yang melalui sentroid dengan nilainya di sekitar paksi-paksi lain yang selari dengan paksi sentroid itu. teorem ini ditulis sebagai, I = IG + md2 untuk momen sifatekun jisim dan, I = IG + Ad2 untuk momen sifatekun luas. Dalam ungkapan-ungkapan tersebut, IG ialah momen sifatekun di sekitar paksi sentroid, I ialah momen sifatekun di sekitar sebarang paksi yang selari dengan paksi sentroid, d ialah jarak tepat di antara dua paksi yang berkenaan, manakala m ialah jisim dan A ialah luas yang berkenaan. Teorem ini boleh digunakan untuk hasil darab sifatekun, iaitu, Ixy = (Ix’y’)G + mxGyG dengan Ixy sebagai hasil darab sifatekun di sekitar paksi x-y; xG dan yG masing-masing ialah jarak paksi x’ dan paksi-y’ dari paksi-x’ dan paksi-y’ yang melalui pusat graviti G dan masing-masing selari pula dengan paksi-x’ dan paksi-y’. |
| Bernoulli's theorem | teorem Bernoulli | Kejuruteraan | Tiada | Teorem yang menyatakan bahawa jumlah tenaga yang masuk ke dalam sistem adalah sama dengan tenaga yang meninggalkan sistem. Teorem ini digunakan apabila menganalisis aliran dalam suatu paip dengan mempertimbangkan tenaga keupayaan, tenaga kinetik dan tenaga tekanan. |
| first fluctuation dissipation theorem | teorem pelesapan turun naik pertama | Kejuruteraan | Kejuruteraan Kimia | Teorem yang menghubungkan perehatan sistem keadaan tak seimbang dengan dinamik mikroskopik spontan dalam sistem keadaan seimbang. Teorem ini hanya sesuai bagi sistem yang bersifat linear dan hampir dengan keadaan keseimbangan |
| second fluctuation dissipation theorem | teorem pelesapan turun naik kedua | Kejuruteraan | Kejuruteraan Kimia | Teorem yang menghubungkan daya pelesapan geseran dengan auto korelasi daya turun naik untuk menjelaskan bahawa geseran ialah bentuk daya yang bersifat sentiasa turun naik. Teorem ini biasanya digandingkan dengan persamaan Langevin. |
| Chasles’ theorem | teorem Chasles | Mekanik | Gunaan | Teorem yang menyatakan bahawa gerakan umum jasad ialah tindihan bagi gerakan alihan dan putaran tulen. Bagi gerakan satah umum yang ditunjukkan dalam Rajah T1 misalnya, gerakan yang dialami oleh jasad berkenaan boleh dianggap sebagai berlaku dalam dua bahagian; pertama, jasad itu beralih ke kedudukan yang selari A’B’ dan kedua, jasad itu berputar di sekitar B’ melalui sudut q. Gerakan kedua ini adalah suatu putaran mudah di sekitar titik B’. Teorem ini boleh juga digunakan untuk gerakan dalam tiga dimensi. Teorem ini juga dinamai prinsip tindihan untuk gerakan. |