直接与间接证明方法：Lehmus-Steiner 定理
历史与综述
2015-01-06 v2
摘要
本文讨论了针对给定命题的不同种类的证明方法。给出了直接与间接证明方法的详细描述。逻辑模型阐明了特定类型间接证明的本质。提出了 Lehmus-Steiner 定理的直接证明。
引用
@article{arxiv.1410.7526,
title = {Direct and indirect methods of proof. The Lehmus-Steiner theorem},
author = {Vesselka Mihova and Julia Ninova},
journal= {arXiv preprint arXiv:1410.7526},
year = {2015}
}