سلام حاجی یه راه واسه این سوال پیدا کردم !! خودم حال کردم .
بیا یه مثلث هم نهشت با مثلث abe روی ضلع ad بکش بطوریکه زاویه نودش بیفته رو راس d
حالا نقطه جدیدو بذار k . K روی cd است . میدونیم ak = ae , be = kd
پس kf = bf + kd = bf + be
پس حکم اینه که بگیم ak = kf یعنی زاویه kaf = afk
حالا daf = fae = آلفا بگیر.
پس aeb = دو آلفا پس bae = نود منهای دو آلفا
پس kad مساوی نود منهای دو آلفا است پس kaf = نود منهای آلفا
afk هم که نود منهای آلفاست پس ka = kf