Aritmeettis-geometrinen epäyhtälö

Aritmeettis-geometrinen epäyhtälö on reaalilukuja koskeva epäyhtälö, jonka mukaan ei-negatiivisten lukujen aritmeettinen keskiarvo on aina vähintään yhtä suuri kuin niiden geometrinen keskiarvo. Muodollisesti, jos pätee , niin on voimassa

Esilyhde ja lyhde

Esilyhde on lyhdeteoriassa lyhteen määrittelemiseksi tehtävän operaation ensimmäinen vaihe

Suranyin epäyhtälö

Suranyin epäyhtälö on reaalilukuja koskeva epäyhtälö. Sen mukaan positiivisille reaaliluvuille x1,x2,...,xn on

Harukin lause

Harukin lause on geometriaan liittyvä lause, joka kuuluu seuraavasti: Olkoon a, b ja c kolme ympyrää. Oletetaan, että b ja c leikkaavat pisteissä A ja A', a ja c pisteissä B ja B' sekä a ja b pisteissä C ja C'. Tällöin

Brianchonin lause

Brianchonin lause on euklidiseen geometriaan liittyvä tulos: Sivutkoon suorat AB, BC, CD, DE, EF ja FA annettua ympyrää pisteissä G, H, I, J, K ja L. Tällöin suorat AD, BE ja CF leikkaavat samassa pisteessä

Ky Fanin epäyhtälö

Matematiikassa Ky Fanin epäyhtälö kuuluu seuraavasti: Olkoon kaikilla

Mengerin lause

Verkkoteoriassa Mengerin lause on äärellisten suuntaamattomien verkkojen yhtenäisyyttä koskeva lause. Lauseen todisti Karl Menger vuonna 1927 ja yleisti lauseen myöhemmin maksimivirtaus minimileikkaus -lauseeksi

Pappoksen lause

Pappoksen lause on geometrinen tulos, joka kuuluu seuraavasti: Olkoot l ja m suoria, A, B ja C suoralla l ja D, E ja F suoralla m. Olkoon , , . Tällöin G, H ja I ovat samalla suoralla. Pappuksen lause voidaan todistaa esimerkiksi projektiivisen

Rieszin esityslause

Funktionaalianalyysissä on useita Rieszin esityslauseita

Levinsonin epäyhtälö

Matematiikassa Levinsonin epäyhtälö on positiivisia reaalilukuja koskeva epäyhtälö. Epäyhtälö kuuluu näin: Olkoon ja funktiolla on olemassa kolmas derivaatta välillä , jolle kaikilla . Jos kaikilla ja , on

S/S Koli

S/S Koli oli suomalainen vuonna 1902 rakennettu matkustajahöyrylaiva, joka liikennöi aluksi Pielisellä ja Saimaalla ja sen jälkeen Turun saariston reiteillä sekä Selkämeren ja Suomenlahden rannikkolinjoilla. Laiva muutettiin vuonna 1932