Aylana vatari va diametrining xossalari 1- teor ema . Vatarga perpendikular diametr shu vatarni va unga tiralgan yoyni teng ikkiga bo‘ladi. Isbot. Markazi O nuqtada va radiusi R bo‘lgan ay- lana, ABvatarga perpendikular CDdiametr, CDva ABlarning kesishish nuqtasi Pberilgan bo‘lsin (1- rasm).
AP= PBva AD = DB. ekanini isbotlaymiz. Agar AB vatar diametr bo‘lsa, P nuqta Onuq- ta bilan ustmaust tushadi va shu nuqtada AB vatar hamda uni tortib turgan yarim aylananing ADB yoyi teng ikkiga bo‘linadi, ya’ni tasdiq o‘rinli bo‘ladi. AB vatar diametr bo‘lmasin. OA va OB radiuslarni o‘tkazamiz.Hosil bo‘lgan AOBuchburchak – teng yonli, chunki OA= OB= R. OP – teng yonli uchburchakning AB tomoniga tushirilgan balandlik teng yonli uchburchakning xossasiga ko‘ra, uchbur- chakning asosiga o‘tkazilgan mediana va Ouchidagi burchagining bissektri- sasi bo‘ladi. Vatarning o‘rtasi orqali o‘tgan diametr esa ABvatarni teng ikkiga bo‘ladi, ya’ni AP= PB. OP– AOBburchakning bissektrisasi ekanidan AOP= BOPni hosil qilamiz. Bu burchaklar tiralgan yoylar bo‘lgani uchun AD = DB. Teorema isbotlandi.
2-teorema Aylanavatariuningdiametridankattabo‘lmaydi. Isbot. OPB uchburchak – to‘g‘ri burchakli (1- rasmga q.). U holda, bu uchburchakda OB – gipotenuza, PB – katet. Ma’lumki, katet gipotenuzadan katta emas, ya’ni PB OB. Bundan, 2PB 2 · OBhamda 2PB= ABva 2OB = 2R = d. Demak, AB dekan.