Tetivový štvoruholník je štvoruholník, ktorého všetky
štyri strany sú tetivami kružnice. Zároveň je to každý štvoruholník,
ktorému možno opísať kružnicu.
Najvýznamnejšou vlastnosťou tetivového štvoruholníka je, že
súčet veľkostí protiľahlých uhlov je 180o.
Toto tvrdenie dokážeme tak, že dokážeme nasledujúce implikácie:
I. Ak je 4-uholník tetivový, potom súčet veľkostí protiľahlých uhlov je 180o.
Z vety o vzájomnej závislosti stredového a obvodového uhla vyplýva:2b = j  
2d = t
j + t = 360o
2b | + | 2d | = 360o | |
2( b | + | d ) | = 360o | /:2 |
b | + | d | = 180o |
Analogicky dokážeme, že a + c = 180o.
II. Ak súčet veľkostí protiľahlých uhlov je 180o, potom 4-uholník je tetivový.
Dôkaz implikácie uskutočníme napr. sporom. Teda predpokladajme, že:b + = 180o.
b + = 180o   
   b + d = 180o