XXII/1 2. szám, 2014. máj. EGY ÖTLET A Venn-diagram és a logikai szita alkalmazásai Tuzson Zoltán Az ábráknak nemcsak a geometriában van fontos szerepük, hanem a legkülönbözőbb feladatok megoldásában is segíthetik a kiindulási adatok elrendezését, összefüggések felismerését, megkönnyíthetik a feltárt összefüggések későbbi felidézését és ellenőrzését. A matematika különböző területein már régóta használatosak az úgynevezett Venn-diagramok, a halmazok közötti kapcsolatok, viszonyok szemléltetésére, adott tulajdonsággal rendelkező halmazok és azok számosságának (elemei számának) meghatározására, valamint egyes állítások logikai értékének megállapítására, logikai következtetések vizsgálatára (ezért is nevezik ezeket még halmazábráknak is). Egy Venn-diagramot körökkel, vagy más zárt görbékkel, vagy ennél általánosabb alakzatokkal, például n egyszerű zárt görbével adunk meg a síkon. Minden görbe belseje valamilyen halmazt ábrázol, a zárt görbén kívül eső rész pedig annak komplementerét. Az {A 1,A 2,...,A n } görbecsaládot Venn-diagramnak nevezzük, ha a görbék a síkot pontosan 2 n diszjunkt tartományra bontják, és a tartományok megegyeznek az összes lehetséges X 1 X 2... X k alakú halmazzal, k {1,2,...,n}, ahol minden X i helyére az A i egyszerű, zárt görbe belsejét vagy külsejét írhatjuk, i {1,2,...,n}. A körvonalakról az egyszerű zárt görbékre történő általánosítás okára nyomban rávilágít az alábbi észrevétel, mely már Venn 1880-as dolgozatában megtalálható: Bármely diagramban legfeljebb három körvonal fordulhat elő. A bizonyítás lényege:n darab körvonala síkotlegfeljebb n 2 n+2részreosztja (v.ö.[1]). Ezért a Venn-diagram értelmezése alapján következik: n 3. Az n = 1, n = 2 és n = 3 eseteknek megfelelő diagramok a síkot rendre 2 1, 2 2, 2 3 részre osztják, lásd a következő ábrákat:
142 Tuzson Zoltán Másfajta görbékkel bármely n értékre lehet n görbét tartalmazó Venndiagramot készíteni (lásd ugyanott). A probléma ellenben ott van, hogy az n > 3 szám növekedésével az ábrák egyre bonyolultabbak, nehezen használhatók feladatok megoldására. Nézzünk néhányat n = 4 esetén: Mind a négy ábra a síkot 16 diszjunk tartományra osztja, mind a négy eset általánosítható n > 4 esetén is, a második talán a legegyszerűbb és a legközelebb áll a körrel alkotott diagramokhoz, hiszen ez ellipszisekkel készült. A harmadik a,,kifli alak miatt általánosítható n > 4-re, a mellékelt ábrán látható az n = 5 eset. A negyediket téglalapokból készítettük.
Egy ötlet 143 Említésre méltók Edwards konstrukciói, aki a Venn-diagramot gömbfelszínen készíti el, majd kivetíti a síkba. Az első három halmazt három egymást metsző főkör határolja, a negyediké meg úgy kanyarog, mint teniszlabdán a varrat. A visszavetítés után fogaskerék alakú halmazok keletkeznek, ahol minden egyes további halmaznak egyre több foga van. Íme néhány konstrukció (v.ö. [2]): Könnyen belátható, hogy n > 3 esetén az egyes tartományok azonosítása már körülményes. Az elkövetkezőkben bemutatjuk e diagramok néhány alkalmazási lehetőségét. Egyik azonnali alkalmazását az úgynevezett logikai szita-formulák képezik. A továbbiakban jelölje X az X halmaz elemeinek a számát (számosságát). A kétkörös Venn diagram segítségével látjuk, hogy ha két halmaz elemszámát összeadjuk, akkor a metszet elemeit kétszer számoljuk, így az unió elemszámára kapjuk, hogy (1) A B = A + B A B. Továbbá, ha X S, akkor nyilvánvaló, hogy S X = S X, és most az X = A B választással, az A,B S feltételekkel, az (1) alapján kapjuk, hogy (1 ) S (A B) = S A B + A B. Az(1) és(1 ) összefüggéseketmásodrendűszita-formulánakhívjuk(alogikaiszitára még használatos a tartalmazás-kizárás formula elnevezés is). Hasonló összefüggést állapíthatunk meg három halmaz esetén is, ha a három körös Venn-diagramot követjük. Ez alapján felírható, hogy (2) A B C = A + B + C A B B C C A + A B C. Az előbbiek mintájára, az A, B, C S feltételek mellett levezethető a következő összefüggés is: (2 ) S (A B C) = S A B C + A B + B C + C A A B C.
144 Tuzson Zoltán A (2) és a (2 ) képezik a harmadrendű szita-formulákat. Természetesen a szitaformula érvényes marad háromnál több tag esetén is. Ennek az általános alakja: (3) n A i = i=1 n A i A i A j + A i A j A k i=1 1 i<j n 1 i<j<k n n + +( 1) n+1 A i i=1 és továbbá (3 ) ( n S ) n A i = S A i + i=1 i=1 1 i<j n A i A j n A i A j A k + +( 1) n+2 A i 1 i<j<k n i=1 A(3)ésa(3 )n-edrendűszita-formulákatpéldáulteljesindukcióvalbizonyíthatjuk. A továbbiakban olyan alkalmazásokat mutatunk be, amelyeknek a megoldása Venn-diagrammal és a szita-formulával egyaránt elvégezhetők, de mutatunk olyan feladatokat is, amelyeknél az egyik vagy a másik módszer előnyösebb. 1. feladat. Egy fagyisnál csoki és vanília fagyiból lehet választani. A fagyisnál 11- en állnak sorban, közülük 5-en kértek csokis fagyit. Vaníliát 3-mal többen kértek mint csak csokist. Hányan kértek csoki és vanília fagyit is? Megoldás. Jelölje Cs azok halmazát, akik csoki, V azokét, akik vanília fagyit vásároltak. Készítsük el a mellékelt ábrán látható Venn-diagramot. Legyen x = Cs V,akkor Cs V = 5 xés V Cs = 8 x,ezértaz(5 x)+x+(8 x)= 11 egyenletből x = 2. Tehát ketten kértek csoki és vanília fagyit is.
Egy ötlet 145 2. feladat. Hányféle képpen alakíthatunk ki 6 betűs szavakat az a, e, m, o, u, y betűkkel úgy, hogy ne tartalmazzák a me és you szavakat? Megoldás. Legyenek S = az összes szó, A = a me-t tartalmazó szavak, B = a you-t tartalmazó szavak. A szitaképlet: S (A B) = S A B + A B. De S = 6!, A = 5! (mert,,me, a, o, u, y száma 5), B = 4! (mert,,you, a, m, e száma 4), A B = 3! (mert a,,me, you, a száma 3). Tehát a válasz: 720 120 24+6 = 582. 3. feladat. Az osztályban 38 tanuló van. Mindenki űzi a következő sportágak valamelyikét: atlétika, röplabda, úszás. 19-en atletizálnak, 21-en röplabdáznak, 12 tanuló úszik; 7 tanuló atletizál és röplabdázik, 6 tanuló atletizál és úszik, 3 tanuló röplabdázik és úszik. Hány tanuló űzi mindhárom sportot? Megoldás. Legyen A B C = x és bentről kifele haladva töltjük ki a halmazábrát, majd összegezzük a benne látható kifejezéseket: (11+x)+(6+x)+(3+x)+(7 x)+(3 x)+(6 x)+x = 38 x = 2 Szita-formulával is dolgozhatunk. Legyenek: Tehát felírható, hogy: A = {atlétizálók}, R = {röplabdázók}, U = {úszók}. A R U = A + R + U A R R U U A + A R U. Beírva a számosságokat kapjuk, hogy: 38 = 19+21+12 7 3 6+ A R U, vagyis A R U = 2 tanuló űzi mindhárom sportot.
146 Tuzson Zoltán 4. feladat. Egy 24-es létszámú sportosztály tanulói négy sportágban szerepelnek: kézilabdáznak, fociznak, jégkorongoznak és kosárlabdáznak. Minden tanuló sportol, de senki sem szerepel kettőnél több sportágban. Tudjuk, hogy 9-en nem kézilabdáznak, 11-en nem fociznak, 16-an nem jégkorongoznak, 12-en pedig nem kosárlabdáznak. Tudjuk még, hogy 10-en fociznak, de nem kosaraznak, 11-en pedig kézilabdáznak, de ők sem kosaraznak. Hányan, és milyen összetételben űznek két-két sportágat? Megoldás. A feltevésből azt kapjuk, hogy 24 9 = 15-en kézilabdáznak, 24 11 = 13-an fociznak, 24 16 = 8-an jégkorongoznak, 24 12 = 12-en pedig kosárlabdáznak. Mivel 15 + 13 + 8 + 12 = 48, és ez az összes tanulók számának a 2-szerese, következik, hogy mindenki pontosan két sportágban vesz részt, mert senki sem szerepel 2-nél több sportágban. Az ábrán látható halmazok az egyes sportágakban szereplő tanulókat jelölik, a betűk pedig a két-két sportágat űzők számát jelentik, a következőképpen: a kézilabda-foci; b kézilabda-jégkorong; c foci-jégkorong; d kézilabda-kosárlabda; e jégkorong-kosárlabda; f foci-kosárlabda. Ekkor (1) (2) (3) (4) (5) (6) a+b+d = 15, a+c+f = 13, b+c+e = 8, d+e+f = 12, a+c = 10, a+b = 11. Az (1) és (6) egyenlőségből azt kapjuk, hogy d = 4, a (2) és (5) alapján f = 3, a (4) alapján e = 5. 12-en nem kosaraznak, tehát a+b+c = 12, de a+c = 10, így b = 2, (5)-ből és (6)-ból a = 9 és c = 1.
Egy ötlet 147 5. feladat. Ha n = 2 10 3 11 5 7, akkor határozzuk meg a ϕ(n)-net, az n-nél kisebb és n-nel relatív prím számoknak a számát. Megoldás. A keresett számok nem oszthatók se 2-vel, se 3-mal, se 5-tel. Ezek számát megkapjuk, ha a számok számából kivonjuk a 2; 3; 5 közül legalább eggyel oszthatók számát. Legyenek rendre A = {k N : k < n, 2 k}, B = {k N : k < n, 3 k}, C = {k N : k < n, 5 k}. Tehát az n prímtényezős alakját figyelembe véve, A = n/2, B = n/3, C = n/5, A B = n/6, B C = n/15, C A = n/10 és A B C = n/30. A logikai szita alapján: ϕ(n) = n A B C = n ( A + B + C )+( A B + B C + C A ) A B C = n n 2 n 3 n 5 + n 6 + n 10 + n 15 n ( 30 = n 1 1 2 1 3 1 5 + 1 6 + 1 10 + 1 15 1 ) = 30 ( = n 1 1 )( 1 1 )( 1 1 ). 2 3 5 Megjegyzés. Észrevehető, hogy az előbb kapott eljárás és eredmény általánosítható, ugyanis ha az n szám prímtényezős felbontása n = p α1 1 pα2 2 pα k k, akkor ) ( ϕ(n) = n (1 )(1 1p1 1p2 1 1 ). p k 6. feladat. (Elcserélt levelek) Hányféleképpen helyezhetünk el 4 különböző embernek írt levelet 4 nekik megcímzett borítékba úgy, hogy semelyik levél se a jó címzéshez kerüljön? Megoldás. Legyen A i azon esetek halmaza, amelyben az i-vel jelölt címzett (i {1,2,3,4}) megkapja a levelet. Ekkor A i = 3!, A i A j = 2!, A i A j A k = 1!, hiszen ha három levél jó helyre megy, akkor a negyedik is, A 1 A 2 A 3 A 4 = 1. A logikai szita alapján 4 4 A i = A i A i A j + A i A j A k A 1 A 2 A 3 A 4 i=1 i=1 ( 1 = C4 1 3! C2 4 2!+C3 4 1! C4 4 = 4! 1! 1 2! + 1 3! 1 ). 4!
148 Tuzson Zoltán A kérdésre a válasz pedig: ( a 4 = 4! A 1 A 2 A 3 A 4 = 4! 1 1 1! + 1 2! 1 3! + 1 ) = 9. 4! Megjegyzés. Észrevehető, hogy az előbb kapott eljárás és eredmény általánosítható n boríték esetén is, amelyre a válasz ( a n = n! 1 1 1! + 1 2! 1 1 ) 3! + +( 1)n. n! 7. feladat. Határozzuk meg azokat a pozitív, egynél kisebb irreducibilis törteket, melyek azzal a tulajdonsággal rendelkeznek, hogy a számlálójuk és a nevezőjük összege 2001. Megoldás. Azon pozitív, egynél kisebb törteknek a száma amelyeknek a számlálójuk és a nevezőjük összege 2001, éppen 1000. Meg kell néznünk, hogy ezek közül hány irreducibilis. Ha a b egy ilyen tört, ahol a < b, a+b = 2001, legyen d egy közös osztója az a-nak és a b-nek. Ekkor d a + b = 2001, ahonnan d {3,23,29}. Legyenek A, B, C rendre azon a b törteknek a halmaza amelyek rendre 3-mal, 23-mal, 29-cel egyszerűsíthetők. A logikai szita alapján: A B C = A + B + C A B B C C A + A B C, ahol A B C = 0, mert 3 23 29 = 2001. Ha a b A, akkor a = 3x, b = 3y és 3x + 3y = 2001 vagyis x + y = 667 és 0 < x < y természetes számok. Ekkor x {1,2,...,333}, így megkapjuk, hogy A = 333. Teljesen hasonló módon meghatározva a többi halmaz számosságát is kapjuk, hogy B = 43, C = 34, és A B = 14, B C = 1, C A = 11. Így A B C = 333+43+34 14 1 11= 384. Tehát az irreducibilis törtek száma 1000 384 = 616. 8. feladat. Hányféleképpen tehetünk be 30 szál virágot 15 különböző színű vázába, ha a virágok különbözőek, és minden vázába kell jusson legalább egy virág. Megoldás. Az összes lehetséges kiosztások halmazát jelöljük H-val, és legyen A i azon kiosztások halmaza amelyeknél az i-dik váza üres marad, 1 i 15. A jó kiosztásokhalmazatehát H (A 1 A 2... A 15 ). Továbbá H = 15 30, A i = 14 30 (függetlenül az i-től) hiszen virágonként 14-féle képpen dönthetünk (az i-edik váza üresen kell maradjon), A i A j = 13 30 mert jelenleg két váza tiltott (az i-edik és a j-edik váza). Hasonlóképpen egy k-as metszetnek (15 k) 30 eleme van (k váza
Egy ötlet 149 tiltott). Általában k-as metszetből Ck 15 darab van, ennyiféleképpen választhatjuk ki a 15 váza közül a k üreset. A szita-formula szerint tehát: H (A 1 A 2... A 3 ) = 1530 30 k=1 30 ( 1) k C15 (15 k) k 30 = ( 1) k C15 (15 k) k 30. Megjegyzés. Észrevehető, hogy az előbb kapott eljárás és eredmény általánosítható p darab virágszál és q darab váza esetén is, amikor is a válasz p ( 1) k Cq k (q k)p. k=0 9. feladat. Hányféleképpen ültethetünk le egy sorba 3 angolt, 3 franciát és 3 törököt úgy, hogy három azonos nemzetiségű ne üljön egymás mellé? Megoldás. A logikai szita formulát alkalmazzuk három halmaz esetén. Legyen A = a 3 angol egymás mellet ül F = a 3 francia egymás mellet ül T = a 3 török egymás mellet ül Összes ültetési lehetőségek: 9!. A = F = T = 7! 3!, A F = A T = F T = 5! 3! 3!, A F T = 3! 3! 3! 3!. Így az S (A B C) = S A B C + A B + B C + C A A B C szitaképlet alapján a kért érték: k=0 9! C 1 3 7! 3!+C 2 3 5! 3! 3! C 3 3 3! 3! 3! 3!. Megjegyzés. Észrevehető, hogy az előbb kapott eljárás és eredmény általánosítható, ha 3 3 3 személy helyett k k k személyt veszünk, akkor az eredmény: (3k)! C 1 3 (2k +1)! k!+c2 3 (k +2)! k! k! C3 3 k! k! k! k!. Ha pedig a 3 csoport helyett p csoportot tekintünk, akkor az eredmény: (pk)! C 1 p ((p 1)k+1)! k!+c2 p ((p 2)k+2)! k! k! +( 1)p C p p k! k! k! } {{ } (k+1) tag
150 Tuzson Zoltán 10. feladat. 4 házaspár hogyan helyezhető el egy kerek asztal körül úgy, hogy házastársak nem kerülnek egymás mellé. Megoldás. A logikai szita-formulát alkalmazzuk négy halmaz esetén. Az A i, 1 i 4 halmazba azok a (számunkra nem kedvező) esetek kerülnek, amelyekben az i-edik férj és feleség egymás mellett ülnek. Az összes eset száma 7!. Ha egy házaspár egymás mellett ül (a többi lehet, hogy egymás mellett ül, lehet, hogy nem), akkor az egymás mellett ülő pár C4 1 -féle képpen választható ki, a pár és a többi 6 ember a kerek asztal körül 6!-féleképpen ülhet le, és a pár egymáshoz képest kétféleképpen helyezkedhet el, tehát ezeknek az eseteknek a száma C4 1 6! 2 A többi eset hasonló módon számolható ki. Az összes esetek száma tehát: 7! C 1 4 6! 2+C 2 4 5! 2 2 C 3 4 4! 2 3 +C 4 4 3! 2. Megjegyzés. Észrevehető, hogy az előbb kapott eljárás és eredmény általánosítható a 4 helyett k házaspárra, amikor az eredmény a következő lesz: (2k)! C 1 k (2k 1)! 2+C2 k (2k 2)! 22 +( 1) k 1 C k 1 k (k +1)! 2 k 1 +( 1) k C k k k! 2 k Befejezésül megjegyezzük, hogy még sok más egyszerűbb vagy nehezebb feladat megoldható a bemutatott módszerekkel. Szakirodalom [1] A Matematika Tanítása, 3/1983. [2] http://hu.wikipedia.org/wiki/venn-diagram [3] Tuzson Zoltán, Hogyan oldjunk meg aritmetikai feladatokat, Ábel kiadó, Kolozsvár, 2011. [4] Tuzson Zoltán, A Venn-Euler diagram felhasználása halmazelméleti feladatok megoldására, ML 5/1994, 174.-178. [5] Dumitru Busneag, Ioan Maftei, Teme pentru cercurile se concursurile de matematica ale elevilor, Scrisul Romanesc, Craiova, 1983 [6] Király Balázs, Tóth László, Kombinatorika jegyzet és feladatgyűjtemény, Pécsi Tudományegyetem, 2011. [7] Láng Csabáné, Kombinatorika, ELTE, Budapest 2008. [8] Szabó László, Diszkrét matematika, Sopron, 2011. Tuzson Zoltán, Székelyudvarhely