ユーザー解説 by sdzzz
直線 ACACAC に B,DB,DB,D から降ろした垂線の足をそれぞれ E,FE,FE,F とすると，∠BAE=∠DAF\angle BAE=\angle DAF∠BAE=∠DAF より AB:AD=BE:DFAB:AD=BE:DFAB:AD=BE:DF であり，△ABE∼△ADF\triangle ABE\sim \triangle ADF△ABE∼△ADF より， CD:DA=DF:(DE−DF)=AD:(AB−AD)CD:DA=DF:(DE-DF)=AD:(AB-AD) CD:DA=DF:(DE−DF)=AD:(AB−AD) となり DCDCDC の長さを求めることができる．