Given: start overline, C, A, end overlineCA bisects angle, B, A, DBAD and start overline, A, C, end overline, is perpendicular to, start overline, B, D, end overline, .ACBD. Prove: triangle, B, A, E, \cong, triangle, D, A, EBAEDAE.

In the table below, the first step of the proof is completed for you. To complete each following step, first use the dropdown menu in the "Statement" column to select the format of a statement. Once you select a format, a statement will appear with input boxes and/or dropdowns to complete, and a dropdown menu will appear in the reason column. Once you complete these inputs and dropdowns, navigate back to the first column and press the "try" button. If your statement and reason are valid, a new row will appear below. This process will continue until you have filled in a statement and reason for what you were asked to prove, and then the "try" button will cause the answer area to appear with a submit button. The diagram associated with this problem is located below the proof table, and is available as a tactile printout. There may be a clarifying note below the diagram.

Step	Statement	Reason
1	start overline, C, A, end overlineCA bisects angle, B, A, DBAD start overline, A, C, end overline, is perpendicular to, start overline, B, D, end overlineACBD	Given
try	triangle \cong triangle	SSSSASASAAASSSAAAHL Select a Reason...

ABCDEAn image is shown. To download tactile, press SHIFT-CONTROL-U for UEB or SHIFT-CONTROL-E for Nemeth.

Note: start overline, B, D, end overlineBD and start overline, A, C, end overlineAC are segments.