三角池古くは御澄池といわれていました。