Četrstūri, kura visas virsotnes atrodas uz riņķa līnijas, sauc par ievilktu četrstūri, bet riņķa līniju - par četrstūrim apvilktu riņķa līniju.
Teorēma. Ievilkta četrstūra pretējo leņķu summa ir \(180\) grādi.
Pierādīsim šo teorēmu.
 YCUZD_221101_4610_Četrstūri.svg
Dots: \(ABCD\) - ievilkts četrstūris
Jāpierāda:
 A+C=180°B+D=180°
  
Pierādījums
Izmantosim teorēmu par riņķī ievilktā leņķa lielumu: ievilkta leņķa lielums ir vienāds ar pusi no loka leņķiskā lieluma, uz kura tas balstās.
A=12BCDC=12BAD
A+C=12BCD+12BADA+C=12BCD+BAD=12360°=180°
 
Tā kā četrstūra iekšējo leņķu summa ir \(360°\), tad
B+D=360°A+CB+D=360°180°=180°
Tas bija jāpierāda.
 
 
Ir spēkā arī apgrieztā teorēma
Apgrieztā teorēma. Ja četrstūra pretējo leņķu summa ir \(180°\), tad ap četrstūri var apvilkt riņķa līniju.
Pierādīsim šo teorēmu, pieņemot pretējo.
Dots: B+ADC=180°
Jāpierāda: ap četrstūri var apvilkt riņķa līniju
  
Pierādījums
Caur jebkuriem trim punktiem, kas neatrodas uz vienas taisnes, var novilkt riņķa līniju. Iedomāsimies, ka riņķa līnija ir novilkta caur četrstūra virsotnēm \(A\), \(B\) un \(C\), bet neiet caur virsotni \(D\), bet caur kādu citu punktu D1.
1) Pieņemam, ka virsotne \(D\) atrodas riņķa līnijas iekšpusē.
 YCUZD_221019_4565_pierĀDD1.svg
Pēc tiešās teorēmas: B+D1=180°, bet pēc dotā B+ADC=180°. Var secināt, ka ADC=D1, bet tas nav iespējams, jo trijstūra ārējais leņķis ir lielāks par katru iekšējo leņķi, kas nav tā blakusleņķis. Šajā gadījumā leņķis \(D\) ir trijstūra ADD1 ārējais leņķis, bet D1 ir iekšējais leņķis.
 
2) Ja virsotne \(D\) atrodas riņķa ārpusē.
YCUZD_221019_4565_PIERĀD.svg 
 
Tātad B+AD2C=180° pēc tiešās teorēmas un B+ADC=180° pēc dotā.
Var secināt, ka ADC=AD2C, kas nav iespējams, izdarot iepriekšējos spriedumus par trijstūra ārējo leņķi un iekšējo leņķi, kas nav tā blakusleņķis.
Tātad paliek tikai iespēja, ka virsotne \(D\) atrodas uz riņķa līnijas, kas vilkta caur četrstūra virsotnēm \(A\), \(B\) un \(C\).
Apgrieztā teorēma ir pierādīta.
Uzziņa matemātika II formulu lapā.
 
Atsauce:
Materiālu sagatavoja. Mg. math. Laima Baltiņa