The chord AB subtends an angle of 45 degrees at a point on the alternate segment of the circle, so the central angle subtended by AB is 90 degrees. Using the properties of an isosceles right triangle, the distance AB equals the square root of 2 times the radius r. In the right triangle formed with the lamp post of height h at point A, the angle of elevation from point B is alpha, giving tan(alpha) equals h divided by AB. Substituting the value of AB gives tan(alpha) equals h divided by (the square root of 2 times r), so h equals the square root of 2 times r times tan(alpha).