Interesting work. I have a question. How do I use this to find, either exactly or approximately, the value of the radius for the original problem (that is, with the equilateral triangle).
You can change a to {1,Sqrt[3]} to form a equilateral triangle and run the attached notebook. The radius is about 0.318.
Thanks Shenghui. I had actually tried that change but for some reason the code was not working for me. Possibly I missed an initialization snippet. Anyway, it's a nice problem and solution method.
WL indeed handles the symbolic case for equilateral triangle very well.
Nice! I wonder, is there a symbolic expression for a general (not equilateral) triangle case?
Yang-san,
Thank you for all your interesting posts. I always enjoy them. The Mathematics Certification Institute of Japan celebrates Jan 23rd every year as "the day to spread the Sangaku culture." https://www.sangaku123.jp/en/
Mr Okazaki,
Thanks for the compliment and the link. I am working on using WL to demonstrate a large number of geometry problems and properties from this fantastic book https://www.amazon.com/Sacred-Mathematics-Japanese-Temple-Geometry/dp/069112745X. It is a wonderful journey to work with ancient sangaku problems plus modern technology.
-- you have earned Featured Contributor Badge Your exceptional post has been selected for our editorial column Staff Picks http://wolfr.am/StaffPicks and Your Profile is now distinguished by a Featured Contributor Badge and is displayed on the Featured Contributor Board. Thank you!