если ∆ABC=∆A1B1C1, соответственно АС=А1С1, <ВАС=<В1А1С1
если <ACD=<A1C1B1, АС=А1С1, <ВАС=<В1А1С1 то ∆DAC=∆D1A1C1 (по стороне и прилегающим к ней углам)
доказано.
если ∆ABC=∆A1B1C1, соответственно АС=А1С1, <ВАС=<В1А1С1
если <ACD=<A1C1B1, АС=А1С1, <ВАС=<В1А1С1 то ∆DAC=∆D1A1C1 (по стороне и прилегающим к ней углам)
доказано.