Changes

[[Պատկեր:Շրջանի_շոշափողի_ուղղահայաց_ուղիղ_գիծ.png|center|200px]]

Թող որևէ ուղիղ գիծ DE շոշափի ABC շրջանը C կետում, և թող ABC շրջանի կենտրոն F-ը գտնված լինի [[#Պնդում 3․1|Պնդում 3․1]], և թող FC-ն միացված լինի F-ից C-ին։ Ես ասում եմ, որ FC-ին ուղղահայաց է DE-ին։ Եթե ոչ, թող FG-ն տարված լինի F-ից ուղղահայաց DE-ին [[#Պնդում 1․12|Պնդում 1․12]]։ Հետևաբար քանի որ անկյուն FGC-ն ուղիղ անկյուն է, անկյուն FCG-ն սուր է [[#Պնդում 1․17|Պնդում 1․17]]։ Եվ մեծ կողմը մեծ անկյան տակ է [[#Պնդում 1․19|Պնդում 1․19]]։ Հետևում է, որ FC-ն ավելի երկար է քան FG-ին և FC-ին հավասար է FB-ին։ Հետևաբար FB-ն նույնպես ավելի երկար է քան FG-ին։ Տակավին բան անհնարին է։ Հետևաբար, FG-ն ուղղահայաց չէ DE-ին։ Նմանապես մենք կարող ենք ցույց տալ, որ ոչ էլ որևէ ուրիշ ուղիղ գիծ ուղղահայաց է, բացառությամբ FC-ին։ Հետևում է, որ FC-ն ուղղահայաց է DE-ին։