xét tam giác vuông ACE zà tam giác zuông ABD có

góc A chung

góc D = góc E = 90 độ

=> tam giác ACE ~ tam giác BD

=>AC/AB=CE/BD=(AC−CE)/(AB−BD)

do AC<AB =>AC/AB<1

=>(AC−CE)/(AB−BD)<1 (do CE=BD ( tam giác ACE ~ tam giác ABD)

=> AC-CE<AB-BD

=>BD-CE<AB-AC