I have been playing around with geometry and I found that:
Let two perpendicular lines intersect at a point that is inside a circle. Then the area of the quadrilateral formed by the vertices made by the lines cutting the circle is half of the product of the perpendicular chords' lengths. Like this:
Is this already a theorem or at least discovered? If so, what is the name of it?
If someone wants the proof:
