Gogeometryを見ていて思いついた問題(元の問題は下記参照)
正方形ABCDと図のようなAを中心とする円、及びBC上に1点Pがあります。
AとPを結び、対角線と円弧との交点を夫々E、Fとし、BFの延長とCDとの交点をGとします。
2点間の長さを図のようにa、b、c、dとすると:
d/c−a/b=1となる事を示して下さい(但し、点PとBが重なる場合を除く)。
小生は数式では解けたのですが、何とか作図で証明出来ますか?
勿論、小生が出来た場合は、解答用BBSで発表しますが...(どうなることやら・・・)
gogeometry ⇒ problem/p394_square_arc_90_degrees_diagonal_congruence