Проведите три биссектрисы из трех вершин треугольника.

Question

(1). Две биссектрисы должны быть проведены из двух вершин Aтак, Bчтобы они пересекались в точке P. (2). НО другая биссектриса, проведенная из вершины, Cдолжна бытьпрекращенодо пересечения P.

    \documentclass[11pt,a4paper]{article}
    \usepackage{blindtext}
    \usepackage{tikz}
    \usepackage{tkz-euclide}
    \usetkzobj{all}
    \usepackage{color}

 \begin{document}
 \normalsize{\textbf{Theorem 1.24.} \textit{The bisectors of the angles of a triangle meet in a point which is equally distant from the sides.}}
\begin{center}
\begin{tikzpicture}
\tkzDefPoint(0,0){A}
\tkzDefPoint(12,0){B}
\tkzLabelPoints[below](A)
\tkzLabelPoints[below](B)
\tkzDrawSegment(A,B)
\tkzDefPoint(6,7){C}
\tkzLabelPoints[above](C)
\tkzDrawSegment(A,C)
\tkzDrawSegment(B,C)
\end{tikzpicture}
\end{center}
\end{document}

Answer 1

\documentclass[11pt,a4paper]{article}
\usepackage{blindtext}
\usepackage{tikz}
\usepackage{tkz-euclide}
\usetkzobj{all}
\usepackage{color}

\begin{document}

\normalsize{\textbf{Theorem 1.24.} \textit{The bisectors of the angles of a triangle meet in a point which is equally distant from the sides.}}
\begin{center}
\begin{tikzpicture}
\tkzDefPoint(0,0){A}
\tkzDefPoint(12,0){B}
\tkzLabelPoints[below](A)
\tkzLabelPoints[below](B)
\tkzDrawSegment(A,B)
\tkzDefPoint(6,7){C}
\tkzLabelPoints[above](C)
\tkzDrawSegment(A,C)
\tkzDrawSegment(B,C)

\tkzDefLine[bisector](C,B,A)
\tkzGetPoint{i}
\tkzDefLine[bisector](B,A,C)
\tkzGetPoint{j}
\tkzInterLL(A,j)(B,i) 
\tkzGetPoint{P}
\tkzLabelPoints[below](P)
\tkzDrawBisector(C,B,A)(P)
\tkzDrawBisector(C,A,B)(Q)
\tkzDrawSegment[add=0pt and -30pt](C,P)
\end{tikzpicture}
\end{center}

\end{document}

Замечания:

• Изменение -30ptв

  \tkzDrawSegment[add=0pt and -30pt](C,P)
  

  чтобы получить желаемое сокращение для сегмента от Cдо P.

• Вместо ручной разметки ваших теорем вам следует рассмотреть возможность использования специального пакета, такого как amsthmили ntheorem: Небольшой пример с amsthm:

  \documentclass[11pt,a4paper]{article}
  \usepackage{blindtext}
  \usepackage{tikz}
  \usepackage{tkz-euclide}
  \usetkzobj{all}
  \usepackage{color}
  \usepackage{amsthm}
  
  \newtheorem{theo}{Theorem}
  
  \begin{document}
  
  \begin{theo}
  The bisectors of the angles of a triangle meet in a point which is equally distant from the sides.
  \end{theo}
  \begin{center}
  \begin{tikzpicture}
  \tkzDefPoint(0,0){A}
  \tkzDefPoint(12,0){B}
  \tkzLabelPoints[below](A)
  \tkzLabelPoints[below](B)
  \tkzDrawSegment(A,B)
  \tkzDefPoint(6,7){C}
  \tkzLabelPoints[above](C)
  \tkzDrawSegment(A,C)
  \tkzDrawSegment(B,C)
  
  \tkzDefLine[bisector](C,B,A)
  \tkzGetPoint{i}
  \tkzDefLine[bisector](B,A,C)
  \tkzGetPoint{j}
  \tkzInterLL(A,j)(B,i) 
  \tkzGetPoint{P}
  \tkzLabelPoints[below](P)
  \tkzDrawBisector(C,B,A)(P)
  \tkzDrawBisector(C,A,B)(Q)
  \tkzDrawSegment[add=0pt and -30pt](C,P)
  \end{tikzpicture}
  \end{center}
  
  \end{document}