MathLabs

第4問

A0B0C0A_0B_0C_0 と A1B1C1A_1B_1C_1 を任意の二つの鋭角三角形とする。A1B1C1A_1B_1C_1 に相似で、A0B0C0A_0B_0C_0 を外接し、対応する頂点をもつすべての三角形 ABCABC を考える。A0A_0 が BCBC 上、B0B_0 が CACA 上、C0C_0 が ABAB 上にあるものとする。その面積が最大のものを決定し作図せよ。
ステップ 6/7: 辺を最大化する
AB≤2OAOBAB\le2O_AO_B
詳しい解説

射影の長さは元の線分以下なので AB≤2OAOBAB\le2O_AO_B。等号は AB∥OAOBAB\parallel O_AO_B のときに限る。