A matematikában a kettővel való osztás (gyakran röviden felezés) az a művelet, amikor egy számot kettővel osztunk. Ennek eredménye a szám fele: ha a szám páros egészként értelmezhető, a fele ismét egész; ha páratlan vagy valós számról van szó, a felezés gyakran tizedes törtet vagy fél értéket ad (például 10/2 = 5, 7/2 = 3,5). Néhány kultúrában — például az ókori egyiptomiak körében — a felezést különböző eljárásokkal és néha külön műveletként kezelték, és egyes középkori illetve koraújkori szerzők a művelet megértésében elkülönítették azt a szokásos osztástól; néhány matematikus egészen a 16. századig (1500–1599) különbséget tett a felezés és az általános osztás között.
A kettővel való osztást gyakran nevezik felezésnek, közvetítésnek és dimidiálásnak. Ezek a kifejezések különböző történeti és nyelvi hagyományokból erednek, de mind ugyanarra a matematikai fogalomra utalnak: az eredeti mennyiség kétszeresének felére való csökkentésére.
Matematikai és gyakorlati megjegyzések
- Pontos eredmény valós számoknál: valós számok esetén a felezés = eredeti szám × 0,5, vagy osztás
/2. A bináris számrendszerben a felezés gyakran az előjeles bináris reprezentációban az exponens csökkentésével történik (lebegőpontos számoknál). - Egész számok és kerekítések: egész számok felezése páratlan esetén fél egységet eredményez (pl. 7/2 = 3,5). Számítógépes környezetben gyakran szükség van egész osztásra, ilyenkor a nyelvek és könyvtárak különböző kerekítési szabályokat alkalmaznak (pl. lefelé kerekítés, nulla felé történő törés, vagy matematikai kerekítés).
- Geometriai, arány- és halmazelméleti jelentés: felezés lehet egy szakasz középpontjának meghatározása, mennyiségek megosztása két egyenlő részre, vagy valaminek „félig” történő csökkentése.
Történeti megjegyzések
A felezés története összefonódik az általános osztás fejlődésével. A régi számolási rendszerek és módszerek gyakran külön eljárásokat tartalmaztak a felezésre (például egység tört-alapú rendszerekben vagy kettőzésen alapuló módszerek). Az ókori egyiptomi számtanban és más korai hagyományokban a kettőzés és felezés kombinációja játszott szerepet a szorzás és osztás eljárásaiban. A középkori európai forrásokban és egyes koraújkori írásokban is találunk külön eljárásokat és terminológiát a felezésre; a modern algebrai és aritmetikai formalizálás azonban egységesen az osztás speciális eseteként kezeli a kettővel való osztást.
Számítástechnikai vonatkozások
- Bitműveletek: bináris számoknál a jobbra tolás (right shift) nagyjából megfelel a kettővel való osztásnak — az egészek esetén a legalacsonyabb helyiérték (a maradék) elveszik. Az unsigned (előjelnélküli) számokon végzett logikai jobbra tolás pontosan az egész osztást adja (elbocsátja a maradékot). Előjeles egész számoknál a jobbra tolás viselkedése (aritmetikai vs. logikai shift) nyelv- és implementációfüggő lehet; sok rendszer aritmetikai tolást használ, amely megtartja az előjelet.
- Integer osztás a programozási nyelvekben: a nyelvek különböző szabályokat alkalmaznak az egész osztás kerekítésére: egyesek a nulla felé történő truncálást alkalmazzák (pl. C szabványosított viselkedése modern verziókban erre törekszik), míg mások (pl. Python
//) lefelé kerekítenek. Ez különösen fontos negatív számok felezésénél. - Lebegőpontos számok: a kettővel való osztás lebegőpontos ábrázolásban gyakran egyszerű művelet: bináris lebegőpontos formátumoknál a mantissza változatlan marad, az exponens pedig eggyel csökken (ezáltal nagyon hatékony és pontos lehet), kivéve ha alárendelt (subnormal) tartományba esik.
- Optimalizálások: fordítók és programozók néha bitműveleteket vagy multiplikáció 0.5-tel használatát alkalmazzák a gyorsabb működés érdekében, de ezek a trükkök óvatosan használandók a kerekítés és előjeles viselkedés miatt.
- Algoritmikus jelentőség: sok algoritmus — például a bináris keresés vagy oszd meg és uralkodj típusú eljárások — a probléma méretének felezésére épít; a felezés így alapvető szerepet játszik a hatékony algoritmusok tervezésében.
Gyakorlati példák és megjegyzések
- Egyszerű példa: 18/2 = 9 (páros egész → egész eredmény).
- Páratlan egész: 9/2 = 4,5; egész osztás esetén ez lehet 4 (lefelé kerekítés), 5 (felfelé kerekítés) vagy 4 (nulla felé truncálás negatív esetekben más lehet).
- Programozási példa: egy nemnegatív egész szám jobbra tolása 1 bittel (n >> 1) gyakorlatilag n/2 egész részét adja vissza.
- Lebegőpontos példa: 1.0 / 2.0 = 0.5, bináris lebegőpontos ábrázolásban ez pontosan reprezentálható.
Összefoglalva, a kettővel osztás egyszerű és mindennapi matematikai művelet, amelynek történeti, elméleti és gyakorlati vetületei egyaránt fontosak — különösen a számítástechnikában, ahol a bináris természet és a gépi műveletek miatt a felezés különleges szerepet kap.