A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Ha és , akkor az első feltétel így írható fel: , vagyis egy olyan egyenes ,,alatti'' síkrészről van szó, amely egyenes mindkét koordinátatengelyt az origótól pozitív irányban távolságra metszi (e metszéspontok távolsága pedig éppen 2 egység). Összességében ekkor tehát egy egyenlő szárú derékszögű háromszög pontjai alkotják a megadott tartomány egy részét. és esetén ‐ az előzőekhez hasonlóan ‐ adódik, hogy , amely egyenlőtlenségeknek ismét egy egyenlő szárú derékszögű háromszöghöz tartozó pontok felelnek meg (a háromszög az előző háromszög ‐ tengelyre vonatkozó ‐ tükörképe). és esetén az eredeti egyenlőtlenség ekként alakítható át: . Egy újabb (egyenlő szárú derékszögű) háromszöget kaptunk, amely az első háromszög ‐ tengelyre vonatkozó ‐ tükörképe. Végezetül, és esetén az egyenlőtlenségre jutunk, ez a három egyenlőtlenség pedig egy olyan, a harmadik síknegyedben fekvő háromszög pontjait adja, amely a legelső háromszög ‐ origóra vonatkozó ‐ tükörképe. Tekintve, hogy a fent említett négy háromszög egyesítése egy négyzetet ad, azt mondhatjuk, első egyenlőtlenségünk egy olyan négyzetlapot jellemez, amelynek a középpontja az origóban van, átlói a koordinátatengelyekre illeszkednek, oldala pedig 2 egység hosszú. Minthogy és , ezért második egyenlőtlenségünk jobb oldalán áll. Mivel esetünkben a logaritmus alapja 1-nél kisebb, ezért szigorúan monoton csökkenő függvényről van szó, azaz az argumentumokra , továbbá nem lehetséges, hogy és értéke egyszerre legyen 0. A második egyenlőtlenség tehát egy origó középpontú, egységnyi sugarú körlapot határoz meg, annak középpontja nélkül. Azt állítjuk, hogy az pontban említett körlap teljes egészében része az pontban említett négyzetlapnak, pontosabban igazoljuk, hogy valójában a négyzet beírt köre. Tekintve, hogy az egységnyi sugarú kör középpontja a 2 egység oldalhosszúságú négyzet középpontjában van, állításunk ,,triviális''. Annak a valószínűsége, hogy egy, a négyzetlapról választott pont egyúttal a körlaphoz is hozzátartozik, a megfelelő alakzatok területének arányával adható meg, azaz azt kell megvizsgálnunk, a kör területe hányad része a négyzet területének: | |
. Tekintettel arra, hogy a hegyesszögek esetében (és ilyen megoldást keresünk), a szinusz-függvény szigorúan monoton növekszik, a koszinusz-függvény pedig szigorúan monoton csökken, legfeljebb egy olyan változóérték lehet, amelyre mindkét függvény azonos értéket vesz fel. Ilyen érték valóban létezik, nevezetesen a , hiszen . Tehát . Tekintve, hogy , és , a háromszög oldalait nagyság szerint növekvő sorrendben soroltuk fel. Írjuk fel tehát a legkisebb oldalra a koszinusz-tételt, a háromszög legkisebb szöge ugyanis éppen azzal szemben van: | | ez pedig azt jelenti, hogy , vagyis . Tehát a három szám egyenlő. Miért is?Miért is?Miért is?Miért is?Miért is? |